Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Premisas:
P1: 𝑟→¬𝑞
P2: 𝑝∨ 𝑠
P3: 𝑞∧ 𝑝
Conclusión: ¬𝑟
ejemplo:
Las proposiciones simples deben ser de autoría de cada estudiante, por lo que de
encontrar proposiciones iguales entre estudiantes se considerara como copia y se
Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
de acceso al recurso)
Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En
lógica
Solución
p: asisto a la escuela
q: estudio
r: me duermo temprano
s: repruebo el examen
V V V V V F F F V V V F V V V V F
V V V F V F F F V V F F V V V V F
V V F V F V F F V V V F V V V V V
V V F F F V F V V V F V V V V V V
V F V V V V V F V V V F F F V V F
V F V F V V V V V V F F F F V V F
V F F V F V V F V V V F F F V V V
V F F F F V V V V V F F F F V V V
F V V V V F F F F V V F V F F V F
F V V F V F F F F F F F V F F V F
F V F V F V F V F V V F V F F V V
F V F F F V F V F F F F V F F V V
F F V V V V V F F V V F F F F V F
F F V F V V V V F F F F F F F V F
F F F V F V V F F V V F F F F V V
F F F F F V V F F F F F F F F V V
1. r ⇾ ∼ q premisa
2. p ∨ s premisa
3. q ꓥ p premisa
conclusión ∼r
4. q 3, simplificación