Accions

Recurs

Diferència entre revisions de la pàgina «Lògica: exemple de fórmules moleculars»

De Wikisofia

(Es crea la pàgina amb «{{RecursWiki |Tipus=Exemple }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Lògica: exemple de fórmules m...».)
 
Línia 1: Línia 1:
 
{{RecursWiki
 
{{RecursWiki
 
|Tipus=Exemple
 
|Tipus=Exemple
}}
 
{{RecursoEnlace
 
|Enllaç=
 
}}
 
{{Multimèdia
 
|Upload Type=
 
|File=
 
|Embed=
 
 
}}
 
}}
 
{{RecursBase
 
{{RecursBase
Línia 23: Línia 15:
  
 
és una fómula molecular,o composta,de lògica de predicats que equival, per exemple a «Tots participen».
 
és una fómula molecular,o composta,de lògica de predicats que equival, per exemple a «Tots participen».
{{Propietat
 
|Propi=No
 
|Allow=No
 
|Accept=No
 
}}
 
 
{{InfoWiki}}
 
{{InfoWiki}}

Revisió del 14:15, 5 set 2015

«[math]\displaystyle{ p \rightarrow{q} }[/math]»

és l'expressió molecular de lògica d'enunciats, que equival, per exemple, a «si el sol surt cada dia, podem dormir tranquils»

[math]\displaystyle{ \forall{x} (Px) }[/math]

és una fómula molecular,o composta,de lògica de predicats que equival, per exemple a «Tots participen».