Flashcard FC97658
Como podemos representar logicamente a proposição "Se a luz do semáforo está vermelha, então os carros param"?
Lógica de Proposições
CEBRASPE (CESPE) · 2023
Como podemos representar logicamente a proposição "Se a luz do semáforo está vermelha, então os carros param"?
Mostrar resposta e comentário
Resposta
A proposição pode ser representada como \( p \rightarrow q \), onde:\( p \) representa “a luz do semáforo está vermelha” e \( q \) representa “os carros param”.
Para reescrever essa proposição, podemos usar a equivalência lógica da disjunção, que nos dá \( \neg p \lor q \) (ou seja, "a luz do semáforo não está vermelha ou os carros param").
Exemplo: Suponha que temos:
Se a luz do semáforo está vermelha (\( p \)), então os carros param (\( q \)).
A negação de \( p \) seria “a luz do semáforo não está vermelha”, e a disjunção nos leva a:
\( \neg p \lor q \), que se traduz em “ou a luz do semáforo não está vermelha ou os carros param”.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/83154
Conteúdo do catálogo FC Concursos · Atualizado em