Académique Documents
Professionnel Documents
Culture Documents
Simblicamente:
Ejemplo
Q: Necesitas un mapa
A: Necesitas un gua
Absorcin:
Absorcin es una forma lgica de argumento vlido y una regla de
inferencia de la lgica proposicional.1 2 La regla establece que se P
implica Q, entonces P implica P y Q. La regla hace posible introducir
conjunciones en pruebas. Esto se llama ley de absorcin ya que el trmino
Q es "absorbido" por el trmino P en la consecuencia.3 Formalmente:
Ejemplo:
P: Camila va al cine
Q: compra crispetas
P-> Q: Si Camila va al cine entonces compra crispetas
Luego por absorcin Si camila va al cine entonces va al cine y compra
crispetas
Ejemplo 1:
P: Juan camina a la finca
Q: Juan camina a la casa
~(pq): no es cierto que juan camina a la finca y a la casa
Por Leyes de Morgan tenemos que: no es cierto que Juan camina a la
finca o No es cierto que Juan camina a la casa
Ejemplo 2:
P: Juan camina a la finca
Q: Juan camina a la casa
~(pvq): no es cierto que juan camina a la finca o a la casa
Por Leyes de Morgan tenemos que: no es cierto que Juan camina a la
finca y No es cierto que Juan camina a la casa
TAREA 2
Forma simblica:
P:El rector no pudo dar el discurso
Q:Los diplomas no llegan a tiempo
R:La fiesta de graduacin tiene que cancelarse
S:Los estudiantes se enojan
T:Toca devolver el dinero
Premisas:
(~)
^
~
Conclusin:
~
Tabla de verdad:
~ ~ ~ (~) ^
TAREA 3
D
{[ ( )] ( ) ( ) } ( )
P: Camila presenta a tiempo los trabajos en el foro
Q: Juan consolida los trabajos del foro
R: Luis presenta los trabajos a tiempo en el foro
S: Luisa ayuda a Juan a consolidar los trabajos del foro
Lenguaje natural
Tabla de Verdad
{[ ( )] ( ) ( ) } ( )
( ) [ ( )] ( )
( ) ( )
A: {[ ( )] ( ) ( ) }
B: {[ ( )] ( ) ( ) } ( )
Leyes de inferencia
1 [ ( )] Premisa 1
2 ( ) Premisa 1
3 ( ) Premisa 1
4 Premisa 1
5 p Simplificacin 2
6 ( ) Ponendo Ponens (1 y 5)
7 s Silogismo disyuntivo (3 y
4)
8 ( ) Adjuncin (7 y 8)
True table
TAREA 4
Solucin:
Este tipo de razonamiento es de tipo deductivo pues se parte de
una ley general y se llega a casos especficos