o fi a ilos F Ano 11

Unidade 1
Racionalidade argumentativa e Filosofia: Lgica e Filosofia

Captulo II
A Lgica Proposicional

ndice

Captulo II A lgica Proposicional Proposio: O que ? / Constituio Operadores lgicos Tipos de Proposio Operadores Verofuncionais/ Letras Proposicionais Negao Conjuno Disjuno Condicional Bicondicional

ndice

Captulo II A lgica Proposicional Tabelas de verdade

Equivalncia Tautologia Contradio Afirmao do consequente Negao do antecedente

Falcias formais

Formas vlidas

Modus ponens Modus tollens t

Proposio: o que ?

Todo aquele pensamento que tem valor de verdade. Assim sendo, s as frases declarativas podem ser consideradas proposies.

Operadores lgicos
Operadores Lgicos Os operadores de formao de frases so partculas que servem para articular e dar sentido a uma frase. Exemplo:

E Dado que falso que Se ento

Proposies simples
Proposies Simples So aquelas que no se podem decompor noutras, pelo que o seu valor de verdade depende do confronto com os factos que pretende descrever. Exemplo:

O Joo veloz. A gua ferve a 100 C . As gazelas so mamferos.

Proposies compostas
Proposies Compostas So aquelas que se podem decompor em proposies simples. Pelo que o seu valor de verdade depende: 1. da verdade ou falsidade das proposies simples; 2. do modo como essa verdade ou falsidade se conecta na proposio complexa.

Proposies compostas
Proposies Compostas Exemplo: Londres cidade e o Porto aldeia. Londres cidade ou Porto aldeia.

A Lgica Proposicional
Proposio Simples Portugal umLisboa pas. cidade. Lus est dormir. aLus acordado. Proposio Complexa umaPortugal um pas e Lisboa uma cidade. estLus est a dormir ou Lus est acordado. Se fao dieta, ento emagreo.

Eu fao dieta. Eu emagreo.

Operadores verofuncionais
Partculas de ligao entre as Traduzem-se pelos seguintes sinais: proposies.

negao ^ conjuno v disjuno

condicional bicondicional

Letras proposicionais: latino utilizada para

Qualquer letra do alfabeto traduzir uma proposio.

Operadores verofuncionais
Designao
Negao Conjuno

Smbolo

Uso

Leitura No P P e Q P ou Q Se P, ento Q

Exemplo
falso que Descartes seja empirista. Descartes racionalista empirista. Hume

^ v

P P ^ Q P v Q P Q

Disjuno Condicional

Descartes racionalista ou Hume empirista. Se Descartes racionalista ento Hume empirista. Descartes racionalista, se e s se Hume for empirista.

Bicondicional

P Q P se e s se Q

Operadores verofuncionais Negao

Negao
Proposio Espinosa empirista.
falso empirista. que Espinosa seja

Formalizao P

No verdade que Espinosa seja empirista. Espinosa no empirista. um erro afirmar que Espinosa empirista.

Operadores verofuncionais Negao

Negao
P O Joo inteligente. P O Joo no inteligente. F V

V F

Operadores verofuncionais Conjuno

Conjuno
Proposio Maria saiu. Jos ficou em casa.
Maria saiu, mas o Jos ficou em casa. Maria saiu, apesar do Jos ter ficado em casa. Maria saiu e Jos ficou em casa. Maria saiu quando o Jos ficou. Maria saiu, embora o Jos tenha ficado.

Formalizao P Q

P ^ Q

Operadores verofuncionais Conjuno

Conjuno
P
Joo vai praia.

P ^ Q

Miguel vai ao cinema. Joo vai praia e Miguel vai ao cinema.

V V F F

V F V F

V F F F

Operadores verofuncionais Disjuno

Disjuno
Proposio
Joo vai ao cinema. Joo vai ao futebol. Joo vai futebol. ao cinema ou Joo vai ao

Formalizao
P Q

Joo vai ao cinema, a menos que v ao futebol. Joo vai ao cinema ou ao futebol. Joo ou vai ao cinema ou vai ao futebol.

P V Q

Operadores verofuncionais Disjuno

Disjuno
P
Joo vai ao cinema.

Q
Joo vai ao futebol.

P V Q
Joo vai ao cinema ou Joo vai ao futebol.

V V F F

V F V F

V V V F

Operadores verofuncionais A condicional

Condicional
Proposio Deus existe. A vida faz sentido. Se Deus existe, ento a vida faz sentido. A vida faz sentido se Deus existe. Caso Deus exista, a vida faz sentido. Para que a vida faa sentido, basta que Deus exista. P Q Formalizao P Q

Operadores verofuncionais A condicional

Condicional
P
Joo estuda.

Q
Joo vai ao cinema.

P Q
Se o Joo estuda, ento vai ao cinema.

V V F F

V F V F

V F V V

A Lgica Proposicional A bicondicional

Bicondicional
Proposio
Joo vai ao cinema. Joo estuda. Joo vai ao cinema se e apenas se estudar. Joo vai ao cinema se e somente se estudar. Se Joo for ao cinema porque estudou. Estudar condio necessria para o Joo ir ao cinema. P Q

Formalizao
P Q

A Lgica Proposicional A bicondicional

Bicondicional
P
Joo vai ao cinema.

