Diferència entre revisions de la pàgina «Fórmula atòmica»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} En lògica d'enunciats, expressió que consta d'una sola lletra d'enunciat. Una lletra d'enunciat substitueix...».) |
m (bot: - substitueix -i correspon- a + substitueix –i correspon– a) |
||
| (3 revisions intermèdies per 2 usuaris que no es mostren) | |||
| Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{ConcepteWiki}} | ||
| − | En [[lògica|lògica d'enunciats]], expressió que consta d'una sola [[enunciat, lletres | + | En [[lògica|lògica d'enunciats]], expressió que consta d'una sola [[enunciat, lletres d'|lletra d'enunciat]]. Una lletra d'enunciat substitueix –i correspon– a un [[enunciat|enunciat]] 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"> | ||
«''p''» és la fórmula simple que correspon, per exemple a «El sol surt cada dia», mentre que «¬p» seria una fórmula molecular, per addició d'una connectiva monádica, que representa una funció lògica: la negació. | «''p''» és la fórmula simple que correspon, per exemple a «El sol surt cada dia», mentre que «¬p» seria una fórmula molecular, per addició d'una connectiva monádica, que representa una funció lògica: la negació. | ||
| − | [[Recurs:Exemple de fórmula simple (i molecular per addició de connector)| | + | [[Recurs:Exemple de fórmula simple (i molecular per addició de connector)|veg. exemple]] |
</div></div> | </div></div> | ||
En [[lògica|lògica de predicats]], tot [[predicat|predicat]] seguit dels seus arguments corresponents. <div class='mw-collapsible mw-collapsed'> | En [[lògica|lògica de predicats]], tot [[predicat|predicat]] seguit dels seus arguments corresponents. <div class='mw-collapsible mw-collapsed'> | ||
| − | <center>''' | + | <center>'''veg. exemple ↓'''</center> |
<div class="mw-collapsible-content"> | <div class="mw-collapsible-content"> | ||
| − | Pa, «x és bo», «x és major que i», són fórmules atòmiques que corresponen, per exemple, a enunciats | + | Pa, «x és bo», «x és major que i», són fórmules atòmiques que corresponen, per exemple, a enunciats com ara «Anna participa», «el món és bo», «el 3 és més gran que el 2», respectivament. |
| − | ([[Recurs:Lògica: fórmules atòmiques| | + | ([[Recurs:Lògica: fórmules atòmiques|veg. exemple]]). |
</div></div> | </div></div> | ||
Revisió de 19:48, 16 set 2017
En lògica d'enunciats, expressió que consta d'una sola lletra d'enunciat. Una lletra d'enunciat substitueix –i correspon– a un enunciat simple.
«p» és la fórmula simple que correspon, per exemple a «El sol surt cada dia», mentre que «¬p» seria una fórmula molecular, per addició d'una connectiva monádica, que representa una funció lògica: la negació.
En lògica de predicats, tot predicat seguit dels seus arguments corresponents.
Pa, «x és bo», «x és major que i», són fórmules atòmiques que corresponen, per exemple, a enunciats com ara «Anna participa», «el món és bo», «el 3 és més gran que el 2», respectivament.
(veg. exemple).