quinta-feira, 15 de novembro de 2018

Formalização em linguagem lógica proposicional



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



Exercícios - AQUI



Sem comentários:

Publicar um comentário

Related Posts Plugin for WordPress, Blogger...