Lógica proposicional

Linguagem natural / formal

Conectivas proposicionais Linguagem natural Símbolos das conectivas
lógicas
Negação “não…”
“não é verdade que…”
“é falso que…”
~
¬
Conjunção “… e …” ꓥ
“tanto … como …” &
“… mas … também…”
Disjunção (inclusiva) “… ou …” ꓦ
“… a não ser que…”
“… a menos que…”
Disjunção (exclusiva) “… ou… ou…” ꓦ
“… ou …, mas não ambos” W
Condicional “se … então…“
“… desde que …” ͢
“… só se … “
Bicondicional “…se e só se …”
“se e somente se…” ͍
“… condição necessária e suficiente…”

Outros elementos da linguagem formal

Variáveis (letras) proposicionais – é um símbolo, representado por uma letra, que traduz qualquer
proposição simples.
Variáveis Letras maiúsculas do meio do alfabeto (P, Q, R, S…) para simbolizar
proposicionais proposições simples.
Pode, também, utilizar-se letras (maiúsculas ou minúsculas ) do início do
alfabeto (A, B, C, D…; a, b, c, d…) para simbolizar a forma de uma qualquer
proposição simples.
Parênteses (…)

Regras de gramática da lógica proposicional

Regra 1 Os símbolos V, &, (...) têm de ser escritos entre duas proposições.

Regra 2 O símbolo de negação tem de ser escrito antes da proposição que pretende
negar.
Regra 3 O símbolo de negação não pode ser escrito entre duas proposições
Regra 4 Os parênteses são usados para eliminar a ambiguidade e distinguir o principal
operador lógico numa proposição complexa (utiliza mais do que duas
variáveis proposicionais).

Conetivas lógicas Símbolos usados para traduzir em linguagem proposicional as palavras ou

expressões que servem para gerar proposições: «não», »e», «ou», «se…então»,
«se e só se…».
Designam as operações lógicas: negação (~), conjunção (&); disjunção (V),
condicional (͢ ), bicondicional ( ͍).