Inferencia Lógica
Método Directo
Prueba de Argumentación Indirecta
Prueba por tautologia
Prueba por condicional
Prueba por tabla de la verdad
Reglas de inferencia o Razonamientos validos elementales
Función Proposicional
Relaciones entre Universos
Cuantificadores