Accions

Recurs

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

De Wikisofia

(fórmula)
 
Línia 14: Línia 14:
 
<center><math>\forall{x} (Px)</math></center>
 
<center><math>\forall{x} (Px)</math></center>
  
és una fómula molecular,o composta,de lògica de predicats que equival, per exemple a «Tots participen».
+
és una fórmula molecular,o composta,de lògica de predicats que equival, per exemple a «Tots participen».
 
{{InfoWiki}}
 
{{InfoWiki}}

Revisió de 19:50, 18 abr 2017

«[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órmula molecular,o composta,de lògica de predicats que equival, per exemple a «Tots participen».