Simbolizar as seguintes sentenças, deixe claro
ou
:
Uma condição suficiente para que Paulo passe no curso de lógica é que ele estude e entenda a matéria.
Uma condição suficiente para que Paulo passe no curso de lógica é que ele estude e entenda a matéria.
Passo 1
Neste exercício vamos traduzir a frase para a lógica proposicional. O tema é tradução de linguagem natural para símbolos lógicos e vamos precisar definir variáveis proposicionais e entender o que significa condição suficiente.
Passo 2
Definimos as proposições básicas:
: Paulo estuda a matéria.
: Paulo entende a matéria.
: Paulo passa no curso de lógica.
Passo 3
A expressão “A é condição suficiente para B” equivale à implicação “se A então B”, ou seja,
.
Passo 4
No enunciado, a condição suficiente para que Paulo passe (
) é que ele estude e entenda a matéria, ou seja,
. Logo a formulação simbólica é
.