====== Lógica para Computação -- Imagens de Exercícios, Resoluções e Anotações ======

===== 21/05/2018 - Tablôs Analíticos =====

  * [[http://www.dainf.ct.utfpr.edu.br/~adolfo/Disciplinas/LogicaParaComputacao/13.Provas/2017_2/Prova%202%20BSI%202017.2/Prova2-BSI_v1.pdf|Questão 5]]

{{:logica:new-mind-map-2.png?600|Exercício}}


  * [[http://www.dainf.ct.utfpr.edu.br/~adolfo/Disciplinas/LogicaParaComputacao/13.Provas/2016_1/Prova1-2016-1.pdf|Questão 1]]

{{:logica:new-mind-map.png?600|Exercício}}




===== 29/08/2017 - Consequência Lógica =====

{{:logica:img_20170829_094627379.jpg?600|Quando é ou não consequência lógica?}}

{{:logica:img_20170829_094632815.jpg?600|Exercício}}


{{:logica:img_20170829_101538366.jpg?600|Resolução do exercício}}