Accions

Diferència entre revisions de la pàgina «Fórmula atòmica»

De Wikisofia

m (Text de reemplaçament - "lletres de" a "lletres d'")
m (bot: -veure exemple +veg. exemple)
Línia 2: Línia 2:
 
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.
 
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>'''veure exemple ↓'''</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)|veure exemple]]
+
[[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>'''veure 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 tals com «Anna participa», «el món és bo», «el 3 és més gran que el 2», respectivament.  
 
Pa, «x és bo», «x és major que i», són fórmules atòmiques que corresponen, per exemple, a enunciats tals com «Anna participa», «el món és bo», «el 3 és més gran que el 2», respectivament.  
  
([[Recurs:Lògica: fórmules atòmiques|veure exemple]]).
+
([[Recurs:Lògica: fórmules atòmiques|veg. exemple]]).
 
</div></div>
 
</div></div>
  

Revisió del 11:56, 22 ago 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.

veg. exemple ↓

«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ó.

veg. exemple


En lògica de predicats, tot predicat seguit dels seus arguments corresponents.

veg. exemple ↓

Pa, «x és bo», «x és major que i», són fórmules atòmiques que corresponen, per exemple, a enunciats tals com «Anna participa», «el món és bo», «el 3 és més gran que el 2», respectivament.

(veg. exemple).