Questões de Vestibular Sobre tautologia, contradição e contingência em raciocínio lógico

Foram encontradas 9 questões

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

Alternativas
Ano: 2013 Banca: UFBA Órgão: UFBA Prova: UFBA - 2013 - UFBA - Vestibular de Computação |
Q1268894 Raciocínio Lógico
O conjunto de L-sentenças {(((p → q) → p) → p); ((p∧q) → q); (p → (p∧q)); ¬p} é consistente.
Alternativas
Ano: 2013 Banca: UFBA Órgão: UFBA Prova: UFBA - 2013 - UFBA - Vestibular de Computação |
Q1268893 Raciocínio Lógico
A sentença ¬((p → (q∧¬q)) → ¬p) é uma contradição.
Alternativas
Ano: 2013 Banca: UFBA Órgão: UFBA Prova: UFBA - 2013 - UFBA - Vestibular de Computação |
Q1268892 Raciocínio Lógico
Se p, q são proposições, então a sentença [(p∧q) ↔ (¬(p → (¬q)))] é uma tautologia.
Alternativas
Ano: 2013 Banca: UFBA Órgão: UFBA Prova: UFBA - 2013 - UFBA - Vestibular de Computação |
Q1268891 Raciocínio Lógico
Uma tautologia lógica é uma sentença que sempre tem o valor lógico falso.
Alternativas
Ano: 2010 Banca: CESPE / CEBRASPE Órgão: UNB Prova: CESPE - 2010 - UNB - Vestibular 1° Semestre - 2011 - Segundo Dia |
Q217039 Raciocínio Lógico
Imagem 049.jpg

Com base no texto acima, assinale a opção correta no item que
se segue.

Avalie as asserções a seguir e a relação de causa estabelecida entre elas.

Imagem 050.jpg

Considerando a relação estabelecida entre as duas asserções acima, assinale a opção correta.
Alternativas
Respostas
1: C
2: E
3: C
4: C
5: C
6: C
7: C
8: E
9: B