Q
Joo estuda.

P Q
Joo vai ao cinema se e somente se estudar.

V V F F

V F V F

V F F V

A Lgica Proposicional proposies complexas

Para se proceder simbolizao de proposies complexas segue-se os seguintes passos: 1. Construir o dicionrio das proposies simples; 2. Identificar os operadores frsicos; 3. Proceder a uma simbolizao parcial da proposio para esclarecer o mbito dos operadores.

A Lgica Proposicional proposies complexas

Exemplo:
Se

falso que Mona Lisa bela, ento a arte no precisa de beleza.

Passo 1: P: Mona Lisa bela. Q: A arte precisa de beleza.

A Lgica Proposicional proposies complexas

Exemplo:

Se falso que Mona Lisa bela, ento a arte no precisa de beleza.

Passo 2: Operador Frsico: ;

A Lgica Proposicional proposies complexas

Exemplo: Se falso que Mona Lisa bela, ento a arte no precisa de beleza.

Passo 3: Simbolizao Parcial: Se (no P), ento (no Q). Simbolizao Final: P Q

Tabelas de verdade
1. Passo: O cabealho da tabela tem duas partes: na primeira, esquerda, pomos as letras proposicionais. Na segunda, mais direita pomos as letras com os operadores.

(P ^ Q)

Tabelas de verdade
2. Passo: Feito o cabealho esgotam-se todas as possibilidades de combinaes dos valores de verdade que P e Q podem ter. P V V F F Q V F V F (P ^ Q)

Tabelas de verdade
3. Passo: Depois disto efectuamos o clculo. O clculo processa-se das proposies simples para as complexas. P Q (P ^ Q) V V F F V F V F V V V F F F F F V F V F

Tabelas de verdade
4. Passo: Depois de efectuarmos o clculo das proposies simples podemos calcular o valor do operador cujo mbito maior.

P V V F F

Q V F V F

V F F F

(P ^ Q) V V F F V F F F V F V F

Tabelas de verdade

Como fazer uma tabela com mais de duas letras proposicionais?

Para efectuar o clculo com mais de duas letras precisamos de: 1. descobrir quantas possibilidades de combinao n existem atravs da frmula 2 (2 elevado a n sendo n o nmero das letras proposicionais); 2. descobrir qual o operador com maior e menor mbito.

Tabelas de verdade
Tabelas de Verdade Equivalncias/ Tautologias/ Contradies Equivalncia: duas proposies so equivalentes se e s se tiverem os mesmos valores de verdade para todos os casos possveis. Tautologia: proposies que tm sempre o mesmo valor de verdade para todos os casos possveis. Contradio: proposies que so falsas em todos os casos possveis. possveis

Tabelas de verdade equivalncia

P V V F F Q V F V F P) (P V V F F V F V V V F V F Q) V F F V (Q

V V V F V V V F F F V F

Tabelas de verdade tautologia

Tabelas de verdade contradio

A (A V

A) F

A Lgica dedutiva
A lgica dedutiva estuda os argumentos dedutivos, aqueles que devem garantir a verdade da concluso. Exemplo: O Joo copiou ou Joo estudou Joo no copiou Logo, Joo estudou

A Lgica dedutiva
Exemplo: O Joo copiou ou Joo estudou P V Q Joo no copiou P Logo, Joo estudou. Q

P V Q, P

l=

Falcias formais

As falcias formais so erros de raciocnio cuja incorreco se deve a uma forma lgica invlida. Afirmao do consequente; Negao do antecedente.

1.

2.

Falcias formais afirmao do consequente

1. Afirmao do consequente: Recebeu este nome porque na origem est o facto de as pessoas pensarem que, afirmando um consequente, devem afirmar o antecedente. Pode provar que a pessoa que usou tal argumento est errada usando um contra-argumento.

Falcias formais afirmao do consequente

1. Afirmao do consequente:

Se a baleia for molusco, ento no insecto A baleia no um insecto Logo, a baleia um molusco

Falcias formais negao antecedente

2. Negao do antecedente: Serve para mostrar que um argumento invlido pode ter premissas falsas e concluso verdadeira.

Se D. Dinis era portugus, ento D. Dinis era rei de Espanha. D. Dinis no era portugus. Logo, D. Dinis no era rei de Espanha.

Formas vlidas

A regra: se um argumento vlido, ento o padro que obtemos substituindo todas as letras proposicionais por variveis de frmula vlido.

1. Modus Ponens; 2. Modus Tollens.

Formas vlidas

1. Modus Ponens: Vejamos o seguinte argumento:

Se a baleia mamfero, ento tem pulmes A baleia mamfero Logo, a baleia tem pulmes

Formas vlidas modus ponens

1. Modus Ponens: Dicionrio: P: A baleia mamfero. Q: A baleia tem pulmes. P Q, P l= Q

Formas vlidas modus tollens

2. Modus Tollens: Vejamos o seguinte argumento:

Se a Maria gosta do Miguel, ento Maria aparece no caf falso que Maria tenha aparecido no caf Logo, falso que a Maria goste do Miguel

A Lgica Proposicional modus tollens

2. Modus Tollens: Dicionrio: P: A Maria gosta do Miguel. Q: A Maria apareceu no caf. P Q, Q l= Q