Professional Documents
Culture Documents
Silogismo hipottico
Reglas de transformacin
Lgica proposicional
Reglas de inferencia
Modus tollendo tollens / ponens
Absorcin
Reglas de reemplazo
Asociatividad
Conmutatividad
Distributividad
Doble negacin
Leyes de De Morgan
Transposicin
Implicacin material
Exportacin
Tautologa
Introduccin de la negacin
Lgica predicativa
Lgica modal
En lgica clsica, el silogismo hipottico es una forma de argumento vlido que consiste en
un silogismo con una sentencia condicional para una o ambas de sus premisas. En la lgica
proposicional, el silogismo hipottico es una regla de inferencia vlida (llamado
tambin argumento cadena, regla de cadena, o el principio de transitividad de la
implicacin, y a veces abreviado SH).
El silogismo hipottico se puede escribir formalmente como:
donde la regla es que cada vez que las instancias de " "y" " aparecen en las