Accions

Recurs

Fórmules ben formades

De Wikisofia

La revisió el 22:18, 17 oct 2017 per Jaumeortola (discussió | contribucions) (bot: - per 2.3 mentre + per 2,3 mentre)



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