El Uso de las reglas de inferencia
Enviado por Ledesma • 19 de Octubre de 2018 • 975 Palabras (4 Páginas) • 349 Visitas
...
TRUE TABLE
[pic 11]
Anexo 2
Algunos cursos del Área de Matemáticas son obligatorios de los programas de Ingeniería en la UNAD.
Todos los cursos de tres (3) créditos son cursos obligatorios de los programas de Ingenierías en la UNAD.
Algunos cursos de tres (3) créditos no son cursos del Área de Matemáticas.
[pic 12][pic 13]
[pic 14][pic 15]
[pic 16][pic 17][pic 18]
- Universal Afirmativo: Todos los cursos de tres (3) créditos son cursos obligatorios de los programas de Ingenierías en la UNAD.
- Particular Afirmativo: Todos los cursos de tres (3) créditos son cursos obligatorios de los programas de Ingenierías en la UNAD.
- Particular Negativo: Algunos cursos de tres (3) créditos no son cursos del Área de Matemáticas.
Anexo 3
( Fase Grupal )
- Para todos es preocupante la situación económica actual que vivimos y que infortunadamente todo está muy costoso y el dinero no alcanza. Clemencia reflexiona acerca de su proceder con su propia economía y su esposo reflexiona lo siguiente: “Clemencia mi esposa escribe su lista de gastos y ella consigue un trabajo alterno en otra universidad. Mi esposa viaja en bicicleta a su trabajo por lo cerca que queda o ella se desplaza caminando. Si Clemencia escribe su lista de gastos, entonces ella ahorra mucho dinero. Por consiguiente, mi esposa ahorra mucho dinero”. ¿Es claro lo que expresa el esposo de Clemencia? Para dar la respuesta es necesario elaborar la tabla de verdad de lo que comenta el esposo de Clemencia, si es tautología es afirmativo el comentario, si da contradicción hay falsedad en lo expresado, y si da contingencia, es porque hace falta información para tener asertividad del comentario hecho.
p: Clemencia escribe su lista de gastos
q: consigue un trabajo alterno
r: viaja en bicicleta a su trabajo
s: se desplaza caminando
t: ahorra mucho dinero
- [( p ˄ q ) ˄ ( r v s ) ˄ ( p → t )] → t
P
Q
R
S
t
( p ˄ q )
˄
( r v s )
˄
( p → t )
→
T
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
V
V
V
F
F
V
F
V
V
V
F
V
V
V
V
V
V
V
V
V
V
V
F
F
V
V
V
F
F
V
F
V
V
F
V
V
V
V
V
V
V
V
V
V
V
F
V
F
V
V
V
F
F
V
F
V
V
F
F
V
V
...