Mostra la font per a Enunciat atòmic i enunciat mol·lecular

{{ConcepteWiki}}
Expressió deguda a [[Autor:Russell, Bertrand|B. Russell]]. Un enunciat es diu '''atòmic''' quan no pot descompondre's en uns altres més simples; '''molecular''', en canvi, és l'enunciat compost per enunciats simples o atòmics. Per a formar enunciats moleculars o compostos es requereixen [[juntor|juntors]] o [[connectors, connectives|connectives]].

Exemple:«Praga és la capital de la República Txeca» és un enunciat atòmic vertader, i pot representar-se mitjançant una sola lletra d'enunciat, <math>«p»</math>

En canvi; «Praga és la capital de la República Txeca i Bratislava la capital de la República d'Eslovàquia» és un enunciat molecular, ja que es pot descompondre en dos enunciats: «Praga és la capital de la República Txeca», que representem per <math>«p»</math> i «Bratislava la capital de la República d'Eslovàquia», que representem per <math>«q»</math>. I es representa unint les dues lletres d'enunciat per una [[Connectors, connectives|connectiva]] (o connector) que en aquest cas és la conjunció <math>\wedge</math>:

'''<big><center><math>p\wedge  q</math></center></big>'''


Altres exemples d'enunciats moleculars:

«''Només si'' hi ha neu esquiem» és un enunciat molecular, o compost, que equival a l'afirmació condicional de «''Si'' esquiem, ''llavors'' és que hi ha neu». requereix dues lletres i el símbol del condicional:

'''<big><center><math>p\rightarrow q</math></center></big>'''

«Plou i fa sol» és un enunciat molecular, o compost, que equival a l'afirmació segons la qual «plou» (equival a dir «ara plou»), que es pot representar per «''p''», i «fa sol», que es pot representar per «''q''». I es simbolitza així:

'''<big><center><math>p\wedge q</math></center></big>'''

«La Carlota llegeix o escolta música» és un enunciat molecular, o compost, que, en aquest cas presenta una disjunció no exclusiva, ja que la Carlota pot llegir, o pot escoltar música o fer les dues coses alhora. Es representa així:

'''<big><center><math>p\vee  q</math></center></big>'''

{{Etiqueta
|Etiqueta=Lògica
}}
{{InfoWiki}}