Questões de Vestibular UFBA 2013 para Vestibular de Computação
Foram encontradas 21 questões
Q1268891
Raciocínio Lógico
Uma tautologia lógica é uma sentença que sempre tem o valor lógico falso.
Q1268892
Raciocínio Lógico
Se p, q são proposições, então a sentença [(p∧q) ↔ (¬(p → (¬q)))] é uma tautologia.
Q1268893
Raciocínio Lógico
A sentença ¬((p → (q∧¬q)) → ¬p) é uma contradição.
Q1268894
Raciocínio Lógico
O conjunto de L-sentenças {(((p → q) → p) → p); ((p∧q) → q); (p → (p∧q)); ¬p} é consistente.
Q1268895
Raciocínio Lógico
Para responder a essa questão, considere φ, ψ, σ três sentenças em uma teoria matemática.
Se φ →ψ → σ →φ, então as três sentenças φ, ψ, σ são logicamente equivalentes.
Se φ →ψ → σ →φ, então as três sentenças φ, ψ, σ são logicamente equivalentes.