Formalização em linguagem proposicional
Exercícios
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
|
↔
|
Sem comentários:
Enviar um comentário