CAPÍTULO

9 LÓGICA PROPOSICIONAL II

Objetivos
¾¾ Reconoce y aplica las leyes lógicas en problemas y situaciones ma-
temáticas.
¾¾ Reduce expresiones lógicas complejas e infiere los valores de las
proposiciones.

Sabías que...
Importancia de la lógica matemática
La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio
matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas.
La lógica matemática tiene estrechas conexiones con las ciencias de la computación y la ló-
gica filosófica. La lógica matemática estudia los sistemas formales en relación con el modo
en el que codifican nociones intuitivas de objetos matemáticos como conjuntos, números,
demostraciones y computación.
La lógica matemática suele dividirse en cuatro subcampos: teoría de modelos, teoría de la
demostración, teoría de conjuntos y teoría de la recursión. La investigación en lógica mate-
mática ha jugado un papel fundamental en el estudio de los fundamentos de las matemáticas.
Actualmente se usan indiferentemente como sinónimos las expresiones: lógica simbólica (o
logística), lógica matemática, lógica teorética y lógica formal.
La lógica matemática no es “lógica de las matemáticas” sino la “matemática de la lógica”.
Incluye aquellas partes de la lógica que pueden ser modeladas y estudiadas matemáticamente.
La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y téc-
nicas determina si un argumento es válido. La lógica es ampliamente aplicada en la filosofía
para determinar si un razonamiento es válido o no, ya que una frase puede tener diferentes
interpretaciones, sin embargo la lógica permite saber el significado correcto. En los mate-
máticas para demostrar teoremas e inferir resultados matemáticos que puedan ser aplicados
en investigaciones. En la computación para revisar programas. En general la lógica se aplica
en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lógico, por
ejemplo; para ir de compras al supermercado una ama de casas tiene que realizar cierto pro-
cedimiento lógico que permita realizar dicha tarea. Si una persona desea pintar una pared,
este trabajo tiene un procedimiento lógico que permita realizar dicha tarea. Si una persona
desea pintar una pared, este trabajo tiene un procedimiento lógico, ya que no puede pintar si
antes no prepara la pintura, o no debe pintar la parte alta porque se mancharía lo que ya tiene
pintado, también dependiendo si es zurdo o derecho, él puede pintar de izquierda a derecha
o de derecha a izquierda según el caso, todo esto es la aplicación de la lógica.
La lógica es pues muy importante; ya que permite resolver incluso problemas a los que
nunca se ha enfrentado el ser humano utilizando solamente su inteligencia y apoyándose de
algunos conocimientos acumulados, se pueden obtener nuevos inventos innovaciones a los
ya existentes o simplemente utilización de los mismos.

7
 Módulo 3 - Ciencias - Ciclo virtual uni
A ritmética

El orden en que presenta el documento es el siguiente: Primeramente se establece la importancia de la lógica mate-
mática, después definimos el concepto de proposición. Se establece el significado y utilidad de conectivos lógicos
para formar proposiciones compuestas. Más tarde abordamos las proposiciones condicionales y bicondicionales.
Definimos tautología, contradicción y contingente, y proporcionamos una lista de las tautologías más importantes,
así mismo explicamos a que se le llama proposiciones lógicamente equivalente apoyándonos de tablas de verdad.
Para finalizar; abordamos los métodos de demostración: directo y por contradicción, en donde incluye reglas de
inferencia.
En este capítulo se trata además de presentar las explicaciones con ejemplos que les sean familiares. Nuestro
objetivo es que el alumno aprenda a realizar demostraciones formales por el método directo y el método por con-
tradicción. Ya que la mayoría de los libros comerciales únicamente se quedan en explicación y demostración de
reglas de inferencia. Consideramos que sí el alumno aprende lógica matemática no tendrá problemas para aprender
ciencias exacta y será capaz de programar computadoras, ya que un programa de computadora no es otra cosa que
una secuencia de pasos lógicos, que la persona establece para resolver un problema determinado.
Es importante mencionar que en las demostraciones no hay un solo camino para llegar al resultado. El camino pue-
de ser más largo o más corto dependiendo de las reglas de inferencia y tautologías que el alumno seleccione, pero
definitivamente deberá llegar al resultado. Puede haber tantas soluciones como alumnos se tenga en clase y todas
estar bien. Esto permite que el estudiante tenga confianza en la aplicación de reglas y fórmulas. De tal manera que
cuando llegue a poner en práctica esto, el sea capaz de inventar su propia solución, porque en la vida cada quien
resuelve sus problemas aplicando las reglas de inferencia para relacionar los conocimientos y obtener el resultado.

