6

LÓGICA PROPOSICIONAL
R ESUMEN:
La lógica es la disciplina que trata de los métodos, modos y formas
del razonamiento humano.
PROPOSICIONES:
Proposición es toda oración respecto de la cual puede decirse si es
verdadera o falsa.
Las proposiciones son denotadas con las letras p , q , r , etc
Existen dos tipos:

Proposición simple (atómica). Son las proposiciones de forma más simple, no tienen conectivos lógicos
Proposición compuesta (molecular). Se forman a partir de otras proposiciones simples, enlazadas mediante
conectivos lógicos.
Conectivos lógicos: Permiten relacionar proposiciones para formar nuevas proposiciones. Igualmente permiten definir
“operaciones” en los conjuntos para obtener nuevos conjuntos.

Tabla conectivos lógicos.

 Conjunción. “y”.
 Disyunción. “o”.
 Condicional. “si p entonces q”.
 Negación. “no”.
 Bicondicional. “p si y sólo si q”.
(ó doble implicación).

Def.: Dadas dos proposiciones p y q, se llama proposición conjuntiva de p y q, y se escribe p  q , a la proposición que dice
"p y q". p  q es verdadera cuando p y q son verdaderas simultáneamente.
CONECTIVOS LÓGICOS

Negación. Conjunción.
Negación de la proposición p es la proposición Conjunción de las proposiciones p , q es la proposición
~ p (no p ). p  q ( p y q ).
p ~p
p q pq
V F
F V V V V
V F F
F V F
F F F
Disyunción. Implicación o Condicional.
Disyunción de las proposiciones p , q es la Implicación de las proposiciones p , q es la proposición
proposición p  q ( p o q ). p → q ( p implica q , si p entonces q ).

p q pq p q p→q
V V V V V V
V F V V F F
F V V F V V
F F F F F V
 Doble implicación o Bicondicional. Diferencia simétrica o disyunción excluyente.
Doble implicación de las proposiciones p , q es la Diferencia simétrica de las proposiciones p , q es la
proposición p  q ( p si y solo si q ). proposición p  q ( o p o q , en sentido excluyente).
p q pq
V V V p q p q
V F F V V F
F V F V F V
F F V F V V
F F F

También es posible definir la implicación, la doble implicación y la diferencia simétrica, de la siguiente forma: 𝑝 → 𝑞 ≡
~𝑝 ∨ 𝑞

𝑝 ↔ 𝑞 ≡ (𝑝 → 𝑞) ∧ (𝑞 → 𝑝)
𝑝 ∨ 𝑞 ≡ ~(𝑝 ↔ 𝑞)

Definición :Las proposiciones se pueden clasificar en:

Tautología. Si la proposición es siempre verdadera.
Contradicción. Si la proposición es siempre falsa.
Contingencia. Si la proposición puede ser verdadera o falsa.

LEYES LÓGICAS

Idempotencia Conmutatividad
p p  p pq q p
p p  p pq q p
Asociatividad Distributividad
( p  q)  r  p  (q  r ) p  (q  r )  ( p  q)  ( p  r )
( p  q)  r  p  (q  r ) p  (q  r )  ( p  q)  ( p  r )
Leyes de Morgan Absorción
~ ( p  q)  ~ p  ~ q p  ( p  q)  p p  (~ p  q)  p  q
~ ( p  q)  ~ p  ~ q p  ( p  q)  p p  (~ p  q)  p  q
Algunas propiedades importantes.
p V  p , p  F  F
p V V , p  F  p
p ~ p  F , p ~ p V

Álgebra Proposiciones / Álgebra Conjuntos.

 Álgebra de Proposiciones. Álgebra de Conjuntos.

Leyes de p p  p Leyes de A A = A
idempotencia. idempotencia.
p p  p A A = A

Leyes asociativas. ( p  q)  r  p  (q  r ) Leyes asociativas. ( A  B )  C = A  (B  C )

( p  q)  r  p  (q  r ) ( A  B )  C = A  (B  C )

Leyes conmutativas. pq  q p Leyes conmutativas. A B = B  A

pq  q p A B = B  A

Leyes distributivas. p  (q  r )  ( p  q )  ( p  r ) Leyes distributivas. A  (B  C ) = ( A  B )  ( A  C )

p  (q  r )  ( p  q )  ( p  r ) A  (B  C ) = ( A  B )  ( A  C )

Ley de complemento. (p )  p Leyes de identidad. A = A A U = A

A U = U A = 

