5. Appendix 2: lists of logical forms

5.1 Proposal logic

1.(→ Abs) – Absorption of conditional :

\begin{matrix} Hilbert : (φ \to ψ) \to (φ \to (φ \land ψ)), \\ règle : \frac{φ \to ψ}{φ \to (φ \land ψ)}, \\ séquent \end{matrix}

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 2: lists of logical forms

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

(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!