Lógica Proposicional

O que é uma implicação lógica?

• Uma operação lógica que nega uma proposição

• Uma forma de simplificar sentenças na linguagem natural

• Uma técnica de análise de dados em programação de computadores

• Uma operação matemática que relaciona duas proposições compostas

Qual é a regra de implicação lógica que afirma que se uma proposição é verdadeira, então qualquer outra proposição também é verdadeira?

• Adição disjuntiva

• Simplificação conjuntiva

• Silogismo disjuntivo

• Modus ponens

O que é uma equivalência lógica?

• Uma operação matemática que relaciona duas proposições compostas

• Uma técnica de análise de dados em programação de computadores

• Uma forma de simplificar sentenças na linguagem natural

• Uma operação lógica que nega uma proposição

Qual é a regra de equivalência lógica que afirma que a negação da negação de uma proposição é equivalente à própria proposição?

• Dupla negação

• Absorção

• Negação conjunta

• Negação disjunta

Qual é o resultado da expressão: p→(q∧q) ?

• V, F, V, V

• V, V, V ,V

• V,F, F, V

• F, V,F,F

Qual é o resultado da expressão: ~ (~q) Λ q ?

• Verdadeiro

• Falso

Qual é o resultado da expressão: (p→q) ∨ (q→p) ?

• V, V, F, F

• F, F, F, F

• V, V, V, V

• v, v, v, f

Qual é a negação da expressão "p ∧ q"?

• p ↔ q

• ~ p ∨ ~q

• ~p ∧ ~q

• ~(p ∧ q)