domingo, 1 de março de 2009

Aula 1 - Conectivos (25/02/09)

Na última postagem falamos que conectivos são palavras ou símbolos os quais obtemos novas proposições a partir de proposições já existentes. São conhecidos também como "operadores lógicos".
A definição de um conectivo é baseada em uma tabela-verdade, onde é estabelecido o valor lógico da proposição formada com a aplicação dos conectivos.

e quais seriam tipos de "operadores lógicos" ?

Conectivo NÃO (~) (Negação) (NOT) .
Conectivo "E" (^) (Conjunção) (AND) .
Conectivo "OU" (v) (Disjunção) (OR) .
Conectivo "XOU" (v) (Disjunção Exclusiva) (XOR) .
Conectivo "Se e somente se" (<->) (Bi-condicional) (EQV).
Conectivo "Se...então" (->)(Condicional)(IMP).

veja melhor no documento anexo. http://www.docentes.anchieta.br/~cristianr/Introdu%e7%e3o%20a%20Logica/conectivos.pdf

Nenhum comentário:

Postar um comentário