Considere as duas proposições: • Luís é eletricista ou Denise é atriz. • Luís não é eletricista. Que.... Pergunta de ideia desoujaboybh

June 2023 1 22 Report

Considere as duas proposições:
• Luís é eletricista ou Denise é atriz.
• Luís não é eletricista.
Queremos provar: “Denise é atriz”.
Em linguagem simbólica, seria:
A) ~p ∨ q
B) p ∧ ~q.
C) p ∨ q, ~p, ~q ⟼ c.
D) p ∨ q, ~p ↦ q.
E) p ∧ q, ~ p, ~q ↦ c.

Lista de comentários

steniohmsilva

A opção que representa a linguagem simbólica das proposições é a letra D, p ∨ q, ~p ⇒ q.

Lógica proposicional

Considerando as proposições como:

p: Luis é eletricista
q: Denise é atriz

Temos que a operação de disjunção (conectivo ou), simbolizada por ∨, expressa verdade quando pelo menos uma das proposições são verdadeiras.

Sendo assim, quando afirmamos que ~p, ou seja, Luiz não é eletricista, para que a operação p ∨ q ainda seja verdade, obrigatoriamente Denise precisa ser atriz.

Dessa forma, para que a operação p ∨ q ainda seja verdade, quando tivermos ~p (negação de p), que é "Luiz não é eletricista", obrigatoriamente q precisa ser verdade. Logo, "Se Luiz não é eletricista, então Denise é atriz." O "Se...então..." é a operação de condicional, representado por ⇒.