Se definen bsicamente 5 elementos cuyos propsitos

son enlazar las proposiciones simples o atmicas:

1. La CONJUNCIN: La conjuncin se representa por v y se lee y.
2. La DISYUNCIN: Se divide en disyuncin inclusiva que se
representa por w y se lee o; o tambin se lee como uno u otro o
ambos. La disyuncin exclusiva se representa por y se lee
como O exclusiva, o tambin como uno u otro pero no ambos.
3. CONDICIONAL: Se representa por medio de una flecha 6 y se
lee si.....entonces.....
4. BICONDICIONAL: Se representa por o (relacin de
equivalencia) y se lee .....si y slo si....., o tambin
como condicin necesaria y suficiente.
5. NEGACIN: Se lee como no, es falso que, no es verdad que; y
hay muchas formas de representarlo (', $ ,...)


Conectiva
Expresin en
el
lenguaje
natural
Ejemplo
Smbolo
en
este
artculo
Smbolos
alternativos
Negacin no No est lloviendo.

Conjuncin y Est lloviendo y est nublado.


Disyuncin o Est lloviendo o est soleado.


Condicional
material
si... entonces
Si est soleado, entonces es de
da.

Bicondicional si y slo si
Est nublado si y slo si hay nubes

visibles.
Negacin conjunta ni... ni Ni est soleado ni est nublado.


Disyuncin
excluyente
o bien... o bien
O bien est soleado, o bien est
nublado.