Lógica proposicional | | UPV

Se presentan las proposiciones, que son expresiones verdaderas o falsas, y se explican los operadores lógicos como la negación, conjunción y disyunción. Se detalla cómo construir una tabla de verdad para evaluar fórmulas lógicas y se clasifican las fórmulas en tautologías, contingencias y contradicciones según sus valores de verdad.