Diferència entre revisions de la pàgina «Fórmules ben formades»
De Wikisofia
m (bot: - per 2.3 mentre + per 2,3 mentre) |
m (bot: - per 2.1</center> + per 2,1</center>) |
||
Línia 20: | Línia 20: | ||
<math>¬p\vee¬q </math>, per 2.2 | <math>¬p\vee¬q </math>, per 2.2 | ||
− | <math> \neg (p \leftrightarrow q)</math>, per 2 | + | <math> \neg (p \leftrightarrow q)</math>, per 2,1</center> |
{{InfoWiki}} | {{InfoWiki}} |
Revisió del 22:18, 17 oct 2017
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