Racionalidade Argumentativa e Filosofia Argumentao e Lgica Formal Opo B Lgica Proposicional

Sumrio

- Lgica proposicional

- Linguagem proposicional
- Condies de verdade das conectivas lgicas verofuncionais -Tabelas de verdade - Determinao do valor de verdade de proposies compostas

Lgica Proposicional
Domnio da lgica matemtica, lgica simblica ou, ainda, lgica clssica criado nos finais do sculo XIX por G. Boole e G. Frege.
Estuda as formas proposicionais geradas por cinco conetivas, ou operadores verofuncionais de formao de frases

Estuda os argumentos dedutivos cuja validade depende exclusivamente da

relao entre formas proposicionais simples ou compostas Usa uma linguagem prpria linguagem proposicional/simblica

Proposies simples e proposies compostas A lgica proposicional distingue entre proposies simples, ou atmicas, e proposies compostas, complexas ou moleculares.

Proposio composta Proposio simples - aquela que no pode decompor-se noutra Exemplo: A Natureza renasce Contm um ou mais operadores de formao de frases Exemplo
Primavera e a Natureza renasce.

Contm a palavra e (operador usado para formar a frase composta)

Operadores verofuncionais No, e, ou, se ento, se e s se e outros

Operadores no verofuncionais X pensa que, possvel que

Exemplos
Se Primavera, ento a Natureza renasce. No Primavera e a Natureza renasce. A Natureza renasce se, e s se, Primavera.

Exemplos
O Joo pensa que Primavera. possvel que o Joo tenha razo

Operadores de formao de frases, ou conectivas lgicas

Se considerarmos que P e Q so a forma proposicional de duas proposies simples P e Q so verdadeiras podemos concluir que:

No podemos saber se X pensa que P verdadeira ou falsa

X pensa que P proposio composta

P e Q verdadeira
P e Q proposio composta, formada

pela aplicao da conectiva no verofuncional X pensa que

Com as conetivas no verofuncionais no possvel determinar o valor de verdade da proposio composta

pela conectiva verofuncional e

Operadores de formao de frases, ou conectivas lgicas Frase composta: Se Primavera, ento a Natureza renasce. Contm duas frases declarativas simples: Primavera.; A Natureza renasce.

Foi formada usando a conectiva verofuncional seento.

O seu valor lgico (verdadeiro / falso) pode ser determinado a partir do valor lgico das frases simples e das condies de verdade da conectiva. Frase composta O Joo pensa que Primavera.
Frase formada aplicando a conectiva no verofuncional x pensa que, frase simples Primavera. O seu valor lgico (verdadeiro / falso) no pode ser determinado a partir do valor lgico das frases simples Mesmo que a proposio simples seja verdadeira, no podemos saber se a proposio composta O Joo pensa que Primavera. verdadeira ou falsa.

Linguagem proposicional

Para expressar proposies simples especficas, usar letras proposicionais (maisculas do meio do alfabeto: P, Q, R). Para expressar a forma de uma qualquer proposio possvel, usar variveis proposicionais (maisculas do incio do alfabeto: A, B, C) Para expressar os operadores de formao de frases ou conectivas lgicas verofuncionais usar: ~ (no), (e), (ou), (se ento), (se, e s se...) Usar parntesis para definir o mbito das conectivas Definir um dicionrio, ou interpretao

Indicao da letra proposicional usada para expressar uma determinada proposio

Smbolos lgicos
CONETIVAS LGICAS OU VEROFUNCIONAIS

Smbolo

Nome Negao Disjuno Conjuno Condicional Bicondicional

Exemplo P PQ PQ PQ PQ

Significado No P P ou Q PeQ Se P, ento Q P se, e s se, Q

Alternativas ~P; P

P & Q; P.Q P Q; P Q P Q; P Q

Exemplo 1

Formalizar proposies compostas

Se a msica uma arte, ento, a pintura uma arte.

Procedimentos Dicionrio P: A msica uma arte. Q: A pintura uma arte.

1. Identificar as proposies simples com as letras proposicionais (P,Q;R)e definir a interpretao do argumento construindo um dicionrio

