Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Tutor/a:
Estudiante:
1112763685
Grupo:
200611_398
Ingenieria en Telecomunicaciones
Cartago Valle
02-06-2019
INTRIDUCCION
GENERAL
ESPECIFICOS
e).
ESTRUCTURA
Desarrollo
e. Expresión simbólica: [ ( p ⟶ q ) ∧ ( ∼r ⟶ s ) ∧ ( p ∨ ∼r ) ]⟶ (q ∨ s)
Premisas:
P1:( p ⟶ q )
P2:( ∼ r ⟶ s )
P3: ( p ∨∼ r )
Conclusión: (q ∨ s)
A partir de la expresión simbólica seleccionada, el estudiante
deberá:
p: estudio en la UNAD
p q r s ((p→q)∧(~r→s)∧(p∨~r))→(q∨s)
v v v v V
v v v f V
v v f v V
v v f f V
v f v v V
v f v f V
v f f v V
v f f f V
f v v v V
f v v f V
f v f v V
f v f f V
f f v v V
f f v f V
f f f v V
f f f f V
Generar una tabla de verdad manualmente a partir del lenguaje
P1:( p ⟶ q )
P2:( ∼ r ⟶ s )
P3: ( p ∨∼ r )