Considere o conjunto !$ A=\{∨, ∧, ¬, →, ↔ \} !$ de conectivos lógicos da lógica sentencial. Por definição, um conjunto de operadores B é completo se somente se todos os operadores de A podem ser expressos em função do(s) operador(es) de B. Analise as afirmativas a seguir.
I- !$ \{∨, ∧\} !$ é um conjunto de operadores completo.
II- !$ \{ ¬,∧ \} !$ é um conjunto de operador completo.
III- !$ \{∨, → \} !$ é um conjunto de operadores completo.
IV- !$ \{nand\} !$ é um conjunto de operadores completo.
V- !$ \{¬, → \} !$ é um conjunto de operadores completo.
Conclui-se que
Provas
Questão presente nas seguintes provas
Analista de Sistemas - Engenharia de Software
120 Questões