Diferència entre revisions de la pàgina «Fórmula molecular»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} Tota fórmula composta d'un llenguatge formalitzat construïda segons les regles sintàctiques del lleng...».) |
m (bot: -veure exemple +veg. exemple) |
||
| (2 revisions intermèdies per 2 usuaris que no es mostren) | |||
| Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{ConcepteWiki}} | ||
| − | Tota [[fórmula|fórmula]] composta d'un llenguatge [[formalització|formalitzat]] construïda segons les regles [[ | + | Tota [[fórmula|fórmula]] composta d'un llenguatge [[formalització|formalitzat]] construïda segons les regles [[sintaxi|sintàctiques]] del llenguatge, que no sigui una [[fórmula atòmica|fórmula atòmica]], o simple |
<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».