LÓGICA PROPOSICIONAL

Docente Lady Huamán

LÓGICA PROPOSICIONAL PROPOSICIÓN

• Es una parte de la • Es todo enunciado al que

lógica matemática, se le puede asignar un
valor de verdad.
llamada también
«lógica de las Clases de proposiciones:
proposiciones sin
analizar». • Proposición simple: es
• Estudia las relaciones aquella que no está
entre las relacionada con otras
proposiciones proposiciones.
mediante la conexión
• Proposición compuesta:
lógica de estas. es aquella que se forma por
• Trata de la verdad o dos o más proposiciones
falsedad de una o unidas por los conectores
varias proposiciones. lógicos.
 CONECTORES LÓGICOS

Son símbolos que unen dos o más proposiciones

simples para formar una proposición compuesta.

Los conectores lógicos son:

 CONJUNCIÓN DISYUNCIÓN INCLUSIVA

Si p y q son proposiciones, Si p y q son proposiciones,

se llama conjunción de p y q se llama disyunción de p y q
a la proposición compuesta a la proposición compuesta
“p y q “ y se denota por: “p o q” y se denota por:
pq pq
DISYUNCIÓN EXCLUSIVA CONDICIONAL

Si p y q son proposiciones, Si p y q son proposiciones,

se llama disyunción exclusiva
de p y q a la proposición
compuesta “o p o q” y se
denota por:
pΔq
se llama condicional de p y q
a la proposición compuesta
“si p, entonces q” y se
denota por:
p→q

p q pΔq p q p→q

V V F V V V

V F V V F F
F V V F V V
F F F F F V
 BICONDICIONAL NEGACIÓN

Si p y q son proposiciones, Si p es una proposición,

se llama bicondicional de p y entonces “no p” es la
q a la proposición compuesta
negación de p y se denota
“ p, si y solo sí q” y se
denota por:
por:
p↔q ~p

p q p↔
q
V V V
V F F
F V F
F F V
TAUTOLOGIA, CONTRADICCION Y CONTINGENCIA
TAUTOLOGIA

CONTINGENCIA
EQUIVALENCIAS NOTABLES
NEGACION DE UN CUANTIFICADOR

Ejemplo:
¿Cuál es la negación
lógica de la proposición:
“Todos estos hombres son
altos”?

Algunos de estos hombres

no son bajos.
CUANTIFICADOR UNIVERSAL Y EXISTENCIAL
 EJERCICIOS

1. Si la proposición (p   q) →  r es 2. Elabora la tabla de verdad de la

falsa, determina el valor de verdad de siguiente proposición compuesta:
las siguientes proposiciones: ( p → q)  ( q  p)
I.  p v (r  q) Luego, indica si es una tautología,
II. ( q  p) →  q contradicción o contingencia.
III. (q   r)  ( r  p)
Solución:
Solución: 2 proposiciones: p y q
Partimos de:
(p   q) →  r F p q (p → q)  (q  p)
V F V V F V V F F F V
pqV r F V F F V F V V V V
pV;qF rV
F V V V V F F F F
Luego:
I. F v (V  F)  F v F  F F F V F F V V F F
II. (V  V) → V  V → V  V
III. (F  F)  (F  V)  F  F  F Es una contingencia.

Rpta.: FVF Rpta.: Contingencia