Tradutor Lógico - Exercícios de Tradução
Pontuação
0

🌿 Tradutor Lógico

Pratique a tradução entre linguagem natural e fórmulas lógicas

🔄

Tradutor Bidirecional

Linguagem Natural
Fórmula Lógica
✏️

Exercícios de Tradução

📌 Instruções Importantes:

  • Use letras maiúsculas para proposições (P, Q, R, etc.)
  • Não é necessário usar espaços entre símbolos
  • Você pode escolher qualquer letra para representar uma proposição
  • Exemplo: "João estuda" pode ser P, E, J ou qualquer outra letra
  • Use a paleta de símbolos abaixo da questão para inserir os conectivos
⌨️ Atalhos de Teclado: Enter = Verificar | Ctrl+H = Dica | Ctrl+L = Limpar | Ctrl+N = Próximo
Exercício 1 de 10 Acertos: 0 | Erros: 0
Traduza para fórmula lógica: "Se Pedro estuda, então ele passa na prova"
📖

Dicionário de Traduções Comuns

"e" / "mas" / "porém"
∧
"ou" / "ou...ou"
∨
"não" / "não é verdade que"
¬
"se...então" / "implica"
→
"se e somente se" / "equivale"
↔
"todo" / "qualquer"
∀
"existe" / "algum"
∃
"nenhum" / "não existe"
¬∃
📏

Regras de Tradução

🔹 Conectivos Básicos

  • "João e Maria" → J ∧ M
  • "Chuva ou sol" → C ∨ S
  • "Não está frio" → ¬F

🔹 Condicionais

  • "Se P então Q" → P → Q
  • "P somente se Q" → P → Q
  • "P é necessário para Q" → Q → P

🔹 Bicondicionais

  • "P se e somente se Q" → P ↔ Q
  • "P é equivalente a Q" → P ↔ Q
  • "P quando e apenas quando Q" → P ↔ Q

🔹 Negações Compostas

  • "Nem P nem Q" → ¬P ∧ ¬Q
  • "Não é verdade que P e Q" → ¬(P ∧ Q)
  • "P mas não Q" → P ∧ ¬Q

🔹 Quantificadores

  • "Todo x é P" → ∀x P(x)
  • "Existe um x tal que P" → ∃x P(x)
  • "Nenhum x é P" → ¬∃x P(x)

🔹 Expressões Especiais

  • "P a menos que Q" → ¬Q → P
  • "P exceto se Q" → ¬Q → P
  • "Ou P ou Q (exclusivo)" → (P ∨ Q) ∧ ¬(P ∧ Q)
🎯

Exemplos para Praticar

"Se hoje é segunda-feira, então amanhã é terça-feira"
S→T
"João é alto e Maria é baixa"
A∧B
"Ou chove ou faz sol"
C∨S
"Não é verdade que Pedro é rico e feliz"
¬(R∧F)
"Passo no teste se e somente se estudo muito"
P↔E
"Se não estudo, então não passo ou fico de recuperação"
¬E→(¬P∨R)