Sejam as proposições
: João joga futebol e
: João joga tênis. Escreva na linguagem usual as seguintes proposições:
Passo 1
O enunciado nos dá duas proposições:
-
: João joga futebol. -
: João joga tênis.
O que se pede: escrever, em linguagem usual (português corrente), a proposição lógica dada por
.
Passo 2
Explicando o símbolo
. O símbolo
representa a disjunção lógica (o “ou” lógico). O significado formal de
é “pelo menos uma das proposições
ou
é verdadeira”. Em outras palavras,
é verdadeira sempre que:
-
for verdadeira, ou -
for verdadeira, ou - ambas forem verdadeiras.
Só é falsa quando ambas
e
forem falsas.
Passo 3
Tradução literal e recomendada para a prova: “João joga futebol ou João joga tênis.” Para deixar claro que se trata do “ou” inclusivo (o padrão em lógica proposicional), é bom acrescentar entre parênteses: “(ou ambos)”. Assim uma forma clara e sem ambiguidade é:
“João joga futebol ou João joga tênis (ou ambos).”
“João joga futebol ou João joga tênis (ou ambos).”
Passo 4
Para fixar com um exemplo simples, veja a tabela de casos (cada linha é uma possibilidade sobre jogar ou não):
-
. -
. -
. -
.
Isto mostra que o “ou” lógico aceita que os dois acontecimentos ocorram ao mesmo tempo — por isso é importante, em linguagem natural, mencionar “(ou ambos)” se quiser evitar ambiguidade em português coloquial.
Passo 5
Dica prática para a prova: escreva sempre o “ou” na forma “A ou B (ou ambos)” quando traduzir
, assim não sobra ambiguidade. Mantém a resposta curta e correta — perfeito para marcar ponto rápido no exame. Força aí, você chega lá!
Resposta
João joga futebol ou João joga tênis (ou ambos).