Tabla de proposiciones atómicas y moleculares con conectivas, formas lógicas, indicadores y ejemplos

Atómicas
Variables proposicionales Interpretación con ejemplos concretos
p , q , r , s , t , ...
(siempre son afirmativas) p : llueve / q : truena / r : se moja la vereda / s : Mariana es profesor de química

Símbolos o Forma lógica Indicadores proposicionales Interpretación con ejemplos

Tipología conectivas proposicional concretos
~ ~a no A / no es cierto que A / No llueve / no es cierto que hace
Negación – –a no se da el caso de que A / frío / Pedro no es músico
¬ ¬a no es
A y B / A pero B / Llueve y truena / Juan ya es médico
PROPOSICIONES

Conjunción ^ a^b A sin embargo B / otras: sin embargo sigue estudiando /

aunque - también Mónica y Tomás son estudiantes /
Moleculares (principales)

•
a• b Santiago es psicólogo y abogado

Condicional a b Si A, entonces B / Si A, B / Si llueve, entonces se moja la

B, si A vereda / Si hace calor, me baño
a b
U
U

A o B / o bien A, o bien B / Juan camina o corre / María se

Incluyente v avb A a menos que B servirá postre o café
Disyunción
A o ¬A O llueve o no llueve / estará en lo de
Excluyente w awb A o B (pero no ambos) sus padres o en lo de un amigo
(pero no en ambos lados)

Bicondicional a b A si y sólo si B / A es condición La conjunción es verdadera si y sólo

necesaria y suficiente .... B si ambos componentes de verdad
son verdaderos.
a=b
|||

1
Importante:

 Las conectivas (símbolos) se colocan entre variables (salvo las negaciones, que siempre van delante de una letra, de un
paréntesis, corchete, etc.), entre paréntesis, o entre variable y paréntesis (o entre paréntesis y variable):
| p q | (p . q) r | ¬r (¬p v ¬q) | (p . q) (q . p) |

 Las conectivas o símbolos nunca van adelante de una variable proposicional (letra) cuando ésta está sola o primero,
excepto la negación. Los siguientes casos son incorrectos: | p q | .p | Esto sí es correcto: ¬ p | p . ¬ q |

 Cuando una negación afecta a todo un paréntesis o corchete como: ¬ (p . q) , se suele interpretar así: "no es cierto que ...",
"no se da el caso de que...", "no es verdad que...", "es falso que...". Siguiendo la forma lógica del ejemplo, se podría
interpretar: "no es cierto que llueve y hace frío". Atención: esta forma lógica ¬ (p . q) no equivale a ¬ p . ¬ q , pues no
es lo mismo decir "no es cierto que llueve y hace frío" que "ni llueve ni hace frío".