Questões de Vestibular UFBA 2013 para Vestibular de Computação

Foram encontradas 21 questões

Ano: 2013 Banca: UFBA Órgão: UFBA Prova: UFBA - 2013 - UFBA - Vestibular de Computação |
Q1268896 Raciocínio Lógico

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.


Alternativas
Ano: 2013 Banca: UFBA Órgão: UFBA Prova: UFBA - 2013 - UFBA - Vestibular de Computação |
Q1268897 Raciocínio Lógico

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 σ.

Alternativas
Ano: 2013 Banca: UFBA Órgão: UFBA Prova: UFBA - 2013 - UFBA - Vestibular de Computação |
Q1268898 Raciocínio Lógico

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.

Alternativas
Ano: 2013 Banca: UFBA Órgão: UFBA Prova: UFBA - 2013 - UFBA - Vestibular de Computação |
Q1268899 Raciocínio Lógico
Para responder a essa questão, considere A, B, C, X e Y conjuntos e P(X) e P(Y), os conjuntos das partes de X e de Y, respectivamente.
A = A ∩ (A ∪ B).
Alternativas
Ano: 2013 Banca: UFBA Órgão: UFBA Prova: UFBA - 2013 - UFBA - Vestibular de Computação |
Q1268900 Raciocínio Lógico
Para responder a essa questão, considere A, B, C, X e Y conjuntos e P(X) e P(Y), os conjuntos das partes de X e de Y, respectivamente.
A ⊆ B se, e somente se, A = A ∩ B.
Alternativas
Respostas
6: C
7: E
8: C
9: C
10: C