Albert Einstein

8
Módulo 3 - Ciencias - Ciclo virtual uni

Helicoteoría

A ritmética
EVALUACIÓN DE LOS ESQUEMAS MOLECULARES

Consiste en obtener el valor o los valores del conjunto ló- TAUTOLOGÍA, CONTRADICCIÓN Y CONTIN-
gico de mayor jerarquía a partir de los valores veritativos GENCIA
de cada una de las variables proposicionales. Tautología
Ejemplo Es toda proposición cuyo valor de verdad es siempre
verdadero (V), para cualquier combinación de valores de
Evalúe el siguiente esquema:
verdad de sus componentes, se le denota por V.
(p ∧ ∼q) ∨ (q → p) Ejemplo
p q (p ∧ ∼q) ∨ (q → p) La proposición p→(p∨q)
V V V F F V V V V
p q p → (p∨q)
V F V V V V F V V V V V V V
F V F F F F V F F V F V V V
F F F F V V F V F F V F V V
F F F V F
Matriz
principal (2) (1)

JERARQUÍA DE CONECTORES LÓGICOS EN Entonces: p→(p∨q)≡V

FORMA DESCENDENTE Contradicción
1.° Biimplicador (↔) Es toda proposición cuyo valor de verdad es siempre falso
2. ° Disyuntor fuerte (∆) (F), para cualquier combinación de valores de verdad de
sus componentes, se le denota por F.
3. ° Condicional (→)
4. ° Conjunción y disyunción (∧ ∨) Ejemplo
La proposición (p∧q)∧∼q
5. ° Negación (∼)
p q (p ∧ q) ∧ ∼q
V V V F F
JERARQUÍA EN EL ESQUEMA MOLECULAR
V F F F V
Dentro de la estructura de un esquema molecular solo uno
de los conectivos lógicos es de mayor jerarquía, el cual va F V F F F
a dar el nombre al esquema molecular. Para ello se debe
F F F F V
tener en cuenta el correcto uso de los signos de colección
entre las diferentes variables proposicionales.
Ejemplo Entonces: (p∧q)∧∼q≡F

2 3 Contingencia
4 1 3 2 3
{∼ [p ∧ (q ∨ r)]}→{(p ∨ q)↔(p ∧ r)} Es toda proposición cuyo valor de verdad tiene al menos
un verdadero (V) y un falso (F).
La jerarquía es la siguiente Ejemplo
1. Primera jerarquía La proposición (p∨q)→∼p

(Nombre del esquema molecular: condicional) p q (p∨q) → ∼p

2. Segunda jerarquía V V V F F

3. Tercera jerarquía V F V F F
4. Cuarta jerarquía F V V V V
F F F V V

9
 Módulo 3 - Ciencias - Ciclo virtual uni

Implicación lógica Se puede decir también que dos proposiciones son ló-
A ritmética

Es aquella condicional que resulta ser una tautología y se gicamente equivalentes cuando la proposición bicondi-
denota p⇒q y se lee “p implica a q”. cional que las vincula es una tautología, es decir si
(p ↔ q) → (p ≡ q)
Ejemplo
Ley lógica
(∼p∨q)→(∼q→∼p)
A B LEYES DE ÁLGEBRA PROPOSICIONAL
p q ( ∼ p ∨ q) → (∼q → ∼q) Son equivalencias lógicas que nos permiten reducir esque-
mas moleculares complejos y expresarlos en forma más sen-
V V F V V V F V F
cilla. Las demostraciones de dichas leyes se hacen constru-
V F F F F V V F F yendo la tabla de verdad en cada caso.

F V V V V V F V V 1. Involución o doble negación

F F V V F V V V V ∼(∼p)≡p
2. Idempotencia
Como (A→B) es una tautología. a. Con respecto a la disyunción

