Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Participantes
Tabla de contenido
Tabla de contenido.........................................................................................................2
Introducción....................................................................................................................3
Objetivo..........................................................................................................................4
Actividades a desarrollar................................................................................................5
Conclusiones................................................................................................................12
Referencias Bibliográficas...........................................................................................13
INTRODUCCIÓN
lógicos. Para lo cual se van a realizar tres tareas como son Realizar una pequeña
presentación en PREZI, de la conceptualización y dos ejemplos específicos de un
versus simulador Truth Table y Aplicación de las reglas de inferencia. Por último,
OBJETIVOS
ACTIVIDADES A DESARROLLAR
Tarea 1:
Link de la presentación
https://prezi.com/view/I74W5nyDGTYKoxYVX8Bo/
Tarea 2:
Problemas de aplicación I Solucionar los siguientes enunciados y demostrar la
validez del argumento dado a través de:
Generar la tabla de verdad manualmente y a través del simulador Truth
Table.
Comprobar el resultado de la tabla de verdad manual versus simulador
Truth Table.
Aplicación de las reglas de inferencia.
Ejercicio B
b. En Colombia nos encontramos en proceso de campaña presidencial y uno de
los temas a tratar son el pago de horas extras, así: Si la ley no fue aprobada,
entonces el pago de las horas queda como estaba. Si el pago de las horas queda
como estaba, entonces no debemos trabajar más horas extras. Debemos trabajar
más horas extras o el proyecto se retrasará un mes. El proyecto no se retrasará un
mes. Por tanto, la ley fue aprobada
p=la ley fue aprobada
q= el pago de las horas extras queda como estaba
r= debemos trabajar más horas extras
s= el proyecto se retrasará un mes
( ( ¬ p → q ) ⋀ ( q →¬ r ) ⋀ ( r ⋁ s ) ⋀ ¬ s ) → p
( ¬ p → q ) premisa 1
( q → ¬r ) premisa 2
( r ⋁ s ) premisa 3
→ p conclusión
Podemos comprobar que esta tabla nos da como resultado una tautología
TABLA DE LA VERDAD CON SIMULADOR TRUTH TABLE
RESPUESTA
Es un caso INDUCTIVO, porque primero ve el caso particular de que “los viernes
hay oferta de hamburguesas” y luego hace un caso general que es el de invitar
a su novia Andrea a comer todos los viernes.
https://prezi.com/view/u62iCMrmxqR7uDMjdOaJ/
( P →Q ) →[¬( P ∧ R) →Q]
p q r P →Q → ¬¿ →Q
V V V V F F v
V V F V V V V
V F V F V F V
V F F F V V V
F V V V V V V
F V F V V V V
F F V V V V F
F F F V V V F
Tarea 3: Racionamiento Deductivo e Intuitivo
r = Javier afirma que vio a Joaquín salir de su casa un minuto después de Martha
s = la tendera Carla afirma que Martha nunca fue esa noche a la tienda
[( pΛq)→(¬ rΛs)]→ t
De acuerdo al análisis realizado por las tablas y comprobación se refleja que el
razonamiento es inductivo ya que tenemos proposiciones con especificación
existencial de las premisas ya que no generalizan si no especifican con nombre
propio de los participantes del raciocinio y expresan una relación de inferencia
mas no la conclusión determinada si no que por el contrario proporcionan un
apoyo para construirla.
demos :∼r ∨∼ p
P1: p →q
P2: r → s
P3: ( q ∧ s ) → t
P4: ∼ t {[ ( p → q ) ∧(r → s) ] ∧ [ ( q ∧ s ) →t ] ∧ ∼t } → ¿ )
Leyes de inferencia
P5:MPP(3;4):{[ ( q ∧s ) → t ] ∧∼ t } → ( ∼ q ∧∼ s )
P6:simpli(5):∼ q
P7:simpli(5):∼ s
P8:MPP(1;6):[ ( p → q)∧ ∼ q ] →∼ p
P9:MPP(2;7):[ (r → s )∧∼ s ] → r
Pq r s t p→ ∧ r q∧s (q∧s)
p r t q → →t
s
V V V V V F F F V V V V V
V V V V F F F V V V V V F
V V V F V F F F V F F F F
V V V F F F F V V F F F V
V V F V V F V F V F V V V
V V F V F F V V V F V V F
V V F F V F V F V V V F V
V V F F F F V V V V V F V
V F V V V F F F F F V F F
V F V V F F F V F F V F V
V F V F V F F F F F F F F
V F V F F F F V F F F F V
V F F V V F V F F F V F F
V F F V F F V V F F V F V
V F F F V F V F F F V F F
V F F F F F V V F F V F V
F V V V V V F F F F V V V
F V V V F V F V F F V V F
F V V F V V F F F F F V V
F V V F F V F V F F F V F
F V F V V V V F F F V F F
F V F V F V V V F F V F F
F V F F V V V F F F V F F
F V F F F V V V F F V F V
F F V V V V F F V V V F F
F F V V F V F V V V V F V
F F V F V V F F V F F F F
F F V F F V F V V F F F V
F F F V V V V F V F V F F
F F F V F V V V V F V F V
F F F F V V V F V V V F F
F F F F F V V V V V V F V
P10:Adicion(8;9):( ∼ r ∨∼ p )
CONCLUSION
y matemático.
REFERENCIAS BIBLIOGRÁFICAS