1. Variáveis proposicionais
Cada proposição simples que constitui um argumento é representada por uma letra.
Variáveis proposicionais são as letras que representam proposições simples: P, Q, R, S …
2. Conectivas proposicionais
Conectivas proposicionais são expressões que ligam proposições, de modo a formarem novas proposições.
LINGUAGEM NATURAL
|
CONECTIVAS PROPOSICIONAIS
|
SÍMBOLOS DAS CONETIVAS
|
“não…”
“não é verdade que…”
“é falso que…”
|
Negação
|
¬
|
“… e …”
“tanto…como…”
“…, mas também…”
|
Conjunção
|
˄
|
“… ou…”
“…a não ser que…”
|
Disjunção inclusiva
|
V
|
“…ou…ou…
|
Disjunção exclusiva
|
V
|
“Se… então…”
“… desde que…”
“…só se…”
|
Condicional
|
→
|
“…se e só se…”
“… se e somente se…”
“condição necessária e suficiente”
|
Bicondicional
|
↔
|
3. O âmbito
das conectivas
Cada conectiva proposicional
binária terá parêntesis.
Exemplo:
O Tomás lê um livro de aventuras
e a Ana vai ao cinema.
P – O Tomás lê
um livro de aventuras
Q – A Ana vai
ao cinema
(P
Ʌ Q)
Apenas a negação não apresenta
parêntesis
Exemplo:
O Tomás não lê um livro de
aventuras
¬ P
O âmbito das conectivas
proposicionais consiste na parte da fórmula sobre a qual as conectivas operam.
A conectiva principal ou com
maior âmbito é a que se aplica a toda a proposição.
Exemplo:
Não é verdade que o Tomás lê um
livro de aventuras e a Ana vai ao cinema
¬ (P Ʌ Q)
Se o Tomás lê um livro de aventuras
e a Ana vaio ao cinema, então não há teste de matemática
((P Ʌ Q) →
¬ R)
Sem comentários:
Enviar um comentário