Entonces A⇒B es una implicación lógica. (p ∨ p) ≡ p

Equivalencia lógica b. Con respecto a la conjunción

Es aquella bicondicional que resulta ser una tautología y (p ∧ p) ≡ p

se denota p⇔q y se lee “p es equivalente a q”. 3. Conmutatividad
Ejemplo a. Con respecto a la disyunción
(p∧∼q)↔∼(∼p∨q)
(p ∨ q) ≡ (q ∨ p)
A B
b. Con respecto a la conjunción
p q ( p ∧ ∼ q) ↔ (∼p∨q)
(p ∧ q) ≡ (q ∧ p)
V V F F F V F F V V
4. Asociatividad
V F F V V V V F F F
a. Con respecto a la disyunción
F V V F F V F V V V
[(p ∨ q) ∨ r] ≡ [p ∨ (q ∨ r)]
F F V F V V V V V F
b. Con respecto a la conjunción
[(p ∧ q) ∧ r] ≡ [p ∧ (q ∧ r)]
Como (A⇔B) es una tautología.
5. Distributividad
Entonces A⇔B es una equivalencia lógica.
a. De la conjunción respecto a la disyunción
Proposiciones lógicamente equivalentes (≡)
[(p ∨ q) ∧ r] ≡ [(p ∧ r) ∨ (q ∧ r)]
Son aquellas que poseen tablas de verdad equivalentes
(iguales) siendo posible el uso de una de ellas por la otra, b. De la disyunción respecto a la conjunción
se denota “p≡q”. [(p ∧ q) ∨ r] ≡ [(p ∨ r) ∧ (q ∨ r)]
Ejemplo
6. Leyes de Morgan
A: p→q
a. ∼ (p ∨ q) ≡ (∼ p ∧ ∼ q)
B: ∼q→∼p
b. ∼ (p ∧ q) ≡ (∼ p ∨ ∼ q)
p q (p → q) ↔ (∼q → ∼p)
V V V V F V F 7. Ley de la identidad

V F F V V F F Se denota: V=Verdadero

F V V V F V V F=Falso

F F V V V V V a. (p ∧ V) ≡ p b. (p ∧ F) ≡ F
c. (p ∨ V) ≡ V d. (p ∨ F) ≡ p
Iguales
→A≡B

10
Módulo 3 - Ciencias - Ciclo virtual uni

8. Ley del complemento Los interruptores pueden estar en serie o paralelo:

A ritmética
a. (p ∧ ∼ p) ≡ F Los circuitos pueden ser:
b. (p ∨ ∼ p) ≡ V Equivalencia Lógica

9. Leyes de absorción Serie p q p∧q

q
a. [p ∨ (p ∧ q)] ≡ p Paralelo p∨q
p
b. [p ∧ (p ∨ q)] ≡ p
p q
c. [p ∨ (∼ p ∧ q)] ≡ (p ∨ q) Mixto (p ∧ q) ∨ (∼ r)
∼r
d. [p ∧ (∼ p ∨ q)] ≡ (p ∧ q)
10. Ley de negación de la condicional
Circuitos lógicos booleanos
∼ (p → q) ≡ (p ∧ ∼ q)
Debido a que una proposición puede ser evaluada y re-
11. Ley de la condicional sultar solo verdadera o falsa, se puede deducir alguna
equivalencia con el álgebra booleana, que maneja sola-
(p → q) ≡ (∼ p ∨ q)
mente dos valores (0 y 1). Las propiedades del cálculo
12. Ley de la condicional contrarrecíproca proposicional son equivalentes a las del álgebra desarro-
(p → q) ≡ (∼ q → ∼ p) llada por Boole.

13. Ley de la bicondicional En el álgebra booleana, una proposición es equivalente