Leyes de Morgan. ( p  q )  p  q Leyes de A  A' = U A  A' = 

complemento.
( p  q )  p  q (A ) = A
' '
U' =  ' = U

Leyes de Morgan. ( A  B )' = A'  B'

( A  B )' = A'  B'

CIRCUITOS LÓGICOS

Tautología “𝕍”
Conjunción “𝑝 ∧ 𝑞”
Disyunción “𝑝 ∨ 𝑞”

Contradicción “𝔽”

Doble implicación Disyunción excluyente

Implicación
𝑝 ↔ 𝑞 ≡ (∼ 𝑝 ∨ 𝑞) ∧ (𝑝 ∨∼ 𝑞) 𝑝 ↔ 𝑞 ≡ (𝑝 ∨ 𝑞) ∧ (∼ 𝑝 ∨∼ 𝑞)
𝑝 → 𝑞 ≡∼𝑝∨𝑞

PRÁCTICA
1. Simbolizar las proposiciones siguientes: 2. Simbolizar las proposiciones siguientes:
a) Si ab = 0 , entonces a = 0 o b = 0 a) Si ab = 0 , entonces a = 0 o b = 0
b) b  a , si y solo si b  0 y, a  0 o b) b  a , si y solo si b  0 y, a  0 o a  0
a0

3. Sean las proposiciones : 4. Hallar la tabla de verdad de las siguientes

p : Estudiare proposiciones.
matemática. a) (𝑝 ∧ ~𝑞) → 𝑝
q : Iré a mis clases de b) ( p → q )  p  → q
computación. c) ( p → q)  ( p  ~ q)
r : Estoy de buen humor. d) [(𝑝 ∧ 𝑞) → ~𝑝] ∨ 𝑞
Escriba en lenguaje común la oración que
e) ( p  q)  r
corresponde a la siguiente proposición
compuesta. ~𝑟 → (𝑞 ∧ ~𝑝) f) (𝑝 → 𝑞) ∧ (~𝑝 → 𝑟)
g) (𝑝 ∨∼ 𝑞) → [(∼ 𝑝 ∨ 𝑞) ↔ (𝑝 ⟷ 𝑞)]

5. Si ~(𝑝 ∨ ~𝑟) es verdad. Hallar el valor de verdad 6. Si la proposición compuesta (𝑝 ∧ ~𝑞) → (𝑠 ⟶ ~𝑟)
de (𝑝 ∧ ~𝑞) → ~(𝑟 ∨ 𝑠) Rpta: V es falsa, hallar el valor de verdad de (p  s)  (q  r )

Rpta: V
7. Demostrar que: 9. Simplificar la siguiente formula lógica.
8. {(𝑝 → 𝑞) ∧ (𝑟 → 𝑠) ∧ (~𝑞 ∨ ~𝑠)} → (~𝑝 ∨ ~𝑟) a) ~(~𝑝 ∨ ~𝑞) ∨ 𝑞
es una tautología Rpta: q
b) (𝑝 ↔ 𝑞) ∨ (~𝑝 ∨ 𝑞)
Rpta: ~𝑝 ∨ 𝑞
c) [(~𝑝 ∨ 𝑞) ∧ (~𝑞 → 𝑝)] → (𝑝 ∧ ~𝑞)
Rpta: ~𝑞
d) [(𝑝 → 𝑞) → (~𝑝 ∧ ~𝑞)] ∧ [(~𝑝 ∧ 𝑞) ∨ 𝑝]
Rpta: 𝑝 ∧ ~𝑞
e) (r → p ) → ( p  r )  →  (r  q ) → (~ r  q ) 
Rpta: ~𝑟
f) 𝑝 ∧ (𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑞 ∨ 𝑟) ∧ (𝑝 ∨ 𝑞 ∨ 𝑟 ∨ 𝑠)
Rpta: 𝑝
g) ~(~𝑝 ↔ 𝑞) → (𝑝 ↔ ~𝑞)
Rpta: V
h) {[(∼ 𝑝 → 𝑞) →∼ 𝑝] → 𝑞} →∼ 𝑝
Rpta: ∼ 𝑝

11. Escriba la proposición equivalente para luego

10. Construir el circuito lógico que representa a cada simplificar el siguiente circuito lógico:
una de las proposiciones siguientes.
a) (𝑝 ∨ ~𝑞) ∨ (𝑟 ∨ ~𝑠)
b) (𝑝 ↔ ~𝑞) ∧ (𝑟 ∨ 𝑠)

Rpta: