LOGICA PROPOSICIONAL

El término lógica o lógico lo usamos en nuestra vida cotidiana para referirnos a algo que, por sentido común, es razonable.
Pero también la lógica es una ciencia cuyo objetivo es distinguir el razonamiento correcto e incorrecto.

Qué es una proposición?

Es una expresión que da información verdadera o falsa en forma exclusiva es decir, que no puede ser verdadera y falsa a la
vez.

Proposiciones lógicas simples: son las proposiciones que dan solamente una información.
Ejemplo: la moneda de Guatemala es el quetzal

Proposiciones lógicas compuestas: una proposición compuesta se construye uniendo dos o más proposiciones simples y,
por ello, nos da más de una información.
Ejemplo: el 15 contiene exactamente a 3 pero no a 7

Las proposiciones simples las representamos simbólicamente con las letras minúsculas p, q, r
Ejemplo: p: hoy es día martes
q: hoy tenemos clases
r: el kilómetro tiene mil metros

Las proposiciones compuestas las representamos simbólicamente combinando las letras que representan a las
proposiciones simples y los símbolos de los conectivos lógicos.

Nombre Símbolo Se lee

a) Conjunción Y
b) Disyunción Ó (inclusiva)
c) Alternativa Ó (alternativa)
d) Implicación o condicional Si… entonces
e) Doble implicación Si y sólo si
f) Negación No

Ejemplo: p: las arañas tienen 4 patas

q: las arañas vuelan
r: las arañas son insectos
a) P q las arañas tienen 4 patas y las arañas vuelan
b) (p r) q las arañas tienen 4 patas o (inclusiva) las arañas son insectos si y solo si las arañas vuelan.

TABLA DE VALORES DE VERDAD

Llamamos tablas de valores de verdad a la tabla que contiene todas las posibilidades de valor de verdad que existen para
una proposición compuesta.
1. CONJUNCIÓN: la proposición conjuntiva es 2. DISYUNCIÓN: la proposición disyuntiva es
verdadera únicamente cuando p y q son falsa cuando p y q son falsas.
verdaderas.
p q P q
p q P q

V V
V F
F V
F F
V V V
V V F V
F F V V
F F F F
F

3. ALTERNATIVA: la proposición alternativa es 4. IMPLICACIÓN O CONDICIONAL: es falsa

verdadera cuando las proposiciones simples no cuando p es v y q falsa.
pueden tener el mismo valor de verdad.
p q P q

p q P q
V V V
V F F
V V F F V F
V F V F F F
F V V
F F F

5. DOBLE IMPLICACIÓN O BICONDICIONAL: 6. NEGACIÓN: es evidente que la negación

la doble implicación es verdadera cuando p y q debe tener un valor de verdad opuesto al de la
tienen el mismo valor de vedad.
proposición que está negando.

p q P q
P q

V F
V V V
V F
V F F
F V
F V F
F V
F F F