a una variable, y las conectivas lógicas se utilizan como
a. (p ↔ q) ≡ [(p → q) ∧ (q → p)] compuertas lógicas. La figuras muestran las compuertas
b. (p ↔ q) ≡ [(∼ p ∨ q) ∧ (∼ q ∨ p)] lógicas más representativas de esta álgebra. Los esque-
c. (p ↔ q) ≡ [(∼ p ∧ ∼ q) ∨ (p ∨ q)] mas que resultan de aplicar las compuertas lógicas se co-
nocen como circuitos lógicos.
d. (p ↔ q) ≡ [(∼ (p ∨ q) ∨ (p ∧ q)]
14. Ley de la diferencia simétrica
a. p ∆ q ≡ ∼ (p ↔ q) Compuerta AND Compuerta OR Compuerta NOT
b. p ∆ q ≡ (p ∨ q) ∧ ∼ (p ∧ q)
15. Ley de transportación
(p → q) ∧ (q → r) ⇒ (p → r) Compuerta NAND Compuerta NOR

16. Ley de adición Una fórmula del cálculo proposicional se puede repre-
sentar gráficamente usando compuertas lógicas. Como se
p ⇒ (p ∨ q)
observa, para representar fórmulas con condicionales o
17. Ley de simplificación bicondicionales se debe transformar la fórmula para eli-
minarlas.
(p ∧ q) ⇒ p
Ejemplo
CIRCUITOS LÓGICOS
La representación en circuito lógico de (∼ p ∨ q) ∧ (∼ q ∨ r) es
El valor de verdad de una proposición puede asociarse
con interruptores que controlan el paso de la corriente. p
Así si una proposición es verdadera, el interruptor estará
cerrado y la corriente pasará. Si la proposición es falsa, el q
interruptor estará abierto y la corriente no pasará.
(Si la proposición es verdadera)
(Si la proposición es falsa)

P P

r
p≡V p≡F

11
 Módulo 3 - Ciencias - Ciclo virtual uni

Helicosíntesis
A ritmética

LÓGICA PROPOSICIONAL II

Proposiciones compuestas

Se evalúan Se puede
según representar
mediante

Tabla de verdad Circuitos lógicos

Pueden ser
Implicancia lógica (⇒)
 Tautología

 Contradicción Equivalencia lógica (⇔)

 Contingencia

Problemas resueltos

1. Sean p, q, r proposiciones lógicas. Señale la alter- 2. Simplifique la proposición:

nativa que representa la secuencia correcta después
[(∼p ∧ (r ↔ q)) ∧ ∼(p ∧ t ∧ ∼q)] ∨ (p → q)
de determinar si la proposición es verdadera (V) o
falsa (F). (CEPREUNI 2014)
a. (p → q) → r≡p → (q → r) ( ) Resolución
b. (p → q) ∨ p≡q ( )
Por absorción
c. q ∧ (p → ∼q) ≡ ∼ (q → p) ( )
[(∼ p ∧ (r ↔ q)) ∧ ∼ (p ∧ t ∧ ∼q)] ∨ (p → q) ≡
Resolución
Operación del problema [(∼ p ∧ (r ↔ q)) ∧ ∼ (p ∧ t ∧ ∼q)] ∨ (∼ p ∨ q)

a. (p → q) → r≡p → (q → r) ≡ {(∼ p ∧ ((r ↔ q)) ∧ ∼ (p ∧ t ∧ ∼q)] ∨ ∼ q)] ∨ q) ∨ q

Falso. No se cumple la asociatividad. ≡∼p∨q≡p→q

