Diferència entre revisions de la pàgina «Fórmula atòmica»
De Wikisofia
m (bot: -veure exemple +veg. exemple) |
m (bot: -tals com +com ara) |
||
| Línia 13: | Línia 13: | ||
<center>'''veg. exemple ↓'''</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|veg. exemple]]). | ([[Recurs:Lògica: fórmules atòmiques|veg. exemple]]). | ||
Revisió del 21:33, 15 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).