Dues darreres tales de veritat (1r. Batxillerat A i B principalment)

[(p bicondicional q) conjunció (r disjunció negador p)] condicional p. Resultat: contingent (excepte els dos darrers resultats que són falsos)

[(p conjunció negador q) conjunció (q conjunció negador r)] disjunció (p conjunció negador p). Resultat: contradicció.

En referència al canvi climàtic

Cançó del dia: un altre clàssic

http://www.youtube.com/watch?v=yx-277MRYuM

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]]

Cançó del dia

http://www.youtube.com/watch?v=UmcdBkI_QO4&feature=related Travessem l'oceà però no per anar al lloc més típic ...

Dues taules de veritat més per practicar

[p ↔ (q V r)] V (p → r). Resultat: taula contingent amb la 4a filera falsa.

[( p ↔ q) ^ [(p → q) ^ (q → p) ]] V r. Resultat: taule contingent, amb la 4a i la 6a filera falses.

Primera pràctica taules de veritat

Algunes pràctiques (primera entrada del pont) de taules de veritat.


[(p^q)^ ¬ r) ^ (q↔¬p). Solució. Contradicció.
(p^q^r) → s. Solució. Totes vertaderes menys 1, la segona filera. (recordeu que en aquest cas tindríem 16 fileres i si no ens indiquen en quin ordre hem de fer les operacions sempre és d'esquerra a dreta, com ja estem habituats).
[(p ↔ q) ^ (r^¬p)] → ¬p. Solució. Tautologia.