Conectivos Lógicos
O que são?
São palavras que ligam proposições (frases lógicas).
Principais conectivos
E (∧)
tudo precisa ser verdadeiro
Exemplo:
“A é verdadeiro E B é verdadeiro” → ✅ Verdadeiro
Se um for falso → ❌ Falso
OU (∨)
basta um ser verdadeiro
Exemplo:
“A é verdadeiro OU B é falso” → ✅ Verdadeiro
Só é falso se ambos forem falsos
SE... ENTÃO (→)
Indica condição:
“Se A acontece, então B acontece”
👉 Só é falso quando:
A = Verdadeiro e B = Falso
SE E SOMENTE SE (↔)
Os dois precisam ter o mesmo valor:
✅ Verdadeiro se ambos forem verdadeiros ou falsos
❌ Falso se forem diferentes
⚠️ Dica importante (cai muito)
👉 O conectivo “OU” na lógica é inclusivo
Ou seja: pode ser os dois verdadeiros também
Resumo rápido
E → tudo verdadeiro
OU → pelo menos um verdadeiro
SE... ENTÃO → só falha em 1 caso
SE E SOMENTE SE → valores iguais
Você sabia?