b. (p → q) ∨ p≡q Rpta.: p → q
∼ p ∨ q ∨ p..ley de la condicional
(∼p ∨ p) ∨ q ...ley asociativa
3. Se define p ⊗ ∼ q ≡ [∼ (p ∨ q) ↔ q]. De las siguien-
V∨q Falso.
tes proposiciones
V
c. q ∧ (p → ∼q)≡∼(q → p) I. (q ⊗ p) ∆ (p ⊗ ∼ q)
q ∧ (∼p ∨ ∼q)...ley de la condicional II. (∼ p ⊗ q) ↔ (∼ q ⊗ ∼ p)
q ∧ ∼p ...ley de absorción III. (q ⊗ ∼ q) ↔ (∼ p ⊗ (p ⊗ ∼ q)
∼(∼q ∨ p) ...ley de Morgan IV. ((p ⊗ q) ⊗ q) → (p ⊗ (∼ p ∨ q))
∼(q → p) ...ley de la condicional verdadero
¿Cuántas son tautologías?
Rpta.: FFV

12
Módulo 3 - Ciencias - Ciclo virtual uni

Resolución 5. Halle la expresión que representa al siguiente circuito

A ritmética
p q p⊗∼q [∼(p ∨ q)↔ q] r ∼q q
V V F F F V q
r
V F V F V F ∼r
F V F F F V ∼q r
F F F V F F q ∼r

→ p ⊗ ∼ q ≡ ∼ (p → q) ≡ p ∧ ∼ q ∴ ⊗ ≡ ∧
Resolución
I. (q ⊗ p) ∆ (p ⊗ ∼ q) ≡ (q ∧ p) ∆ (p ∧ ∼ q) ≡ C
Sea la expresión R ≡ P1 ∨ P2 donde
II. (∼ p ⊗ q) ↔ (∼ q ⊗ ∼ p) ≡ (∼ p ∧ q) ↔
P1: ((r ∧ ∼ q) ∨ (q ∨ ∼ r)) ∧ (q ∨ r)
(∼ q ∧ ∼ p) ≡ C
r∨q∨∼r
III. (q ⊗ ∼ q) ↔ (∼ p ⊗ (p ⊗ ∼ q)) ≡ (q ∧ ∼ q) ↔
V
(∼ p ∧ ∼ q)) ≡ F ↔ F ≡ V ...(T)
IV. ((p ⊗ q) ⊗ q) → (p ⊗ (∼ p ∨ q)) ≡ ((p ∧ q) ∧ q) → P1: q ∨ r
→ (p ∧ (∼ p ∨ q)) ≡ (p ∨ q) → (p ∨ q) ≡ V (T)
P2: (∼ q ∧ r) ∨ (q ∧ ∼ r)
Rpta.: Dos
R ≡ P1 ∨ P2 ≡ (q ∨ r) ∨ (∼ q ∧ r) ∨ (q ∧ ∼ r)
(q ∨ (q ∧ ∼r)) (r ∨ (∼ q ∧ r))
≡ ∨
4. Dada las siguientes proposiciones
q r
I. [(p ∧ ∼ t) ∧ ∼ q] ∨ (p ∧ ∼ q)
≡q∨r≡r∨q
II. p ∧ ∼ q ∧ ∼ (q ∧ t)
III. (∼ p ∧ p) ∨ (p ∨ ∼ t) Rpta.: r ∨ q

¿Cuál(es) es (son) equivalente(s) a la proposición

(q → ∼ t) ∧ ∼ (p → q)?
Resolución
(q → ∼ t) ∧ ∼ (p → q) ≡ (∼ q ∨ ∼ t) ∧ ∼ (∼ p ∨ q) ≡
(∼ q ∨ ∼ t) ∧ (p ∧ ∼ q) ≡ p ∧ (∼ q ∨ ∼ t) ∧ ∼ q ≡ p ∧ ∼ q
I. [(p ∧ ∼ t) ∧ ∼ q] ∨ (p ∧ ∼ q) ∧ ∼ t] ∨ (p ∧ ∼ q) ≡
p∧∼q
II. p ∧ ∼ q ∧ ∼ (q ∧ t) ≡ p ∧ ∼ q
III. (∼ p ∧ p) ∨ (p ∨ ∼ t) ≡ p ∨ ∼ t
Rpta.: I y II

13
 Módulo 3 - Ciencias - Ciclo virtual uni

Helicopráctica
A ritmética

Nivel I
1. Usando las leyes lógicas, simplifique la fórmula lógica 3. Si p ♣ q se define por la tabla

∼ [(p → (∼ p ∧ ∼ q)) ∧ (p ∧ (p ∨ q))] p q p♣q

V V V
Resolución
V F V
F V F
F F V
Simplifique (p ♣ q) ♣ q.
Resolución

4. Si se define p*q, por la tabla

2. Si se define
p ∆ q ≡ (p ∧ ∼ q) ∨ (q ∧ ∼ p) p q p*q
V V V
Simplifique ∼ [(p ∆ ∼ q) → ∼ q].
V F V
Resolución F V F
F F V
Simplifique (p*q)*p.
Resolución

14
Módulo 3 - Ciencias - Ciclo virtual uni

Nivel II

