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 (bot: - per 2.2 <math>¬p\vee¬q + per 2,2 <math>¬p\vee¬q) |
||
| (4 revisions intermèdies per 3 usuaris que no es mostren) | |||
| Línia 1: | Línia 1: | ||
{{RecursWiki | {{RecursWiki | ||
|Tipus=Exemple | |Tipus=Exemple | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{RecursBase | {{RecursBase | ||
| Línia 16: | Línia 8: | ||
{{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: | ||
| − | p> ¬q> r, per 2 | + | p> ¬q> r, per 2,3 |
mentre que són fórmules:< | mentre que són fórmules:< | ||
| − | center><math> p\wedge¬q</math>, per 2 | + | center><math> p\wedge¬q</math>, per 2,2 |
| − | <math>¬p\vee¬q </math>, per 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ó de 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