PROF: CARLOS NIÑO

LÓGICA PROPORCIONAL “no obstante”, “a la vez”, “también”, “así como”, “tal como”,
“incluso”, “tanto .. como”, “al igual que”, “igualmente”,
“así mismo”, etc. equivalen al conectivo “”.
Es una parte de la lógica que tiene como objeto de estudio la
proposición y la relación existente entre ellas, así como la función
que tienen las variables proposicionales y los conectivos lógicos.

PROPOSICIÓN LÓGICA:
Es aquella expresión u oración coherente que puede calificarse o
bien como verdadero (V) o bien como falso (F) pero no los dos a 3. La Disyunción Inclusiva o Débil: “p  q”
la vez y sin ambigüedad. Se lee: “p o q”
Las proposiciones lógicas se representaran mediante letras Ejemplo:
minúsculas del abecedario (…p,q,r,s,…) a los cuales se Junior es ingeniero  o Carlos es abogado .
denominará variables proposicionales.       
p q
Ejemplos:
Los términos: “a menos que”, “excepto” , “salvo”
p: “Lima es una ciudad europea” (F)
q: “El rio Amazonas pasa por la selva” (V) equivale al conectivo “”.
r: “(10-3) x 2<18 (V)

p : 5+4=8 ( F )
q : Todo hombre es mortal. ( V )
r : El libertador Simón Bolívar nació en Lima. ( F )
s : 14 es un número primo. ( F ) 4. a Disyunción Exclusiva o Fuerte: “p  q”
Se lee: “O p o q”
Ejemplo:
CLASES DE PROPOSICIONES O bien Miguel juega o bien
 estudia
.
   
Proposición Simple o Atómica p  q
Es aquella proposición con un solo significado. “Salvo que” equivale al conectivo “”.
Carente de conjunciones gramaticales y del adverbio de negación
“no”.
Ejemplos:
“El acero es resistente”
“6 y 7 son número consecutivo”
Proposición Compuesta Molecular
Son aquellos que tienen dos o mas significados unidos por 5. La Condicional o Implicación: “p → q”
conjunciones gramaticales o, en todo caso, contienen el adverbio p → q
   
de negacion “no”. antecedent e consecuent e
Ejemplos: Se lee:
Hoy dia es martes y estudiaremos aritmética “Si … entonces…”; “Si … , … ” ; “ …por lo tanto… ” ; “…
“no es cierto que el perro ladre” luego …” ; “… de ahí que …”; “… implica …” ; “… de
modo que …”; “… deviene …”; “… conclusión …” ; “dado
PROPOSICIONES COMPUESTAS BÁSICAS … por eso …” ; “…por consiguiente …”; “… en
1. La Negación: (p) consecuencia …”; “… en conclusión …”
Se lee: “No p” ; “No es cierto que p” Ejemplo:
Ejemplo: Si Jorge trabaja entonces  progresará .
      
No iré a jugar el domingo .
       p → q
 p  
antecedent e consecuent e
El término “No” es utilizado para negar una proposición
simple.
No es cierto que ..... o .....
p  q
Expresiones como:
“No es cierto que”, “No es correcto que”, “Es falso que”,
“Es mentira que”, “No es verdad que” son utilizados para 6. La Bicondicional o Doble Implicación:“p  q”
negar proposiciones compuestas. Se lee: “p si y sólo si q”

Ejemplo:
Ingresas si y solo si estudias
.
    
p  q

Las palabras: “cuando y solo cuando”, “entonces y

2. La Conjunción: “p  q” solamente entonces”, “es idéntico”, “cada vez que y sólo
Se lee: “p y q” si”, p es condición necesaria y suficiente para que q , etc.
Ejemplo: Albis es equivalen al conectivo “”.
 médico
  y Milagros es enfermera.
  
p  q

Las palabras:
“pero”, “aunque”, “sin embargo”, “además”,

5TO SEC Pátapo / Carretera a Pucalá - Av. Los Pinos N° 11 – Pátapo 962536178 Página 1
 PROF: CARLOS NIÑO
TABLA DE VERDAD PARA OPERADORES LÓGICOS

Indicar si la siguiente matriz es tautología, contradictorio o

