Diferència entre revisions de la pàgina «Fórmules ben formades»
De Wikisofia
m (Text de reemplaçament - "bé formada" a "ben formada") |
|||
| Línia 1: | Línia 1: | ||
{{RecursWiki | {{RecursWiki | ||
|Tipus=Exemple | |Tipus=Exemple | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{RecursBase | {{RecursBase | ||
| Línia 29: | Línia 21: | ||
<math> \neg (p \leftrightarrow q)</math>, per 2.1</center> | <math> \neg (p \leftrightarrow q)</math>, per 2.1</center> | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
{{InfoWiki}} | {{InfoWiki}} | ||
Revisió del 13:56, 5 set 2015
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