limpar filtros
Questões por página:
Considere as proposições a seguir.

I - ¬ ( A Λ B ) ↔ ( A → ¬ B)

II - ¬ (A→ ¬ B) → ((A V ¬ B ) Λ (¬ A V B))

III - ((A→ B) → A) → A

IV - ((A V B) Λ (¬ A V C )) → (B V C )

São tautologias as proposições apresentadas em
Considere as cláusulas C1 e C2, representadas, respectivamente, pelos conjuntos { ¬ A(x),B(x)} e { A(g(y)),B(y)}.
Um resolvente dessas cláusulas é
A proposição “se o freio da bicicleta falhou, então não houve manutenção” é equivalente à proposição
A seção Segurança em Recursos Humanos da Norma NBR/ISO 27002 preconiza ações mesmo antes da contratação de funcionários. O objetivo declarado é “Assegurar que os funcionários, fornecedores e terceiros entendam suas responsabilidades e estejam de acordo com os seus papéis, e reduzir o risco de roubo, fraude ou mau uso de recursos.”

Para isso, essa norma diz ser conveniente que
No cálculo proposicional, dada a fórmula (P → Q) → (¬ P Λ Q), exatamente em quantas valorações do par (P, Q) essa proposição assume o valor verdade?