Se trabajo la presentación formal de la semántica proposicional, funto con un método tabular (consicional asociado) para evaluar si una fórmula es o no una verdad lógica, en cuyo caso el argumento formalizado es un caso de consecuencia lógica.
Les dejo un pequeño práctico de preparación para el parcial. El mismo no tendrá tantos ejercicios, pero tendra el tipo de ejercicios que allí se proponen.
http://www.megaupload.com/?d=NVX9RF33
No hay comentarios:
Publicar un comentario