2. Identificar a(s) conectiva(s

3. Escrever a forma proposicional

(se ento) PQ

P Q uma proposio condicional

formada pela ligao das proposies simples P antecedente e Q consequente.

mbito das conetivas Exemplo Para a sobremesa, quero fruta e gelado ou mousse de chocolate. Frase declarativa: com trs proposies simples ligadas pelas conectivas e e ou no est definido o mbito de cada uma dessas conectivas

o mbito da conjuno e da disjuno que permite definir qual proposio expressa

linguagem natural definio atravs da pontuao linguagem proposicional definio atravs de parntesis TOMA ATENO NO EXEMPLO A SEGUIR:

mbito das conetivas Exemplo Para a sobremesa, quero fruta e gelado ou mousse de chocolate. Interpretao P: Para a sobremesa quero fruta. Q: Para a sobremesa quero gelado. R: Para a sobremesa quero mousse de chocolate. Para a sobremesa, quero fruta e gelado ou mousse de chocolate. Forma proposicional (P Q) R O que define o mbito das conetivas o parnteses. No exemplo ao lado a disjuno opera sobre o P Q, portanto o mbito da disjuno maior, pois encontra-se fora do parnteses.

A disjuno a conectiva principal, ao estar fora do parnteses opera sobre as proposies que esto no seu interior.

Condies de verdade das conetivas lgicas

O valor de verdade das proposies compostas depende do valor de verdade das proposies simples existentes na frmula e das condies de verdade das conetivas

verofuncionais usadas para as formar.

As condies de verdade de uma conectiva so as circunstncias, expressas em tabelas de verdade, em que a proposio composta verdadeira ou falsa.

Construir uma tabela de verdade

Na coluna da direita, escreve-se a forma proposicional e calculam-se os valores de verdade para cada circunstncia.

P Q ( P Q) ~Q VV VF FV FF

OPERAES LGICAS E TABELAS DE VERDADE COMO CONSTRUIR UMA TABELA DE VERDADE/INSPETOR DE CIRCUNSTNCIA.

Construir uma tabela de verdade

As tabelas de verdade servem para determinara o valor de verdade das formas proposicionais compostas. Tm duas colunas. Na coluna da esquerda, escrevem-se as letras proposicionais e todas as possibilidades de combinao dos seus valores de verdade. Se a frmula tiver uma proposio simples, h duas possibilidades de V/F. Se a frmula tiver duas proposies simples, h quatro possibilidades de V/F. Se a frmula tiver trs proposies simples, h oito possibilidades de V/F. Cada possibilidade / linha uma circunstncia da tabela

P ~P V F P V V F F V V F F Q R V V F V V V F V V F F F V F F F

P Q VV VF FV FF

Condies de verdade da negao e da conjuno

nica conetiva que se aplica a uma nica proposio simples ou composta. Unria TODAS AS OUTRAS CONETIVAS SO BINRIAS, APLICAM-SE A MAIS DO QUE UMA PROPOSIO SIMPLES:

comutativa, pois P Q e Q P tm o mesmo valor lgico

S verdadeira na condio de P Q e Q P serem verdadeiros

Na coluna da direita de cada tabela, os valores lgicos (verdadeiro / falso) das proposies compostas geradas por cada conetiva.

Condies de verdade da disjuno

Disjuno Inclusiva
PQ

V V V F

Disjuno exclusiva PwQ F V V F

As condies de verdade da disjuno inclusiva (e / ou) so diferentes das condies de verdade da disjuno exclusiva (ou ou)

S falso quando P w Q so V ou F simultaneamente.

S falso quando P Q falso

A disjuno comutativa, pois P Q e Q P tm o mesmo valor lgico.

Condies de verdade da condicional e da bicondicional

A condicional no comutativa, pois na circunstncia de P verdadeiro e Q falso, P Q e Q P no tm o mesmo valor de verdade

S falsa na condio de P ser V e Q ser F, quando o antecedente V e o consequente F

A bicondicional comutativa, pois P Q e Q P tm o mesmo valor lgico

S falsa quando P e Q tem valores lgicos distintos

Inspector de circunstncias
Sequncia de tabelas de verdade que testam a validade dos argumentos dedutivos. Baseado nas condies de verdade das conetivas lgicas verofuncionais. Consiste em determinar o valor de verdade de cada uma das premissas e da concluso do argumento.

Argumento

Anlise do seguinte argumento em termos de validade ou invalidade.

INTERPRETAO

Formalizao

Se corro sinto-me bem. Sinto-me bem . Logo, corro.

PQ
P: Corro Q: Sinto-me bem
Q P

P V V F F

Q V F V F

PQ

V F V V

Q V F V F

P V V F ateno F

Na primeira linha as premissas so V e a concluso V, mas na terceira linha a circunstncia verificada torna a concluso falsa, por isso o argumento considerado invlido, pois : Um argumento vlido desde que no exista um nico caso no qual se verifique a possibilidade das premissas serem verdadeiras e a concluso falsa

Argumento

Interpretao P: Sou Portugus Q: Sou Espanhol

Formalizao PVQ ~P Q

Ou sou Portugus ou Espanhol. No sou Portugus. Logo, sou Espanhol P Q

PVQ

~P

V
F F

F
V F

V
V F

F
V V

F
V F

O argumento considerado vlido e slido, porque no existe um nico caso/circunstncia com premissas verdadeiras e concluso falsa O argumento slido porque as premissas so Verdadeiras e a concluso tambm.

Um inspector de circunstncias permite-nos no s saber se um argumento vlido, mas tambm em que circunstncias que um argumento vlido pode ter uma concluso falsa. Isto , um inspetor de circunstncias mostra-nos o que ter de acontecer s premissas para nos permitir refutar a concluso de um argumento vlido. Consideremos este argumento simples: Se os nossos sentidos so fiveis, no h dvida que o mundo exterior existe. Ora, a verdade que os nossos sentidos merecem toda a confiana. Logo, a existncia do mundo exterior irrecusvel. Eliminando o rudo e reformulando o argumento na sua forma cannica obteremos o seguinte: Se os nossos sentidos so fiveis, ento o mundo exterior existe. Ora, os nossos sentidos merecem confiana. Logo, o mundo exterior existe. Se P, ento Q P
Logo, Q

 Interpretao: P: Os nossos sentidos so fiveis Q: O mundo exterior existe Uma formalizao parcial deste argumento ser a seguinte: Se P, ento Q P Logo, Q Um inspector de circunstncias mostra-nos que se trata de um argumento vlido: P Q Se P, ento Q P Logo, Q P Q PQ VVVVV P VFFVF Q FVVFV FFVFF No h circunstncias em que as premissas sejam verdadeiras e a concluso falsa. A nica circunstncia que torna ambas as premissas verdadeiras (linha 1) torna a concluso igualmente verdadeira.

 Um argumento vlido desde que no exista um nico caso no qual se verifique a possibilidade das premissas serem verdadeiras e a concluso falsa, mas se este caso existir o argumento invlido. Assim sendo, quer os argumentos vlidos podem conter um caso com premissas e concluso falsas, quer os argumentos invlidos podem conter um caso com premissas e concluso verdadeiras.

FALCIAS Formais Afirmao do consquente e negao do antecedente REGRAS DA DEDUO Designa-se por falcia todo o raciocnio ou inferncia que e apresenta incorreto ou invlido. A falcia involuntria designada por paralogismo, a voluntria por sofisma. Ao estudo da lgica s interessam as falcias formais, aquelas que ocorrem apenas da forma lgica do argumentos .

Afirmao do antecedente

Modus ponens
Se passo no exame, ento, fao uma viagem.

Negao do consequente

Modus tollens
Interpretao P: Passar no exame. Se passo no exame, ento, fao uma viagem. No fao uma viagem. Ento, no passo no exame. Se em vez de e negar consequente se negar o antecedente, comete-se a falcia da negao do antecedente. PQ ~Q Raciocnio Vlido Logo, ~P

Passo no exame.
Ento, fao uma viagem

Se em vez de afirmarmos o antecedente , afirmarmos o Q: Fazer uma consequente cometemos a falcia da viagem. afirmao do consequente PQ P Raciocnio Vlido Logo, Q

Falcia da afirmao do consequente

Se em vez de afirmarmos o antecedente , afirmarmos o consequente cometemos a falcia da afirmao do consequente PQ Q Raciocnio invlido Logo, Q
S valido quado se afirma o antecedente, logo no caso acima e uma falcia

Falcia da negao do antecedente

Se em vez de e negar consequente se negar o antecedente, comete-se a falcia da negao do antecedente. P Q

~P
Logo, ~P

Raciocnio invlido

S vlido quando se nega o consequente

Leis de Morgan

~(p ^ q) = ~p v ~q ~( p v q) = ~p ^ ~q

Negao de proposies compostas Negar uma proposio simples P equivale a aplicar-lhe a ~ . Negar uma proposio composta P Q equivale a aplicar a ~ a toda a frmula. Para a negao da conjuno, da disjuno e da condicional h as seguintes formas proposicionais equivalentes: Negao de proposies Conjuno ~ (P Q) Formas proposicionais equivalentes ~P ~Q

Disjuno

~P Q

~ (P ~Q)

Leis de De Morgan

Condicional

~ (P Q)

P ~Q

RESUMO Lgica proposicional Domnio da lgica formal que estuda os argumentos dedutivos cuja validade depende dos valores de verdade de proposies formadas graas a palavras e expresses do tipo no, e, ou, se ento, se, e s se e outras equivalentes, a que chamamos operadores de formao de frases, ou conectivas lgicas verofuncionais. Operadores de formao de frases, ou conectivas lgicas verofuncionais Palavras ou expresses que se juntam a uma ou vrias frases simples e compostas para formar novas frases. O valor lgico, ou valor de verdade, destas novas frases pode ser determinado a partir dos valores de verdade das frases simples a que foram aplicados os operadores.

Valor lgico
Palavras ou expresses que se juntam a uma ou vrias frases simples e compostas para formar novas frases. O valor lgico, ou valor de verdade, destas novas frases pode ser determinado a partir dos valores de verdade das frases simples a que foram aplicados os operadores. Letras proposicionais Letras usadas para traduzir cada uma das proposies especficas de uma dada forma proposicional. H diferentes notaes, usmos maisculas do meio do alfabeto,P, Q, R Deve indicar-se sempre quais as proposies designadas por cada letra proposicional o que se chama estabelecer o dicionrio. mbito de uma conectiva

A proposio ou proposies a que a conectiva se aplica.

Tabelas de verdade So dispositivos grficos que, para uma proposio composta, consideram todas as possibilidades de combinao dos valores lgicos das proposies simples, simbolizadas pelas letras proposicionais, permitindo determinar os correspondentes valores lgicos da proposio composta.

Circunstncia Na lgica proposicional, cada uma das possibilidades de combinao do valor lgico das proposies simples de uma frmula. Para uma frmula com 2 proposies simples h 4 possibilidades e para uma com 3 h 8 possibilidades de combinao desses valores. Cada circunstncia corresponde a uma linha da tabela.

Tautologias Proposies que so verdadeiras em virtude da forma lgica, pois so verdadeiras em todas as circunstncias logicamente possveis da tabela de verdade. As tautologias so verdades lgicas.

Contingncias
Proposies, cuja verdade ou falsidade no pode ser determinada por meios lgicos. O valor lgico depende do valor de verdade das proposies simples. Negao Diz-se de uma proposio composta da forma P, que verdadeira se P for falsa e falsa se P for verdadeira.

Argumentos hipotticos Argumentos hipotticos so argumentos dedutivos cujas proposies premissas e

concluso so proposies condicionais.

Exemplo Se todos os homens so mamferos, ento, so animais. Se so animais, ento, so seres vivos.

Interpretao P -Todos os homens so mamferos Q- Todos os mamferos so animais R: Todos os animais so seres vivo

Formalizao

PQ

QR

Logo, se todos os homens

so mamferos, ento, so seres vivos.

Logo, P R