LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL PROF: CRISTELA FUENTES

sep.-19
 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:

CRISTELA FUENTES
sep.-19 2
 Ejercicios:
Si tienes una alimentación adecuada, entonces tu promedio de
vida aumenta.
No es cierto que tengas una alimentación adecuada.
Entonces, no es cierto que tu promedio de vida aumente.

Pasos: p q
El argumento se simboliza así: Premisas (P)
p: tienes una alimentación adecuada ~ p
q: tu promedio de vida aumenta

~ q Conclusión (C)

LÓGICA PROPOSICIONAL
sep.-19 PROF: CRISTELA FUENTES 3
 En su forma condicional es como
 
sigue: p  q  ~ p  ~ q 
p q P  Q   ~p  ~q
V V V F F V F
V F F F F V V
F V V V V F F
F F V V V V V

Resultado de verdad del argumento, CONTINGENTE

LÓGICA PROPOSICIONAL
sep.-19 PROF: CRISTELA FUENTES 4
 Elaborar la tabla de verdad del siguiente argumento:

a) p ~q
p q p  ~q
V V V F F
V F V V V
F V F V F
F F F V V

Resultado de verdad del argumento, CONTINGENTE

LÓGICA PROPOSICIONAL
sep.-19 PROF: CRISTELA FUENTES 5
 Elaborar la tabla de verdad del siguiente argumento:

b)
  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

LÓGICA PROPOSICIONAL
sep.-19 PROF: CRISTELA FUENTES 6
 Elaborar la tabla de verdad del siguiente argumento:

c) ~q~p

p q ~q  ~p
V V F F F
V F V F F
F V F F V
F F V V V
Resultado de verdad del argumento, CONTINGENTE
LÓGICA PROPOSICIONAL
sep.-19 PROF: CRISTELA FUENTES 7
 Elaborar la tabla de verdad del siguiente argumento:

d)  p  q   q  r   pr 
p q r p  q  q  r  p  r
V V V V V V V V
V V F V F F V F
V F V F F V V V
V F F F F V V F
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V V V V V

Resultado de verdad del argumento, TAUTOLOGICO

LÓGICA PROPOSICIONAL
sep.-19 PROF: CRISTELA FUENTES 8
 GRACIAS ATENCIÓN

POR SU
9

sep.-19 LÓGICA PROPOSICIONAL PROF: CRISTELA FUENTES