4. Appendix 1: properties of logical connectors

Metalogical (substitution) symbols: direct implication (⇒), reciprocal implication $(\Leftarrow)$ , equivalence (⇔).

Metalogical symbols (syntactic – sequents): direct implication $(⊢)$ , reciprocal implication $(⊣)$ , equivalence $(⊣ ⊢)$ .

...

You do not have access to this resource.

Exclusive to subscribers. 97% yet to be discovered!

You do not have access to this resource. Click here to request your free trial access!

Already subscribed? Log in!

Ongoing reading
Appendix 1: properties of logical connectors

Article included in this offer

Updated and enriched with articles validated by our scientific committees

Services

A set of exclusive tools to complement the resources

Bibliography

(1) - ALLEN (C.), HAND (M.) - Logic Primer, - Massachusetts Institute of Technology, 2 ^nd ed., xvii + 191 pages (2001).
(2) - ALLIOT (J.-M.), SCHIEX (T.), BRISSET (P.), GARCIA (F.) - Intelligence artificielle &...

You do not have access to this resource.

Exclusive to subscribers. 97% yet to be discovered!

You do not have access to this resource. Click here to request your free trial access!

Already subscribed? Log in!