Clasificación de las fórmulas proposicionales

En lógica proposicional, las fórmulas se clasifican según el valor de verdad que toman en todas las posibles combinaciones de sus componentes. Existen tres grandes categorías: 

 • Tautologías: son verdaderas en todas las interpretaciones. 

 • Contradicciones o anti tautologías: son falsas en todas las interpretaciones. 

 • Contingencias: son verdaderas en algunas interpretaciones y falsas en otras.