A ritmética
7. De los siguientes esquemas
5. Simplifique M=[(∼ p ∨ q) → (∼ q ∨ p)] ∧ ∼ (p ∧ q).
¾¾ (q → r) ∨ (∼ p → r) ( )
Resolución
¾¾ [p ∧ (p → q)] → p ( )
¾¾ [(∼ p ∧ q) → ∼ r] → ∼[r ∧ ∼ (p ∨ ∼ q)] ( )
Indique cuál es tautología (T), contingencia (S) o
contradicción (C).
Resolución

6. Simplifique ∼ [(∼ p → q) ↔ ∼ p] → [q → (p → ∼ q)]. 8. Dado el siguiente enunciado

Resolución ∼ [{∼([p ∨ q] ∧ p) → ∼(q ∧ r)} ∨ q]
Según su tabla de verdad, podemos decir que dicha
proposición es una
A) tautología. B) contradicción.
C) contingencia. D) ley lógica.
E) equivalencia.
Resolución

15
 Módulo 3 - Ciencias - Ciclo virtual uni

Nivel III
A ritmética

11. Simplifique la proposición que corresponde al cir-

9. Si se define: p ∆ q ≡ (p ∧ ∼ q) ∨ (q ∧ ∼ p)
cuito
Simplifique ∼ [(p ∆ ∼ q) → ∼ q]. q
Resolución ∼p
q p
∼q
p

Resolución

10. Halle la proposición equivalente al circuito lógico 12. Dado el siguiente circuito
p q p
q
∼q
∼p
p
s
q

Resolución Si s es falsa, ¿cuáles son los valores de verdad de p

y q respectivamente?
Resolución

16
Módulo 3 - Ciencias - Ciclo virtual uni

Helicotaller

A ritmética
Nivel I
1. Usando las leyes lógicas, simplifique la fórmula 3. Si p*q se define por la tabla

∼ [q → (p → ∼ q)] ∼ → [(∼ p → q)→ ∼ p] p q p*q

Resolución V V V
V F F
F V F
F F V
Simplifique (p*q)*q.
Resolución

Nivel II
2. Se define el operador lógico“#” mediante la siguien- 4. Halle el equivalente a la siguiente fórmula lógica.
te tabla
∼ (q ∧ ∼ p) ∧ (∼ (∼ p) ∨ ∼ q)
p q p#q
Resolución
V V F
V F V
F V F
F F F
Halle la proposición lógica equivalente a
(∼ q) # (∼ p # q).
Resolución

17
 Módulo 3 - Ciencias - Ciclo virtual uni

Nivel III
A ritmética

5. ¿Cuáles de las siguientes proposiciones son tautolo- 7. Simplifique

gías?
[[∼ q → ∼ p] → [∼ p → ∼ q]] ∧ ∼ (p ∧ q)
I. (p → q)→ (∼p → ∼q)
Resolución
II. p → p
III. p → (p ∨ q), para cualquier proposición q.
Resolución

8. Halle el circuito lógico equivalente más simple al

6. Simplifique ∼ [(∼ p ∧ q) → q] ∨ q. siguiente circuito
Resolución p ∼p
q ∼q s t
t s
A B
∼p p q r
p q ∼q
∼r
p ∼q

Resolución

18
Módulo 3 - Ciencias - Ciclo virtual uni

Test 1

A ritmética
Nivel I Nivel II
1. Usando las leyes lógicas, simplifique la fórmula lógica. 3. De las siguientes proposiciones
[p ∧ (q ∨ r)] ∨ [r ∧ (p ∨ q)} ∨ [(p ∨ q) ∧ (q ∨ r)] I. [(r ∧ ∼ t) ∧ ∼ s] ∨ (r ∧ ∼ s)
A) q ∨ (p ∧ r) B) p ∨ (q ∧ r) II. (r ∨ ∼ t) → (∼ s ∧ r)
C) p ∧ (q ∨ r) D) q ∧ (p ∨ r) III. (r ∧ ∼ s) ∧ ∼ (s ∧ t)
E) r ∨ (p ∨ r) ¿Cuáles son equivalentes a la proposición
[(∼ s ∨ ∼ t) ∧ ∼ (r → s)]?
2. Clasifique las siguientes proposiciones A) Solo III B) I y III C) I y II
¾¾ (p → r) → ∼ q ( ) D) II y III E) Solo I
¾¾ (∼ q ∨ p) ∆ [p ∆ (p ∨ q)] ( )
¾¾ (q ∆ ∼ p) ↔ (p ∆ q) ( ) 4. Halle el equivalente de
q q ∼p
como tautología (T), contradicción (F) o contingen-
cia (C).
∼q ∼p q
A) TFC B) FTC C) TCF
A) p ∧ q B) ∼ p ∧ q C) p ∧ ∼ q
D) CTF E) CCT
D) ∼ (p ∧ q) E) p

