Questões de Vestibular UFBA 2013 para Vestibular de Computação
Foram encontradas 21 questões
Se φ →ψ → σ →φ, então as três sentenças φ, ψ, σ são logicamente equivalentes.
Para responder a essa questão, considere φ, ψ, σ três sentenças em uma teoria matemática.
(¬φ) não é tautologia se, e somente se, φ é satisfazível.
Para responder a essa questão, considere φ, ψ, σ três sentenças em uma teoria matemática.
Se ¬(φ∧ψ) e s é uma contradição, então φ∧ψ implica σ.
Para responder a essa questão, considere φ, ψ, σ três sentenças em uma teoria matemática.
A implicação lógica φ → ψ é falsa, somente se φ for verdadeira e ψ for falsa.
O fecho reflexivo da relação r em A é dado por t = r ∪ {〈1, 1〉; 〈2, 2〉; 〈3, 3〉; 〈4, 4〉; 〈5, 5〉; 〈6, 6〉}.
O fecho transitivo da relação r é dado por s = {〈1, 2〉; 〈2, 3〉; 〈1, 5〉; 〈4, 2〉; 〈3, 6〉} ∪ {〈1, 3〉; 〈2, 6〉; 〈1, 6〉; 〈4, 3〉; 〈4, 6〉}.
Para k ≥ 4, tem-se que rk é o conjunto vazio.