Apresentação

Nesta aula, veremos mais alguns operadores lógicos que usamos regularmente para descrever situações que devem ser tratadas em nosso programa: a disjunção exclusiva, a implicação e a bi-implicação. Veremos que, apesar de ser possível representar qualquer expressão da lógica proposicional apenas com os operadores da aula anterior, algumas vezes fica mais natural e intuitivo usar esses novos operadores. Dominando esse conjunto completo, vocês estarão prontos para definir com segurança as condições que devem ser satisfeitas pelo programa para que sejam realizadas suas diferentes ações.