Diferència entre revisions de la pàgina «Fórmula molecular»
De Wikisofia
m (Text de reemplaçament - "sintaxis" a "sintaxi") |
m (bot: -fómula +fórmula) |
||
Línia 11: | Línia 11: | ||
<center><math>\forall{x} (Px)</math></center> | <center><math>\forall{x} (Px)</math></center> | ||
− | és una | + | és una fórmula molecular,o composta,de lògica de predicats que equival, per exemple a «Tots participen». |
[[Recurs:Lògica: exemple de fórmules moleculars]] | [[Recurs:Lògica: exemple de fórmules moleculars]] |
Revisió del 19:50, 18 abr 2017
Tota fórmula composta d'un llenguatge formalitzat construïda segons les regles sintàctiques del llenguatge, que no sigui una fórmula atòmica, o simple
és l'expressió molecular de lògica d'enunciats, que equival, per exemple, a «si el sol surt cada dia, podem dormir tranquils»
és una fórmula molecular,o composta,de lògica de predicats que equival, per exemple a «Tots participen».