Exemple taula veritat 1
De Wikisofia
La revisió el 13:54, 5 set 2015 per Sofibot (discussió | contribucions)
La revisió el 13:54, 5 set 2015 per Sofibot (discussió | contribucions)
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
