LÓGICA SIMBÓLICA: TABELA VERDADE

LÓGICA SIMBÓLICA: TABELA VERDADE

São Paulo

2013

LÓGICA SIMBÓLICA: TABELA VERDADE

São Paulo

2013

SUMÁRIO

1 RESUMO ............................................................................................................................04

2 INTRODUÇÃO ..................................................................................................................05

3 PROPOSIÇÕES OU ENUNCIADOS – PRINCIPAIS OPERAÇÕES ..............................05

3.1 CONJUNÇÃO .................................................................................................................. 05

3.2 DISJUNÇÃO INCLUSIVA .............................................................................................06

3.3 DISJUNÇÃO EXCLUSIVA ........................................................................................... 06

3.4 NEGAÇÃO ......................................................................................................................07

3.5 CONDICIONAL ..............................................................................................................07

3.6 BINCONDICIONAL .......................................................................................................07

4 TABELA DE EQUIVALÊNCIA ....................................................................................... 08

5 TABELA VERDADE ......................................................................................................... 08

6 CONCLUSÃO .....................................................................................................................09

7 REFERÊNCIA .....................................................................................................................10

LÓGICA SIMBÓLICA – TABELA VERDADE

1 – RESUMO

O objetivo do presente trabalho é tratar da Lógica Simbólica, destacando conceitos básicos para a compreensão da Tabela Verdade. O estudo da lógica simbólica se dá por meio da análise das proposições compostas e suas operações, visando a interpretação da Tabela Verdade.

PALAVRAS-CHAVES: LÓGICA SIMBÓLICA; PROPOSIÇÕES; OPERAÇÕES; TABELA VERDADE.

SYMBOLIC LOGIC - TABLE TRUTH

1 – SUMMARY

The purpose of this essay is the Symbolic Logic, highlighting basic concepts for understanding the Truth Table. The study of symbolic logic is through the analysis of compound propositions and their operations, aiming at interpretation of the Truth Table.

KEYWORDS: SYMBOLIC LOGIC; PROPOSALS; OPERATIONS; TRUTH TABLE.

2-INTRODUÇÃO

Lógica simbólica é o estudo das proposições ou enunciados.

Os enunciados ou proposições são divididos em:

 simples: são aqueles que não podem ser desdobrados em outros enunciados. Ex: “Sócrates é homem”

As proposições simples podem ser representadas por letras minúsculas (p, q, r, s, etc);

 compostos: sãos aqueles que se desdobram em simples. Ex: “se Sócrates é homem, ele é mortal”. Trata-se de um enunciado composto, podendo ser desdobrado em uma proposição simples, qual seja, “Sócrates é homem” e Sócrates é mortal.

As proposições compostas são representadas por operações, qual seja, conjunção, disjunção, implicação/condicional e negação.

3-PROPOSIÇÕES OU ENUNCIADOS COMPOSTOS - PRINCIPAIS OPERAÇÕES:

3.1 - CONJUNÇÃO (e):

Segundo Coelho (2004, p. 35) “A conjunção é a operação que articula dois enunciados simples pelo conectivo e, resultando num enunciado composto”.

Uma conjunção só será verdadeira, quando ambas as partes que a compõe forem também verdadeiras. E falsa nos demais casos.

Ex: “as cias são sociedades de capital e institucionais”. (p^q = somente é verdadeira se forem verdadeiras as proposições):

“as cias são sociedades de capital” = p e “as cias são sociedades institucionais” = q

p q p ^ q

V V V

V F F

F V F

F F F

3.2 - DISJUNÇÃO INCLUSIVA(ou):

Conforme Coelho (2004, p. 35) “A disjunção é a operação que articula dois enunciados simples pelo conectivo ou, formando assim um composto, que revela alternatividade”. A disjunção, por sua vez, pode ser inclusiva ou exclusiva.

Exemplo de disjunção inclusiva:

“Para vencer na vida é necessária sorte ou competência” (COELHO, 2004, p. 37).

Neste exemplo, “os seus elementos podem conviver,