CONECTIVOS LÓGICOS, TABLA DE VERDAD Y LEYES DE

LA LÓGICA PROPOSICIONAL

CONJUNTO CONVEXO

1. Lógica proposicional: c) Disyunción fuerte:

Es una parte de la lógica que tiene por objeto de Conectiva: o….o/o bien/
estudio las proposiciones y la relación entre ellas, ….o bien….
así como la función que tienen las variables pro- Operador: ∆ / ↔
posicionales y los conectivos lógicos.
p ∆ q
2. Proposición lógica: V F V
También conocida como enunciado cerrado, es V V F
un enunciado que posee valor de verdad. F V V
Se le denomina variable proposicional.
Ejemplos: F F F

* Carlos es despístado d) Condicional:

Simples
Conectiva: Si…. Entonces/por lo tanto
(Atómicas) * Carlos es travieso
Operador: → / ⇒
* Carlos es travieso y despístado p → q
Compuestas
(Moleculares) * Es falso que Daniel sea actor de cine V V V
V F F
3. Conectivos lógicos: F V V
a) Conjunción: F V F
Conectiva: y/pero/e/sin embargo…..
Operador: ∧/. e) Bicondicional:
Conectiva: Si... y solo si.../
p ∧ q Entonces y solo entonces
V V V Operador: ↔ / ≡
V F F p ↔ q
F F V V V V
F F F V F F
F F V
b) Disyunción débil:
F V F
Conectiva: o/u/...o…
Operador: ∨
f) Negación:
p ∨ q Conectiva: no/ni/ no es el caso que
V V V Operador: ∼ / 
V V F p ∼p
F V V F V
F F F V F
 4. Tablas de valores de verdad:
* Evaluar un esquema molecular es obtener la matriz principal.
* El número de valores que se asigna a cada variable es «2n», donde «n» es el número de variables.
* Es importante jerarquizar los esquemas antes de evaluarlos.
Ejemplo:
p q (p ∧ q) → (p ∆ q)
V V V V V F V F V
V F V F F V V V F
F V F F V V F V V
F F F F F V F F F
22 = 4 1 3 2
Valores
Matriz principal: FVVV

5. Clases de matrices principales:

a) Tantología:
Todos los valores son verdaderos.

b) Contradicción:
Todos los valores son falsos.

c) Contingente:
Cuando entre todos los valores de la matriz principal hay por lo menos uno verdadero o uno falso.

PROPOSICIONES EQUIVALENTES
Dos proposiciones son equivalentes cuando la bicondicional es una tautología y se denota como.
A≡B
“A es equivalente a B”

LEYES DE LA LÓGICA PROPOSICIONAL

1. Doble negación (involutiva) 6. De Morgan:

∼(∼p) ≡ p ∼(p ∧ q) ≡ ∼p ∨ ∼q
∼(p ∨ q) ≡ ∼p ∧ ∼q
2. Idempotencia:
p∧p≡p 7. De la condicional:
p→ q ≡ ∼p ∨ q
p∨p≡p p → q ≡ ∼q → ∼p (transposición)

8. De la bicondicional:
3. Conmutativa: p ↔ q ≡ (p → q) ∧ (q → p)
p∧q≡q∧p
9. Absorción:
p∨q≡q∨p p ∧ (p ∨ q) ≡ p
p ∨ (p ∧ q) ≡ p
4. Asociativa: p ∧ (∼p ∨ q) ≡ p ∧ q
p ∨ (∼p ∧ q) ≡ p ∨ q
p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r
p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r) 10. Complemento:
p ∨ ∼ p ≡ ∨; p ∧ ∼p ≡ F
5. Distributiva:
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) 11. Identidad:
P∨V≡V P∨F≡P
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r) P∧V≡P P∧F≡F
 Trabajando en clase
Integral
1. Determina la matriz princi-
pal de la siguiente proposición
compuesta: (p ∧ q) ∨ q
Resolución:
2. Determina los valores de ver-
dad de r y p si se sabe que la
proposición es falsa: ∼p ∨ r
Resolución:
3. Señala la proposición com-
puesta:
a) Agripino y Cesarina son
hermanos.
b) Los Heraldos Negros es una
obra de Cesar Vallejo.
c) Joseph-Nicephore tomó la
primera fotografía en blan-
co y negro.
UNMSM
8. Si la siguiente proposición es
falso: (∼p ∧ q) → [(p ∨ r) ∨ t]
determina el valor de la ver-
dad de:
I. ∼(∼p ∨ ∼q) → (r ∨ ∼t)
II. (∼p → t) → (∼q → r)
Resolución:
9. Si la proposición:
(p → ∼q) ∨ (∼r → s)
es falsa, determina los valores
de verdad de las siguientes
proposiciones:
I. (∼p ∧ ∼q) ∨ ∼p
II. (p → q) → r
Resolución:
d) Carlos y Richard van juntos
al cine.
e) Daniel es profesor y Rosa es
escritora.
4. Simboliza mediante conecto-
res lógicos: “Si Daniel y Agri-
pina juegan fútbol, Margarito
será el árbitro”.
Resolución:
10. Determina si la siguiente pro-
posición es tanto lógica, con-
tradictorio o contingente.
[(∼p ∧ q) → r] ↔ [(p ∧ q) ∆ ∼r]
Resolución:
11. Determina el valor de verdad
de las siguientes proposicio-
nes:
a) (3 + 5 = 9) ∧ (5 × 2 = 10)
13 18
b)  + 1 =  → (32 = 5)
 5 5 
c) (23 = 8) ∆ ( 16 = –4)
d) (–13 < 8) ↔ (8 + 1 > 9)
12. Dada la proposición:
∼[(r ∨ q) → (r → p)] ≡ V,
donde q es una proposición
falsa. Determina el valor de
verdad de las siguientes pro-
posiciones:
I. r → (∼p ∨ ∼q)
II. [r ↔ (p ∨ q)] ↔ (q ∧ ∼p)
III. (r ∨ ∼p) ∧ (q ∨ p)
5. Simboliza mediante conecto-
res lógicos “Si tomas jugo de
naranja o fresa, entonces esta-
rás lleno”.
Resolución:
6. Determina la matriz principal
de la siguiente proposición
compuesta: (p ∆ q) ↔ ∼r
Resolución:
7. Si la proposición compuesta:
[(p → q) ∨ (q ∨ ∼r)]
es falsa; determine los valores
de verdad de p, q y r.
Resolución:
13. Si la proposición:
[(∼p ∨ q) →(q ↔ r)] ∨ (q ∧ s)
es falsa y “p” una proposición
verdadera, determina los valo-
res de verdad de q, r y s en ese
orden.
Resolución:
14. Clasifica las siguientes propo-
siciones como tautología (T),
contradicción (F) o contin-
gencia (C):
I. (p → q) → ∼q
II. (∼q ∨ q) ∆ [p ∆(p ∨ q)]
III. (q ∆ ∼p) ↔ (p ∆ q)
Resolución:
 Determina el equivalente de la
siguiente proposición:
(p ∨ q) → (∼p ∧ q)

Determina el esquema molecular

de la siguiente proposición y
da como respuesta su forma más
reducida. “Si el triángulo tiene dos
lados iguales, entonces el triángulo
se llama isósceles y el triángulo no
se llama isósceles, luego el
triángulo no tiene dos lados igua-
les”.