A lógica está presente no dia a dia de todos e é a forma do pensamento, de raciocínio, de um indivíduo ou de um grupo de pessoas. A lógica booleana...

A lógica está presente no dia a dia de todos e é a forma do pensamento, de raciocínio, de um indivíduo ou de um grupo de pessoas. A lógica booleana, criada por George Boole, é uma estrutura que organiza as operações lógicas (álgebra de Boole) influenciando desde programação até vídeo games.

Os conectivos são símbolos ou palavras que se usam para ligar proposições simples e formar proposições compostas, ou alterar seu valor no caso da negação da proposição.

Tabela verdade é uma forma gráfica para fazer o cálculo com operadores lógicos. Com as tabelas verdades das operações fundamentais, podemos estender e criar tabelas correspondentes para calcular o resultado de qualquer proposição composta.

Analise as seguintes expressões lógicas utilizando sua Tabela Verdade, e assinale as alternativas verdadeiras:

1. A expressão (~q -> ~p) <-> (p -> q) é uma Tautologia.
2. A expressão (p -> q) ^ (q -> r) é uma Contradição.
3. A expressão (q v p) -> (p ^ r) é uma Contingência.
4. A expressão (p <-> q) ^ ((p ^ ~q) v (~p ^ q)) é uma Contradição.
5. A expressão ~((p ^ r) -> (~q v r)) é uma Tautologia.

Assinale a alternativa correta:

1. I, II e III.
2. I, III e IV.
3. I, III, IV e V.
4. II e IV.
5. II, IV e V.