ESQUEMA MOLECULAR contingente
Es una fórmula lógica que resulta de la combinación de
variables proposicionales, conectivos lógicos y signos de 7) Construir una tabla de verdad para (pq)→p
colección. Indicar si la siguiente matriz es tautología, contradictorio o
Ejemplos: contingente
A = (p → q)  (p  r) ….
Esq. Molecular Conjuntivo 8) Construir una tabla de verdad para (~p  q)  (p  q)
Indicar si la siguiente matriz es tautología, contradictorio o
B = (p  q) → [(r  s)  r] … contingente
Esq.Molec. Cond.
9) Construir una tabla de verdad para (p  ~q) → (p  ~q)
TIPOS DE ESQUEMAS MOLECULARES Indicar si la siguiente matriz es tautología, contradictorio o
A. AUTOLOGÍA(T) contingente
Si todos los valores de la matriz principal de la Tabla
de Verdad son verdaderos. 10) Construir una tabla de verdad para ~(q → p)  (p  ~q)
Indicar si la siguiente matriz es tautología, contradictorio o
B. CONTRADICCIÓN:(⊥) contingente
Si todos los valores de la matriz principal de la Tabla
de Verdad son falsos. 11) Construir una tabla de verdad para (~p  ~q)  (p  q)
Indicar si la siguiente matriz es tautología, contradictorio o
C. CONTINGENCIA O CONSISTENCIA:(Q) contingente
Si en la matriz principal de la Tabla de Verdad hay
por lo menos una verdad y por lo menos una falsedad. 12) Construir una tabla de verdad para (p→q) (q→p) →(p~q)
Indicar si la siguiente matriz es tautología, contradictorio o
Operación
Símbolo Esquema Significado contingente
Lógica
 Negación p no p 13) Construir una tabla de verdad para ( p <=> q ) => p
 Conjunción pq pyq Indicar si la siguiente matriz es tautología, contradictorio o
Disyunción contingente
 pq poq
Inclusiva

Disyunción
pq opoq 14) Construir una tabla de verdad para ( p v q ) <=> (  p => q )
Exclusiva Indicar si la siguiente matriz es tautología, contradictorio o
si p, entonces contingente
→ Condicional p→q
q
 Bicondicional pq
p, si y sólo si 15) Construir una tabla de verdad para  ( p ^ q ) v q ] ^  q
q Indicar si la siguiente matriz es tautología, contradictorio o
I Negación Alterna pIq no p o no q contingente
Negación
↓ p↓q ni p ni q
Conjunta 16) Construir una tabla de verdad para  ( p ^  q )
EJERCICIOS Indicar si la siguiente matriz es tautología, contradictorio o
contingente
1) Construir una tabla de verdad para (p v ~q)  (p → ~q)
Indicar si la siguiente matriz es tautología, contradictorio o
17) Construir una tabla de verdad para ( p => q ) v ( p <=> q )
contingente
Indicar si la siguiente matriz es tautología, contradictorio o
contingente
2) Construir una tabla de verdad para (p) (p v q) →q
Indicar si la siguiente matriz es tautología, contradictorio o
18) Construir una tabla de verdad para [ ( p ^ q ) v q )] ^ ~ q
contingente
Indicar si la siguiente matriz es tautología, contradictorio o
contingente
3) Construir una tabla de verdad para p  (p)  ( q) 
Indicar si la siguiente matriz es tautología, contradictorio o 19) Construir una tabla de verdad para ( p ^ ~ q ) <=> ~ ( ~ p v q )
contingente Indicar si la siguiente matriz es tautología, contradictorio o
contingente
4) Construir una tabla de verdad para ~(p  q)  (q  ~p)
Indicar si la siguiente matriz es tautología, contradictorio o 20) Construir una tabla de verdad para ~ (~ p ^ ~ q)
contingente Indicar si la siguiente matriz es tautología, contradictorio o
contingente
5) Construir una tabla de verdad para (pq)(pq)
Indicar si la siguiente matriz es tautología, contradictorio o 21) Construir una tabla de verdad para 𝑝 ∧ [(∼ 𝑝 → 𝑞) ∨∼ 𝑞]
contingente Indicar si la siguiente matriz es tautología, contradictorio o
contingente
6) Construir una tabla de verdad para (p  ~q) → (~p  q)

5TO SEC Pátapo / Carretera a Pucalá - Av. Los Pinos N° 11 – Pátapo 962536178 Página 2
 PROF: CARLOS NIÑO
22) Construir una tabla de verdad para   ( p <=> q ) => r ] 39) Si: (𝑝 ∧ 𝑞) → (~𝑞 ∨ ~𝑟) es falso. Hallar los valores de p ; q
Indicar si la siguiente matriz es tautología, contradictorio o ; y r.
contingente
40) Si la proposición: (𝑝 ∧∼ 𝑞) ∧∼ 𝑟 es verdadera. Hallar el valor
23) Construir una tabla de verdad para de p ; q ; r.
[( p => q ) ^ ( q => r )] => ( p => r)
Indicar si la siguiente matriz es tautología, contradictorio o 41) Si la proposición: [(∼ 𝑝 ∨ 𝑞) ∨∼ 𝑟] es falsa. Hallar el valor de
contingente p ; q ; r.

