Lógica proposicional

Es la parte de la lógica que se ocupa de estudiar los enunciados, es decir las

proposiciones. En lógica, hablar de “enunciado”, “proposición”, “juicio” o “sentencia” es
lo mismo. Una proposición es una oración declarativa que puede ser verdadera o
falsa. Las órdenes, las preguntas, las exclamaciones y las expresiones de deseo no
son proposiciones porque no declaran nada, es decir no tienen un valor de verdad.
Solamente las “oraciones declarativas” decimos que son enunciados, es decir
proposiciones, porque informan sobre algún hecho en la realidad y tienen la posibilidad
de ser o verdaderos o falsos.

Cabe aclarar que solamente las proposiciones pueden ser o verdaderas o falsas. De
los razonamientos decimos que pueden ser válidos o inválidos pero no verdaderos o
falsos.

Variables proposicionales: se simbolizan con las letras minúsculas (p, q, r, s…z) que
reemplazan a un enunciado atómico cualquiera. Un enunciado atómico es una
oración declarativa que describe un hecho simple.

Conectivas: son símbolos que conectan dos o más enunciados y obtener así un
enunciado molecular (enunciado compuesto). Se las llama también “constantes
lógicas” porque su significado lógico no varía.

Reglas de formación

Me indican que tipo de combinaciones pueden efectuarse, es decir cuando una

fórmula es bien formada y cuando no lo es.

Por ejemplo p⊂q es FBF y .pq es un FMF

Signos de puntuación [], () {} Sirven para delimitar el alcance de la conectiva.

Principio de composicionalidad: el valor de verdad de una expresión molecular está

determinado por el valor de verdad de sus partes componentes.

1
Conectivas Simbolización en Traducción al Significado en la
lenguaje artificial lenguaje natural tabla de verdad

Conjunción “.” p. q Y, pero, aunque, sin Es verdadera en un

embargo, “,” solo caso: cuando
sus dos enunciados
componentes son
verdaderos.

Disyunción “v” pvq “o”, “a menos que” Es verdadera en

inclusiva tres casos: cuando
al menos uno o los
dos de sus
componentes son
verdaderos.

Disyunción “w” pwq “o bien” , “salvo Es verdadera

excluyente que”, “o” cuando o uno o el
otro de sus
componentes son
verdaderos, pero
no ambos al mismo
tiempo.

Condicional “⊃” p⊃q “si….entonces” Es verdadera en

tres casos: cuando
“Cada vez que…”
el antecedente es
“cuando” falso o cuando el
consecuente es
“porque”
verdadero.

Bi-condicional “≡” p≡q “si y solo si” Es verdadero en

dos casos: cuando
sus dos
componentes
tienen al mismo
valor de verdad.

Negación “─” ─p “no” Si p es verdadero,

entonces ─p es
“no es cierto que”,
falso y viceversa.
“no es verdad que”,

2
 “es falso que”

Ejemplos de simbolizaciones

Conjunción p. q 1. Te acompañaré aunque estoy

indispuesto
2. A pesar de estar indispuesto, sin
embargo te acompañaré.
3. Pedro trabaja y Juan estudia.
4. Martín es joven y Carlos es
valiente
Disyunción pvq 1. El señor que acompaña a la novia
es su padre o su padrino.
2. Te buscaré si tengo tiempo o si
consigo el auto.
3. Llegaré a las cuatro o a las 5.
4. Florencia o Nápoles están en
Suiza.
5. A menos que llueva Darío irá a
pasar el día al campo.
Condicional p ⊃q 6. Si este objeto es azul entonces
tiene color.
7. Si esta figura es un cuadrado
entonces es un polígono.
8. Si la tierra vuela entonces tiene
alas.
9. Si hoy es lunes, mañana es
martes.
10. Si la tierra vuela entonces existe.
Bi-condicional p≡q 1. Aprobaré el examen si y solo si
estudio
2. María llora si y solo si se ha
golpeado la cabeza
3. Calos vendrá a la fiesta si y solo si
Pedro viene a la fiesta
4. Juan está mal humorado si y solo
si se acaba de levantar.
Negación ─ ─p 1. No es cierto que no saldremos de

3
 vacaciones
2. Montevideo no está en la
─p
Argentina.