Documentos de Académico
Documentos de Profesional
Documentos de Cultura
29
Expresión simbólica: [ ( p ∨q ) ∧ ( p → r ) ∧ ( q → s ) ⋀ (¬ r) ] → s
Premisas:
P1: p ∨q
P2: p →r
P3: q → s
P4: ¬ r
Conclusión: s
Proposiciones simples
p: estudio ingeniería ambiental a distancia
q: estudio de manera presencial
r: tengo un plan interesante
s: manejo una educación auto encaminada
Lenguaje natural
Estudio ingeniería ambiental en una universidad a distancia O estudio de manera
presencial Y estudio ingeniería ambiental una universidad a distancia ENTONCES
Tengo un plan interesante Y estudio de manera presencial ENTONCES manejo
una educación auto encaminada Y no tengo un plan interesante es decir que
manejo una educación auto encaminada.
Simulador Truth Table
Tabla de verdad
Tautología.
P1: p ∨q
P2: p →r
P3: q → s
P4: ¬ r
_________________________________
P5: ~p Modus tollens (P2) (P4)