Filtrar


Questões por página:

Considere a construção da tabela-verdade abaixo

Imagem associada para resolução da questão

Os resultados obtidos para a proposição A → (A → ~C) ↔ (B V C), na ordem crescente das linhas ímpares, são

Visualizar Questão Comentada

Na tabela a seguir estão representadas as três primeiras colunas da tabela-verdade referente à proposição lógica Imagem associada para resolução da questão


Imagem associada para resolução da questão


Se V corresponde ao valor lógico verdadeiro, e F corresponde ao valor lógico falso, na última coluna da tabela-verdade a quantidade de valores V é

Visualizar Questão Comentada
Considerando-se verdadeira a proposição “Gustavo só será aprovado no concurso se não for para festa”, conclui-se que
Visualizar Questão Comentada
Assinale a alternativa que indica a negação da proposição composta:

“O gato não mia ou não está doente”
Com relação ao uso das regras de inferência, analise as seguintes afirmativas:

I- Regra da adição: Dada uma proposição p, dela se pode deduzir a sua disjunção com qualquer outra proposição, por exemplo, deduzir p ∨ q, ou p ∨ r.
II- Regra da simplificação: Permite deduzir de duas proposições dadas p e q (premissas) a sua conjunção, p ∧ q ou q ∧ p (conclusão).
III- Regra Modus ponens: conhecida também como regra da separação, permite deduzir da disjunção p ∨ q de duas proposições e da negação ~p (ou ~q) de uma delas a outra proposição q (ou p).
IV- Regra Modus tollens: permite, a partir das premissas p→q (condicional) e ~q (negação do consequente), deduzir como conclusão ~p (negação do antecedente).

Estão corretas as afirmativas:
Visualizar Questão Comentada