Lógica Proposicional

LÓGICA PROPOSICIONAL PROF: CRITELA FUENTES

sep.-19
1
 Lógica Proposicional
¿Qué son las tablas
de verdad

¿Cómo se construye
¿Cuáles son los una tabla de
conectivos lógicos? verdad?

9/9/2019 Prof. Cristela Fuentes 2

UNIDAD II: LOGICA SIMBOLICA

CONTENIDO:
OBJETIVO:

Construcción de las Tablas de

Verdad
Construir las tablas de
verdad para
comprobar la verdad o
falsedad de las
proposiciones. Ejercicios

LÓGICA PROPOSICIONAL PROF: CRITELA

FUENTES

3 sep.-19
 Pasos para construir las tablas de verdad

1. Una proposición tiene dos posibilidades:

ser verdadera o falsa

2. Si es una proposición compuesta encontramos

dos proposiciones, por ejemplo: p y q, entonces
tendremos cuatro posibles combinaciones de
valores de verdad.

3. Para más de 3 proposiciones, es conveniente

utilizar la fórmula 2n; donde n es el número de
proposiciones simples
LÓGICA PROPOSICIONAL PROF: CRITELA
FUENTES
sep.-19 4
 Ejemplos

a) 21 = 2 b) 22 = 4
combinaciones combinaciones
P p q
V V V
F V F
F V
F F

LÓGICA PROPOSICIONAL PROF: CRITELA

sep.-19 5
FUENTES
 Ejemplos d) 24 combinaciones
p q r s
V V V V
c) 23 V V V F
combinaciones V V F V
p q r V V F F
V F V V
V V V V F V F
V V F V F F V
V F F F
V F V
F V V V
V F F F V V F
F V V F V F V
F V F F
F V F F F V V
F F V F F V F

F F F F F F V
F F F F
LÓGICA PROPOSICIONAL PROF: CRITELA
sep.-19 6
FUENTES
 Ejemplos
4. Elaboremos un argumento
(pq)  ~ q
p q (p  q)  ~q
V V V F F
V F F V V
F V F V F
F F F V V

Resultado de verdad del argumento

LÓGICA PROPOSICIONAL PROF: CRITELA

sep.-19 7
FUENTES
 Valores de verdad
Al terminar la tabla de verdad de acuerdo a sus
valores de verdad pueden ser de tres tipos:

Tautológicos: cuando los valores de la conectiva

principal resultan todos verdaderos

Contingentes: cuando los valores de la conectiva

principal resultan unos son verdaderos y otros falsos
Contradictorios: cuando los valores de la conectiva
principal resultan todos falsos

LÓGICA PROPOSICIONAL PROF: CRITELA

sep.-19 8
FUENTES

Ejemplo

a) Si la Tierra es un planeta, entonces

gira alrededor del Sol.
b) La Tierra es un planeta
c) Luego, la Tierra gira alrededor al
Sol Para hacer la tabla de este
Premisas argumento se representará así:
(P)
a) p  q
b) p Conclusión [(p  q ) p ]  q
(C )
c) q
P C
LÓGICA PROPOSICIONAL
9 sep.-19
PROF: CRITELA FUENTES
 Ejemplo
Tabla de Verdad del argumento
[(p q)  p ] q
p q [(p  q)  p]  q
V V V V V V V
V F F F V V F
F V V F F V V
F F V F F V F

Resultado de verdad del argumento, TAUTOLOGICO

10
LÓGICA PROPOSICIONAL PROF: CRITELA
sep.-19
FUENTES
 Lógica Proposicional

LÓGICA PROPOSICIONAL PROF: CRITELA

FUENTES

sep.-19 11
 Docente: Ing. Cristela Fuentes
sep.-19 12