Fórmules ben formades
De Wikisofia
La revisió el 22:18, 17 oct 2017 per Jaumeortola (discussió | contribucions) (bot: - per 2.2 <math>¬p\vee¬q + per 2,2 <math>¬p\vee¬q)
La revisió el 22:18, 17 oct 2017 per Jaumeortola (discussió | contribucions) (bot: - per 2.2 <math>¬p\vee¬q + per 2,2 <math>¬p\vee¬q)
No qualsevol successió de símbols és una fórmula ben formada, o una expressió del llenguatge. Així, per exemple,
no són fórmules:
p> ¬q> r, per 2,3
mentre que són fórmules:<
center>[math]\displaystyle{ p\wedge¬q }[/math], per 2,2
[math]\displaystyle{ ¬p\vee¬q }[/math], per 2,2
[math]\displaystyle{ \neg (p \leftrightarrow q) }[/math], per 2,1