Nivel III
5. Reduzca p ∨ (r ∧ ∼ q) ∨ (∼ r ∧ ∼ q).
A) ∼ q B) ∼ r ∧ q C) p ∨ q
D) p → q E) q → p

Test 2

Nivel I A) V B) F C) p

1. Dado el siguiente enunciado: D) q E) p ∨ q

∼ [{∼ ([p ∨ q] ∧ p) → ∼ (q ∧ r)} ∨ q]

Según su tabla de verdad, podemos decir que dicha Nivel II
proposición es una: 3. Determine si los siguientes esquemas son tautológi-
cos o contradictorios.
A) Tautología. B) Contradicción.
I. (r ∧ s) (r → ∼s)
C) Contingencia. D) Ley lógica.
II. [(∼ p ∨ q) → p] ↔ ∼ p
E) Equivalencia lógica.
III. ∼ (p → q) ↔ [(p ↔ ∼ q) ∧ (p ∨ q) ∧ p]

2. Reduzca A) CTT B) CCT C) CTC

{[(p → q) ∨ (p ↔ q)] → q} ∧ (q → p) D) CCC E) TCC

19
 Módulo 3 - Ciencias - Ciclo virtual uni

4. Simplifique y dé el equivalente del siguiente circuito Nivel III

A ritmética

lógico:
5. Dadas las proposiciones q: 4 es un número impar,
∼q
p y r cualesquiera tal que ∼ [(r ∨ q) → (r → p)] es
∼p
verdadera; halle respectivamente el valor de
∼p q
I. r → (∼ p ∨ ∼ q)
p
II. [r ↔ (p ∨ q))] ↔ (q ∧ ∼ p)
∼p
∼q III. (r ∨ ∼ p) ∧ (q ∨ p)
A) VVF B) FFF C) VVV
A) p ∨ ∼ q B) p ∨ q C) q ∨ ∼ q
D) VFV E) FFV
D) ∼ p E) p → q

Helicodesafío

1. Empleando las leyes lógicas, halle el equivalente de 4. Se define p q q ≡ [∼ q ∨ (p ∨ q)] ∧ [q ∨ ∼ (p ∧ q)].

la fórmula lógica Indique caso si es tautología (T), contradicción (A)
∼ [∼ (p ∧ q) → ∼ q] ∨ q o contingencia (C).
A) q B) ∼ q C) V ¾¾ ∼ (p q q) ↔ ∼ (q → p) ( )
D) F E) p ¾¾ ∼ [q ∨ (∼p q q)] ( )
¾¾ (∼ p ∧ q) ∨ [(p q q) ∨ r] ( )
2. ¿Cuántas de las siguientes proposiciones son tautolo-
A) TCA B) CTA C) TAC
gías?
D) TAA E) TCA
I. ∼ q → (∼ q ∧ p)
II. (p ∧ ∼ q) → ∼ q
5. Si p(x): x3=8
III. (∼ q → p) ∨ (∼ p ∨ q)
q(x): x2=9
IV. ∼ (q → p) ∧ q
Escriba verdadero (V) o falso (F) según correspon-
A) 0 B) 1 C) 2
da, luego marque la alternativa correcta.
D) 3 E) 4
¾¾ p(2) p(3) q(3)

3. Simplifique ∼ (q ∨ ∼ r) → (p ∨ ∼ r) ¾¾ p(4) q(3)

A) p B) q C) p ∧ q p(2)

D) F E) V ¾¾

q(3)

A) VVV B) FFF C) VVF

D) FFV E) FVF

20