Accions

Recurs

Exemple taula veritat 1

De Wikisofia

La revisió el 13:54, 5 set 2015 per Sofibot (discussió | contribucions)
(dif.) ← Versió més antiga | Versió actual (dif.) | Versió més nova → (dif.)

Les taules de veritat lògiques posen de manifest com les connectives són símbols veritativo-funcionals, o símbols que designen una funció veritativa entre un enunciat compost i els valors de veritat:

Així, per a l'enunciat:

[math]\displaystyle{ p \rightarrow{(p \vee q)} }[/math]

la taula de veritat és

E1658-2.gif