NOES DE LGICA MATEMTICA CLCULO PROPOSICIONAL Como primeira e indispensvel parte da Lgica Matemtica temos o CLCULO PROPOSICIONAL ou CLCULO

SENTENCIALou ainda CLCULO DAS SENTENAS.CONCEITO DE PROPOSIO PROPOSIO: sentenas declarativas afirmativas (expresso de uma linguagem) da qual tenha sentido afirmar que seja verdadeira ou que seja falsa. A lua quadrada. A neve branca. Matemtica uma cincia. No sero objeto de estudo as sentenas interrogativas ou exclamativas. OS SMBOLOS DA LINGUAGEM DO CLCULO PROPOSICIONAL VARIVEIS PROPOSICIONAIS: letras latinas minsculas p,q,r,s,.... para indicar as proposies (frmulas atmicas) . Exemplos: A lua quadrada : p A neve branca : q CONECTIVOS LGICOS: As frmulas atmicas podem ser combinadas entre si e, para representar tais combinaes usaremos os conectivos lgicos : : e , : ou , : se...ento , : se e somente se , ~: no Exemplos: A lua quadrada e a neve branca. : p q (p e q so chamados conjunctos) A lua quadrada ou a neve branca. : p q ( p e q so chamados disjunctos) Se a lua quadrada ento a neve branca. : p q ( p o antecedente e q o conseqente) A lua quadrada se e somente se a neve branca. : p q A lua no quadrada. : ~p

SMBOLOS AUXILIARES : ( ) , parnteses que servem para denotar o "alcance" dos conectivos; Exemplos: Se a lua quadrada e a neve branca ento a lua no quadrada. : ((p q) ~ p) A lua no quadrada se e somente se a neve branca. : ((~ p) q)) DEFINIO DE FRMULA : 1. Toda frmula atmica uma frmula. 2. Se A e B so frmulas ento (A B) , (A B) , (A B) , (A B) e (~ A) tambm so frmulas. 3. So frmulas apenas as obtidas por 1. e 2. . Os parnteses sero usados segundo a seguinte ordem dos conectivos: ~, , , , . Com o mesmo conectivo adotaremos a conveno pela direita. Exemplo: a frmula p q ~ r p ~ q deve ser entendida como (((p q) (~ r)) ( p (~ q)))

AS TABELAS VERDADE A lgica clssica governada por trs princpios (entre outros) que podem ser formulados como segue: Princpio da Identidade: Todo objeto idntico a si mesmo. Princpio da Contradio: Dadas duas proposies contraditrias (uma negao da outra), uma delas falsa. Princpio do Terceiro Excludo: Dadas duas proposies contraditrias, uma delas verdadeira. Com base nesses princpios as proposies simples so ou verdadeiras ou falsas - sendo mutuamente exclusivos os dois casos; da dizer que a lgica clssica bivalente. Para determinar o valor (verdade ou falsidade) das proposies compostas (moleculares), conhecidos os valores das proposies simples (atmicas) que as compem usaremos tabelasverdade : 1.Tabela verdade da "negao" : ~p verdadeira (falsa) se e somente se p falsa (verdadeira). p V F ~p F V

2. Tabela verdade da "conjuno" : a conjuno verdadeira se e somente os conjunctos so verdadeiros. p V V F F q V F V F pq V F F F

3. Tabela verdade da "disjuno" : a disjuno falsa se, e somente, os disjunctos so falsos. p V V F F q V F V F pq V V V F

4. Tabela verdade da "implicao": a implicao falsa se, e somente se, o antecedente verdadeiro e o conseqente falso. p q pq

V V F F

V F V F

V F V V

5. Tabela verdade da "bi-implicao": a bi-implicao verdadeira se, e somente se seus componentes so ou ambos verdadeiros ou ambos falsos p V V F F q V F V F pq V F F V

Exemplo: Construir a tabela verdade da frmula : ((p q) ~p) (q p) p V V F F q V F V F ((p q) ~p) (q p) V V V F F F F F V V V V V V F F V F F F

NMERO DE LINHAS DE UMA TABELA-VERDADE: Cada proposio simples (atmica) tem dois valores V ou F, que se excluem. Para n atmicas distintas, h tantas possibilidades quantos so os arranjos com repetio de 2 (V e F) elementos n a n. Segue-se que o nmero de linhas da tabela verdade 2n. Assim, para duas proposies so 22 = 4 linhas; para 3 proposies so 23 = 8; etc. Exemplo: a tabela - verdade da frmula ((p q) r) ter 8 linhas como segue : p V V V V q V V F F V F V F r ((p q) r ) V V F F V F V V

F F F F

V V F F F V F

F F F F

V V V V

NOTA: "OU EXCLUSIVO" importante observar que "ou" pode ter dois sentidos na linguagem habitual: inclusivo (disjuno) ("vel") e exclusivo ( "aut") onde p q significa ((p q) ~ (p q)). p V V F F q V F V F ((p q) ~ (p q)) V V V F F F V V V V FV V F F F

CELINA ABAR
- 2004 -