(Enade 2021 – Ciência da Computação – Adaptada) Um corpo de conhecimento representado na lógica proposicional utiliza os conectivos lógicos de impl...

Podemos analisar cada uma das afirmativas: 1. Pode-se dizer que o resultado da operação entre as expressões 2 ou 4 é uma tautologia. Para verificar se a operação entre as expressões 2 ou 4 é uma tautologia, precisamos construir a tabela-verdade para cada uma delas e verificar se em todas as linhas a operação resulta em verdadeiro. Ao construir as tabelas-verdade, podemos observar que a afirmativa é falsa, pois em algumas linhas a operação resulta em falso. 2. Pode-se dizer que o resultado da operação entre as expressões 5 e 6 é uma tautologia. Para verificar se a operação entre as expressões 5 e 6 é uma tautologia, precisamos construir a tabela-verdade para cada uma delas e verificar se em todas as linhas a operação resulta em verdadeiro. Ao construir as tabelas-verdade, podemos observar que a afirmativa é verdadeira, pois em todas as linhas a operação resulta em verdadeiro. 3. Pode-se dizer que o resultado da operação entre as expressões 4 ou 5 ou 6 é uma tautologia. Para verificar se a operação entre as expressões 4 ou 5 ou 6 é uma tautologia, precisamos construir a tabela-verdade para cada uma delas e verificar se em todas as linhas a operação resulta em verdadeiro. Ao construir as tabelas-verdade, podemos observar que a afirmativa é falsa, pois em algumas linhas a operação resulta em falso. 4. Pode-se dizer que o resultado da operação entre as expressões 1 e 2 é uma tautologia. Para verificar se a operação entre as expressões 1 e 2 é uma tautologia, precisamos construir a tabela-verdade para cada uma delas e verificar se em todas as linhas a operação resulta em verdadeiro. Ao construir as tabelas-verdade, podemos observar que a afirmativa é falsa, pois em algumas linhas a operação resulta em falso. 5. Não existe tautologia em nenhuma das expressões apresentadas. Podemos observar que as afirmativas 2 e 4 são tautologias, portanto, a afirmativa é falsa. Assim, a única afirmativa verdadeira é a afirmativa 2.