Construcción de tablas de verdad de proposiciones y formalización

 En esta parte de la unidad #2  aprendimos sobre los conectores lógicos y la lógica proposicional. Es decir, las reglas básicas para distinguir entre argumentos verdaderos y falsos, para esto utilizamos las tablas de verdad de las diferentes proposiciones (negación, conjunción, disyunción, implicación y exclusión), las cuales contienen el valor de verdad (verdadero o falso) de cada una de las proposiciones, lo que facilita realizar operaciones entre proposiciones lógicas, como las que se pueden ver a continuación:

Notas de clase: