Diferència entre revisions de la pàgina «Fórmules ben formades»
De Wikisofia
(Es crea la pàgina amb «{{RecursWiki |Tipus=Exemple }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Fórmules ben formades |Idi...».) |
m (Text de reemplaçament - "bé formada" a "ben formada") |
||
Línia 16: | Línia 16: | ||
{{Exemple}} | {{Exemple}} | ||
− | No qualsevol successió de símbols és una fórmula | + | 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: | no són fórmules: |
Revisió del 17:50, 20 ago 2015
Plantilla:RecursoEnlace Plantilla:Multimèdia
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