Simbolizar as seguintes sentenças, deixe claro p, q ou r :
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: p: Paulo estuda a matéria. q: Paulo entende a matéria. r: 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, A to B.

Passo 4

No enunciado, a condição suficiente para que Paulo passe ( r) é que ele estude e entenda a matéria, ou seja, p wed>= q. Logo a formulação simbólica é (p wed>= q) to r.

Resposta

(p wed>= q) to r

Exercícios relacionados