24) Construir una tabla de verdad para 42) Si las proposiciones p=V ; q=F y r=F Hallar el valor de
∼ [(∼ 𝑝 ⟶ 𝑟) ∨∼ 𝑞] ∧ [(∼ 𝑝 → 𝑞) ∧∼ 𝑟] verdad de:
Indicar si la siguiente matriz es tautología, contradictorio o ➢ (𝑝 ∨∼ 𝑟) ∧∼ 𝑞
contingente ➢ [(𝑝 → 𝑟) ∨ 𝑞] ∧ 𝑝
➢ [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟)] ∨ 𝑝
25) Construir una tabla de verdad para
[∼ 𝑝 ∨ (∼ 𝑞 ∧ 𝑟)] → [∼ 𝑟 → (∼ 𝑝 ∧ 𝑞)]
43) El esquema:(𝑝 → 𝑞) ∨∼ 𝑟 es falso. Hallar el valor de verdad
Indicar si la siguiente matriz es tautología, contradictorio o
de:
contingente
➢ (𝑝 ∧ 𝑞) → 𝑟
26) Construir una tabla de verdad para ➢ (𝑞 → 𝑝) ∧ 𝑟
[(𝑝 ∧∼ 𝑞) → (∼ 𝑟 ∨ 𝑝)] ∧ [∼ (𝑟 ⟷∼ 𝑞) ⟶ (𝑝 ⟶ 𝑟)] ➢ 𝑝 → (𝑞 ∧ 𝑟)
Indicar si la siguiente matriz es tautología, contradictorio o ➢ 𝑝 ∧ (𝑞 ∨ 𝑟)
contingente
44) Si las proposiciones p=V ; q=F . Hallar el valor de verdad
27) Construir una tabla de verdad para (∼q Δ p) ∧ (∼p ∧ r) de:
Indicar si la siguiente matriz es tautología, contradictorio o ➢ (𝑝 ∧ 𝑞) → 𝑟
contingente ➢ (𝑞 → 𝑝) ∧ 𝑟

28) Construir una tabla de verdad para (q ∨∼ p)→ (∼p ∧ r)
Indicar si la siguiente matriz es tautología, contradictorio o
contingente
29) Construir una tabla de verdad para (q ∧∼ p)→ (p ∨ r)
Indicar si la siguiente matriz es tautología, contradictorio o
contingente
30) Construir una tabla de verdad para (q ∧∼ p)→ (∼p ∨ r)
Indicar si la siguiente matriz es tautología, contradictorio o
contingente
31) Construir una tabla de verdad para (q ∨∼ p)→ (p ∨ r)
Indicar si la siguiente matriz es tautología, contradictorio o
contingente
32) Construir una tabla de verdad para (~p → q)  (p  ~q)
Indicar si la siguiente matriz es tautología, contradictorio o
contingente
45) Si: (𝑝 → 𝑟) → (𝑞 → 𝑟) es falso. Hallar los valores de p ; q ; y r.
46) Si el esquema:(~𝑝 → 𝑞) ∨ (𝑟 ∨ 𝑠) es falso, hallar los valores
de p ; q ; r ; s.
47) El esquema siguiente es verdadero:
[𝑞 ∧ (𝑝 ∨ 𝑟)] ↔ [𝑝 ∨ (𝑟 → 𝑠)] Sabiendo que q=F.
Hallar el valor de p ; r ; s.
48) Hallar la matriz principal de: (𝑝 ∨ 𝑞) → (𝑝 ∨∼ 𝑞)
49) Encontrar la matriz principal de: [(𝑝 → 𝑞) ∧∼ 𝑞] → ~𝑝
50) Hallar la matriz principal de: [(𝑝 → 𝑞) ∧ 𝑝 ] → 𝑞
51) Encontrar la matriz principal de: [(𝒑 ∨ 𝒒) → 𝒓] ↔ ~𝒑
52) Encontrar la matriz principal de: (𝑝 ∨ 𝑞) → (𝑝 ∨ 𝑞)
53) Encontrar la matriz principal de: [(𝑝 ∨ 𝑞) ∧∼ 𝑞] → 𝑞

33) Construir una tabla de verdad para (pq)(pq) 54) Hallar el tipo de esquema de: (𝑞 ∧∼ 𝑟) → 𝑝
Indicar si la siguiente matriz es tautología, contradictorio o
contingente 55) Hallar la matriz principal de: (𝑝 ↔ 𝑞) ∧ (𝑟 △∼ 𝑝)

34) Construir una tabla de verdad para (p  ~q) → (~p  q)

Indicar si la siguiente matriz es tautología, contradictorio o
contingente
PROF: CARLOS NIÑO MENDOZA
35) Si el esquema: (~𝑝 ∧ 𝑟) → 𝑞 es falso, hallar los valores
de p ; q ; r. CURSO: ÁLGEBRA
36) Si las proposiciones p=V ; q=F y r=F Hallar el valor de
verdad de:
➢ (𝑝 ∧ 𝑞) ∧∼ 𝑟
➢ [(𝑝 ∧ 𝑟) ∨∼ 𝑞] ∧∼ 𝑝
➢ [(𝑝 ∨ 𝑞) ∧ (𝑞 ∨ 𝑟)] ∨ 𝑟

37) Si el esquema: (~𝑝 ∨ 𝑟) ∨ (𝑞 → 𝑠) es falso, hallar los valores

de p ; q ; r ; s.

38) El esquema siguiente es falso:

[𝑝 → (𝑞 ∧ 𝑟)] → [𝑝 → (𝑠 ∨ 𝑡)] y p=V
Hallar el valor de q ; r ; s y t.

5TO SEC Pátapo / Carretera a Pucalá - Av. Los Pinos N° 11 – Pátapo 962536178 Página 3