AULA 11

24 Outubro 2017, 10:30 • Fernando Ferreira

Os conetivos booleanos do condicional (implicação material) e do bicondicional (equivalência material). O recíproco e o contra-recíproco dum condicional. Exemplos de tt-equivalências. Relação entre o condicional (resp. bicondicional) e a consequência lógica (resp. equivalência lógica). Traduções da linguagem natural para a linguagem formal ("se ... então", "somente se", "se, e somente se", "a menos que", etc). Exemplos.