Filtrar


Questões por página:
mostrar texto associado
A especificação P pode ser corretamente representada por p ↔ (q Λ r ), em que p, q e r correspondem a proposições adequadas e os símbolos ↔ e Λ representam, respectivamente, a bicondicional e a conjunção
Considere a afirmação condicional: Se Alberto é médico ou Alberto é dentista, então Rosa é engenheira.

Seja R a afirmação: 'Alberto é médico';
Seja S a afirmação: 'Alberto é dentista' e
Seja T a afirmação: 'Rosa é engenheira'.

A afirmação condicional será considerada necessariamente falsa quando
mostrar texto associado

Considere que a proposição-conclusão do auditor possa ser escrita, simbolicamente, na forma P↔Q∧R em que P, Q e R sejam proposições adequadamente escolhidas. Nesse caso, a negação da proposição-conclusão do auditor estará corretamente escrita na forma [(~P)∧(Q∧R)]V[~(Q∧R)∧P].

mostrar texto associado
Se P e S forem V e Q e R forem F, então o valor lógico da proposição em questão será F.
mostrar texto associado

Essa proposição é logicamente equivalente à proposição {[(~R)VS]→[(~P)∧(~Q)]}V[(P∧S)↔(Q∧R)].