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
Education Timeline
View
Images Timeline Mobile
View
Sport Vibrant Timeline
View
Decades Infographic
View
Comparative Timeline
View
Square Timeline Diagram
View
Timeline Diagram
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.