5 - Tema 2 (Segunda parte)

Esta es la segunda y última tutoría dedicada al tema 2. En la primera parte del vídeo se realiza una formalización de un enunciado y otra formalización de un argumento, tomados ambos de los ejercicios propuestos en el foro por el equipo docente. En la tutoría también se presentan las formas de asignar valores de verdad a enunciados y fórmulas, ya sean simples o compuestos. Por último, se presenta la definición semántica de los 5 operadores que empleamos en la asignatura con ayuda de tablas de verdad.