Lògica formal: la simbolització que encara no havíem fet a 1r. Batxillerat A

Més lògica formal: simbolització.

4. p condicional (q disjunció r).
8.[ (p disjunció q) conjunció [(p condicional r) conjunció (q condicional s) ]] bicondicional t.
12. [(p conjunció q) conjunció [(r condicional negador s) conjunció (s condicional negador r)]] condicional t.
13. (p bicondicional q) bicondicional [negador r [conjunció s disjunció t]]