Examen de traducción y demostración, viernes 6

Sólo para recordarles, como dice el encabezado de la entrada, que el viernes hay examen. Se les proporcionará un argumento del cual deberán dar la traducción a lenguaje proposicional, además de la demostrarlo utilizando reglas de inferencia y equivalencia.

Comentarios

Entradas populares de este blog

Acertijos 28 de Febrero (Alicia en el bosque del olvido)

Olimpiada en Lógica 2015 (o "lo que sea por un punto extra y/o diez final en el curso")