Sustentacion Tarea 3
Sustentacion Tarea 3
Sustentacion Tarea 3
SUSTENTACION UNIDADES 1 Y 2
ELKIN BARREIRO
Usuarios
de office
Filosofía 49 Ingles 45
13 10 7
18
8 10
12
Español 48
2. Problemas de aplicación
Expresión simbólica:
[ ( p → s ) ∧ ( q → r ) ∧ ( p ∧ q ) ]⟶( s ∧r )
Premisas:
P1: p → s
P2: q → r
P3: p ∧q
Conclusión: s ∧r
Desarrollo
Preposiciones simples
p: Wilmer es un buen estudiante
q: es inteligente
r: estudia mucho
s: saca buenas calificaciones
Simulador
Tabla de verdad
p q r s ( p → s) (q → r ) ( p ∧q ) ( s ∧r ) ( p → s) ∧ ( q → r ) [ ( p → s ) ∧ ( q → r ) ∧ ( p ∧ q ) ] [ ( p → s ) ∧ ( q → r ) ∧ ( p ∧ q ) ]⟶( s ∧r )
V V V V V V V V V V V
V V V F F V V F F F V
V V F V V F V F F F V
V V F F F F V F F F V
V F V V V V F V V F V
V F V F F V F F F F V
V F F V V V F F V F V
V F F F F V F F F F V
F V V V V V F V V F V
F V V F V V F F V F V
F V F V V F F F F F V
F V F F V F F F F F V
F F V V V V F V V F V
F F V F V V F F V F V
F F F V V V F F V F V
F F F F V V F F V F V
Leyes de inferencia (S: simplificación; PP: Ponendo Ponens; A: Adjunción)
Premisas
P1: p → s
P2: q → r
P3: p ∧q
Conclusión: s ∧r