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.
Soluções para a tarefa
Se Luís não é eletricista e Denise é atriz, a linguagem simbólica é p v q, ~p -> 1.
Logo, a resposta é letra D.
Lógica proposicional
Avaliaremos cada uma das 2 proposições, assim, temos:
- Luís é eletricista ou Denise é atriz.
Na lógica proposicional, proposições que possuem o conectivo lógico OU são considerados como verdadeiros se pelo menos uma das proposições for verdadeira.
Com isso, se a conclusão é "Daniela é atriz", sabemos que a segunda parte da proposição um é verdade. Logo, toda a proposição um é verdade.
- Luís não é eletricista.
Se a proposição dois é uma negação da proposição "Luís é eletricista", então, na lógica proposicional, representamos como ~p (negação de p).
O que a questão pede é a chamada equivalência lógica. Como analisamos, teríamos que a proposição é p v q (p OU q), sua equivalência lógica é feita pelo se então.
Nesse caso: ~p -> q. Em outras palavras: SE Luís não é eletricista, então Denise é atriz.
Para saber mais sobre conectivos lógicos, acesse: https://brainly.com.br/tarefa/13188364
#SPJ4