Академический Документы
Профессиональный Документы
Культура Документы
50 prefieren Industrial.
47 prefieren Sistemas.
35 prefieren Electrónica.
33 29
9
6 7
13
E 84
9
U=183
I=50
S=47
E=35
SnE=16
InS=11
InE=15
InSnE=9
I=50-2-9-6=33
S=47-2-9-7=29
E=35-6-9-7=13
U=183-99=84
¿Cuántos aspirantes fueron encuestados?
U=183
Conclusión: sΛ(q→r)
Desarrollo:
p: Estudio en la unad
q: Estudio economía
s: Gano el semestre
p q r s ((p→(q→r))∧(r∧p)∧(s∨q)∧~q)→s∧(q→r)
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
p q r s - q→ r∧p s∨q
q r ((p→(q→r))∧(r∧p)∧(s∨q)∧~q)→s∧(q→r)
v v v v f f v f v
v v v f f f v v v
v v f v f v f f v
v v f f f v f v v
v f v v v v v v v
v f v f v v v v v
v f f v v v f v v
v f f f v v f v v
f v v v f f f f v
f v v f f f f v v
f v f v f v f f v
f v f f f v f v v
f f v v v v f v v
f f v f v v f v v
f f f v v v f v v
f f f f v v f v v
((p→(q→r))∧(r∧p)∧(s∨q)∧~q)→s∧(q→r)
leyes de inferencia
P1: (q→r)
P2: (r∧p)
P3: (s∨q)
Conclusión: