Tutoría 3 Solución
Tutoría 3 Solución
Tutoría 3 Solución
TUTORÍA No 3 DE MATEMÁTICAS
Miércoles, 31 de mayo de 2023
Capítulo Secciones
1. Lógica 1.3 Clase de proposiciones
1.4 Estructura con variables
proposicionales
Solución
Solución
Una proposición compuesta está formada por proposiciones simples y operadores lógicos.
Solución
Una forma proposicional está constituida por variables proposicionales y operadores lógicos
TEMAS DE NIVEL TRANSFERENCIAL BÁSICO:
Solución
5) Si las formas proposicionales 𝑔(𝑝, 𝑞, 𝑟), ℎ(𝑝, 𝑞, 𝑟) son tautologías, entonces ES CIERTO que:
a) 𝑔(1,0,1) ∨ ℎ(0,1,0) es una proposición verdadera
b) 𝑔(0,0,1) ∧ ℎ(1,1,0) es una proposición falsa
c) ℎ(1,1,1) → ¬𝑔(0, 0, 0) es una proposición verdadera
Solución
a) Debido a que 𝑔(𝑝, 𝑞, 𝑟), ℎ(𝑝, 𝑞, 𝑟) son tautologías entonces las proposiciones 𝑔(1,0,1)
y ℎ(0,1,0) son verdaderas, teniendo así 𝑔(1,0,1) ∨ ℎ(0,1,0) ≡ 1 ∨ 1 ≡ 1. Esta opción
es la correcta.
b) Debido a que 𝑔(𝑝, 𝑞, 𝑟), ℎ(𝑝, 𝑞, 𝑟) son tautologías entonces las proposiciones 𝑔(0,0,1)
y ℎ(1,1,0) son verdaderas, teniendo así 𝑔(0,0,1) ∧ ℎ(1,1,0) ≡ 1 ∧ 1 ≡ 1.
c) Debido a que 𝑔(𝑝, 𝑞, 𝑟), ℎ(𝑝, 𝑞, 𝑟) son tautologías entonces las proposiciones ℎ(1,1,1)
y 𝑔(0,0,0) son verdaderas, teniendo así ℎ(1,1,1) → ¬𝑔(0, 0, 0) ≡ 1 → 0 ≡ 0.
Solución
Solución
La proposición es verdadera.
Solución
Si (𝑏 ∧ ¬𝑐) → (𝑐 ∨ 𝑑) ≡ 0 entonces 𝑏 ∧ ¬𝑐 ≡ 1 y 𝑐 ∨ 𝑑 ≡ 0.
Si 𝑏 ∧ ¬𝑐 ≡ 1 entonces 𝑏 ≡ 1 y ¬𝑐 ≡ 1. Así, 𝑐 ≡ 0.
Si 𝑐 ∨ 𝑑 ≡ 0 entonces 𝑐 ≡ 0 y 𝑑 ≡ 0.
𝑏 ≡ 1, 𝑐 ≡ 0, 𝑑 ≡ 0
Reemplazando en cada literal
Solución
10) Suponiendo que las proposiciones 𝑎, 𝑏, 𝑐, 𝑑 poseen los siguientes valores de verdad 0,0,0,0
respectivamente. Construye, de ser posible, una proposición compuesta verdadera usando
las cuatro proposiciones 𝑎, 𝑏, 𝑐, 𝑑 y al menos 5 operadores lógicos.
Solución
[(𝑎 ∨ 𝑐) ∧ (𝑏 ∨ 𝑑)] → (𝑏 ∧ 𝑐)
Ya que
[(0 ∨ 0) ∧ (0 ∨ 0)] → (0 ∧ 0) ≡ [0 ∧ 0] → 0 ≡ 0 → 0 ≡ 1
11) Considere las variables proposicionales 𝑝, 𝑞, 𝑟. Complete el espacio en blanco con algún
operador lógico para que la forma proposicional sea una tautología.
[𝑝 → (¬𝑞 ∨ 𝑟)] [(𝑝 ∧ 𝑞) ∨ 𝑟]
Solución
12) Considere las variables proposicionales 𝑝, 𝑞, 𝑟. Complete el espacio en blanco con algún
operador lógico para que la forma proposicional sea una tautología.
[𝑝 ∧ ¬(𝑟 → 𝑝)] ¬(𝑝 ∧ 𝑞)
Solución
De acuerdo con la tabla de verdad, el operador lógico que hace a la forma proposicional una
tautología es el operador de condicional →.