Diferència entre revisions de la pàgina «Fórmula molecular»
De Wikisofia
m (Text de reemplaçament - "sintaxis" a "sintaxi") |
m (bot: -veure exemple +veg. exemple) |
||
(Hi ha una revisió intermèdia del mateix usuari que no es mostren) | |||
Línia 3: | Línia 3: | ||
<div class='mw-collapsible mw-collapsed'> | <div class='mw-collapsible mw-collapsed'> | ||
− | <center>''' | + | <center>'''veg. exemple ↓'''</center> |
<div class="mw-collapsible-content"> | <div class="mw-collapsible-content"> | ||
<center>«<math>p \rightarrow{q}</math>»</center> | <center>«<math>p \rightarrow{q}</math>»</center> | ||
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ó de 11:55, 22 ago 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».