Integrantes del Equipo:Castro Sanchez Karol Fernandez Sanchez Andre Galicia Hernandez Romina Lizeth Muñoz Bautista Diego
Logica
Reglas de
Ingerencia
Las reglas de inferencia son principios lógicos utilizados para derivar conclusiones lógicas a partir de premisas. Da click en el icono para ver las reglas de ingerencia: Algunas reglas comunes incluyen:
Modus Ponens
Si tienes “p → q” y “p”, entonces puedes inferir “q”.
Ejemplo
Da click para ver el ejemplo.
Modus Tollens
Si tienes “p → q” y “~q”, entonces puedes inferir “~p”.
Ejemplo
Da click para ver el ejemplo.
Silogismo Hipotético
Silogismo Hipotético: Si tienes “p → q” y “q → r”, entonces puedes inferir “p → r”.
Ejemplo
Da click para ver el ejemplo.
Silogismo Disyuntivo
Si tienes “p ∨ q” y “~p”, entonces puedes inferir “q”.
Ejemplo
Da click para ver el ejemplo.
Disyunción Aditiva
Si tienes “p”, entonces puedes inferir “p ∨ q”.
Ejemplo
Da click para ver el ejemplo.
Conjunción
Si tienes “p” y “q”, entonces puedes inferir “p ∧ q”
Ejemplo
Da click para ver el ejemplo.
Eliminación de Doble Negación
Si tienes “~~p”, entonces puedes inferir “p”.
Ejemplo
Da click para ver el ejemplo.
Reglas de Ingerencia
KAROL CASTRO SANCHEZ
Created on February 23, 2024
Start designing with a free template
Discover more than 1500 professional designs like these:
View
Practical Timeline
View
Timeline video mobile
View
Timeline Lines Mobile
View
Major Religions Timeline
View
Timeline Flipcard
View
Timeline video
View
History Timeline
Explore all templates
Transcript
Integrantes del Equipo:Castro Sanchez Karol Fernandez Sanchez Andre Galicia Hernandez Romina Lizeth Muñoz Bautista Diego
Logica
Reglas de
Ingerencia
Las reglas de inferencia son principios lógicos utilizados para derivar conclusiones lógicas a partir de premisas. Da click en el icono para ver las reglas de ingerencia: Algunas reglas comunes incluyen:
Modus Ponens
Si tienes “p → q” y “p”, entonces puedes inferir “q”.
Ejemplo
Da click para ver el ejemplo.
Modus Tollens
Si tienes “p → q” y “~q”, entonces puedes inferir “~p”.
Ejemplo
Da click para ver el ejemplo.
Silogismo Hipotético
Silogismo Hipotético: Si tienes “p → q” y “q → r”, entonces puedes inferir “p → r”.
Ejemplo
Da click para ver el ejemplo.
Silogismo Disyuntivo
Si tienes “p ∨ q” y “~p”, entonces puedes inferir “q”.
Ejemplo
Da click para ver el ejemplo.
Disyunción Aditiva
Si tienes “p”, entonces puedes inferir “p ∨ q”.
Ejemplo
Da click para ver el ejemplo.
Conjunción
Si tienes “p” y “q”, entonces puedes inferir “p ∧ q”
Ejemplo
Da click para ver el ejemplo.
Eliminación de Doble Negación
Si tienes “~~p”, entonces puedes inferir “p”.
Ejemplo
Da click para ver el ejemplo.