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...».)
 
(fórmula)
 
(Una revisió intermèdia per un altre usuari que no es mostra)
Línia 1: Línia 1:
 
{{RecursWiki
 
{{RecursWiki
 
|Tipus=Exemple
 
|Tipus=Exemple
}}
 
{{RecursoEnlace
 
|Enllaç=
 
}}
 
{{Multimèdia
 
|Upload Type=
 
|File=
 
|Embed=
 
 
}}
 
}}
 
{{RecursBase
 
{{RecursBase
Línia 22: 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».
{{Propietat
 
|Propi=No
 
|Allow=No
 
|Accept=No
 
}}
 
 
{{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».