Você está na página 1de 38

Lgica Proposicional

Lgica Proposicional

At agora estudamos a Lgica de maneira informal. A Lgica formal o estudo de formas de argumento, isto , regras abstratas de raciocnio comum em vrios argumentos. Iniciaremos nosso estudo formal com a Lgica Proposicional. Abordaremos a sintaxe e a semntica seguindo o seguinte roteiro de estudo: 2

Lgica Proposicional
(Roteiro de Estudo)

Sintaxe:

(Cap 3 - Livro do J. Nolt)

Linguagem da Lgica Proposicional

Regras de Inferncia

Formas de Argumento Formalizao No-Hipotticas Hipotticas Derivadas

Semntica:

Sistema Formal

(Cap 2 - Livro do Chang e Lee)

Semntica dos operadores e interpretao Satisfatibilidade, validade e consequncia lgica Mtodo de prova: Tabela Verdade Formas Normais

Formas de Argumento
Exemplos:
1
. Hoje segunda-feira ou sexta-feira. . Hoje no segunda-feira. Hoje sexta-feira. . Rembrandt pintou a Mona Lisa ou Michelngelo a pintou. . No foi Rembrandt quem a pintou. Michelngelo pintou a Mona Lisa.
. Ele menor de 18 anos ou um irresponsvel. . Ele no menor de 18 anos. Ele um irresponsvel.

Formas de Argumento

Os 3 argumentos so da seguinte forma:


. P ou Q . No o caso que P Q

As letras P e Q representam sentenas declarativas: (smbolos sentenciais).


P pode representar: Hoje segunda-feira. Q pode representar: Hoje tera-feira.
5

Formas de Argumento

Com essa representao, a forma anterior representa o argumento 1 do exemplo. Os argumentos 1, 2 e 3 so variantes gramaticais ou instncias da forma:
. P ou Q . No o caso que P Q

Esta forma de argumento (ou regra) conhecida como silogismo disjuntivo. 6

Formas de Argumento

A lgica trata de formas de argumentos consistindo de letras sentenciais combinadas com as expresses:

No o caso que E Ou Se ... ento Se e somente se

Estas expresses so chamadas de operadores ou conectivos lgicos.

Formas de Argumento

Conectivo No o caso que

Essa expresso prefixa uma sentena para formar uma nova sentena a qual chamamos a negao da primeira. Exemplo: A sentena a negao da sentena

'No o caso que ele fumante 'Ele fumante'.

Variaes gramaticais da negao:

Ele no-fumante, Ele no fumante e Ele no fuma.

Formas de Argumento
Conectivo E

Uma composio constituindo-se de duas sentenas ligadas por 'e' chama-se conjuno. Exemplo: Chove e faz calor

A conjuno tambm pode ser expressa por palavras como: 'mas', 'todavia', 'embora', 'contudo', ... Chove mas faz calor
9

Formas de Argumento
Conectivo Ou

Um enunciado composto consistindo de duas sentenas ligadas por 'ou' chamase disjuno. Exemplo: Chove ou faz calor

10

Formas de Argumento
Conectivo Se ... ento

Enunciados do tipo se... ento ... chamam-se condicionais. O enunciado subsequente ao 'se' chama-se o antecedente e o subsequente ao 'ento' chama-se o conseqente. Forma do condicional: Se antecedente ento consequente Ex: Se sinto frio ento visto o casaco '.
11

Formas de Argumento
Conectivo Se ... ento

Se antecedente ento consequente

O antecedente condio suficiente para ocorrncia do consequente O consequente condio necessria para ocorrncia do antecedente
Se Juiz ento advogado

Exemplo:

o fato de ser juiz suficiente para ser advogado para algum ser juiz necessrio que seja advogado, mas no o suficiente

12

Formas de Argumento
Conectivo Se ... ento

Exemplo: Que condies so necessrias para um aluno ser aprovado em lgica?

Se aluno foi aprovado ento assistiu aula, estudioso, fez muitos exerccios de lgica tem um bom mtodo de estudo

13

Formas de Argumento
Conectivo Se ... ento

Exemplo: Que condies so necessrias para um aluno ser aprovado em lgica?

Se aluno foi aprovado ento assistiu aula, estudioso, fez muitos exerccios de lgica tem um bom mtodo de estudo
14

Formas de Argumento
Conectivo Se ... ento

Exemplo: O fogo uma condio necessria para a fumaa ou Se houver fumaa haver fogo Exemplo: Se chover ento molha a rua

suficiente chover para voc deduzir que a rua fica molhada o fato da rua ficar molhada no garante que choveu

15

Formas de Argumento
Conectivo Se ... ento

Uma condicional tambm pode ser expressa na ordem inversa. Visto o casaco se sentir frio mantm a semntica de

Se sentir frio, visto o casaco Se sentir frio ento visto o casaco 16

Formas de Argumento
Conectivo Se ... ento

Variaes gramaticais da condicional: (P e Q sentenas quaisquer)


Se P ento Q P implica em Q; P, logo Q P s se Q; P somente se Q P apenas se Q; P s quando Q Q se P ; Q segue de P P condio suficiente para Q Q condio necessria para P
17

Formas de Argumento
Conectivo Se ... ento

Variaes gramaticais da condicional: Exemplo:


Se chove ento molha a rua. Chover implica em molhar a rua. Chove somente se molha a rua Se chove, logo molha a rua Molha a rua, se chove Chover condio suficiente para molhar a rua Molhar a rua condio necessria para chover 18

Formas de Argumento
Conectivo Se ... ento

Os advrbios s, somente e apenas tem significados diferentes dependendo do local em que aparecem na sentena. Representam uma implicao e o conseqente sempre aparece depois do advrbio
Sentena Significado
Se Joo ama alguma coisa, essa coisa Maria Se alguma coisa ama Maria, essa coisa Joo Se Joo tem alguma relao com Maria, essa relao amor
19

Joo ama apenas Maria Apenas Joo ama Maria Joo apenas ama Maria

Formas de Argumento
Conectivo Se ... ento

Exerccio. Identifique antecedente e conseqente das seguintes proposies:


1. 2. 3. 4.

Se a chuva continuar o rio vai transbordar. Maria vende o carro, se comprar a casa. Maria vende o carro s se comprar a casa. Os abacates s esto maduros quando esto escuros e macios.
20

Formas de Argumento

Conectivo Se e somente se

Os enunciados formados com a expresso ...se e somente se... so chamados bicondicionais. Um bicondicional pode ser considerado como uma conjuno de dois condicionais.
21

Formas de Argumento

Conectivo Se e somente se

P se e somente se Q P se Q e P somente se Q Se Q ento P e P somente se Q Se Q ento P e Se P ento Q Se P ento Q e Se Q ento P

22

Formas de Argumento
Exemplo: 'T um tringulo se e somente se T um polgono de trs lados.

Conectivo Se e somente se

Equivale:

T um tringulo se T um polgono de trs lados; e T um tringulo somente se T um polgono de trs lados.

Que equivale:

Se T um polgono de trs lados ento T um tringulo; e se T um tringulo ento T um polgono de trs lados.

23

Formas de Argumento
'T um tringulo somente se T um polgono de trs lados'. equivale a:

Conectivo Se e somente se

'Se T um tringulo ento T um polgono de 3 lados'.

24

Formas de Argumento
Formalizao

Para facilitar o reconhecimento e a comparao de formas de argumento, cada operador lgico representado por um smbolo especial:

No o caso que: ~ ou E: ^ ou & Ou: v Se ... ento: Se e somente se:


25

Formas de Argumento
Formalizao

O Silogismo disjuntivo simbolizado:


. PvQ . ~P Q

Ou assim,
{ P v Q , ~P} Q

26

Formas de Argumento
Formalizao
{ P v Q , ~P} Q

o trao de assero (afirmao), , significa dizer que Q deduzido (provado) apenas dos enunciados (premissas) P v Q e ~P.
27

Formas de Argumento
Formalizao

A linguagem consistindo das letras sentenciais e dos operadores lgicos juntamente com as regras a serem empregadas chama-se a Lgica Proposicional ou Clculo Proposicional. O objetivo fundamental do Clculo /Lgica: Mostrar a Validade de certas formas de argumento.
28

Formas de Argumento
Formalizao

Uma forma de argumento vlida se todas as suas instncias so vlidas. Uma forma de argumento invlida se pelo menos uma de suas instncias invlida. Uma instncia de uma forma de argumento (um argumento particular) vlida somente quando impossvel que a sua concluso seja falsa enquanto suas premissas so verdadeiras. Caso contrrio ela invlida.
29

Formas de Argumento
Formalizao

Mesmo para uma forma de argumento vlida, nem todas as instncias so corretas.
Exemplo: O argumento da Monalisa (exemplo 2) tem a forma vlida mas incorreto Rembrandt pintou a Mona Lisa ou Michelngelo a pintou uma premissa Falsa.

O Silogismo disjuntivo uma forma de argumento vlida, pois para qualquer instncia ocorre que: se as suas premissas forem

verdadeiras, a sua concluso ser verdadeira.

30

Formas de Argumento
Formalizao

Observe a seguinte forma de argumento: . Se P ento Q. . Q. P Ou: {P Q, Q} |-- P Essa forma invlida, pois a seguinte instncia notoriamente invlida:
Se voc est danando na Lua ento voc est vivo. Voc est vivo.
Voc est danando na Lua.
31

Formas de Argumento
Formalizao

Exemplo de formalizao: Simbolize o argumento que segue. A proposta de auxlio est no correio. Se os rbitros a receberem at Sexta-feira, eles a analisaro. Portanto, eles a analisaro porque se a proposta estiver no correio, eles a recebero at Sexta-feira.
32

Soluo:

1[A proposta de auxlio est no correio]. 2[Se os rbitros a receberem at Sexta-feira, eles a analisaro]. Portanto, 3[eles a analisaro] porque 4[se a proposta estiver no correio, eles a recebero at Sexta-feira]. (C,S,A)
C: A proposta de auxlio est no correio. S: Os rbitros recebem a proposta at Sexta-feira. A: Os rbitros analisaro a proposta.

{C, SA, CS} |-- A


1+ 2 + 4 3
33

Frmula bem formada wff well-formed formula

Qualquer letra sentencial uma wff. Se uma wff, ento ~ tambm o . Se e so wff, ento ( &), ( v ), ( ), ( ) tambm o so.

34

Exerccios:
1) Quais das expresses seguintes so frmulas (wff's) e quais no so:
a) ~~~R b) (~R) c) PQ d) ~(PQ) e) ~(~P ^ ~Q)
35

Exerccios:
2) Formalize os seguintes argumentos usando as letras sentenciais indicadas. Utilize os indicadores de inferncia para facilitar. a) Se Deus existe, ento a vida tem significado. Deus existe. Portanto, a vida tem significado. c) Como hoje no Quinta-feira, deve ser Sextafeira. Hoje Quinta-feira ou Sexta-feira.

d) Hoje um fim de semana se somente se hoje Sbado ou Domingo. Portanto, hoje um fim de semana, desde que hoje Sbado.
36

Exerccios:
d) "Hoje quarta-feira ou sexta-feira. Mas no pode ser quarta-feira, pois o consultrio do mdico estava aberto esta manh, e aquele consultrio est sempre fechado s quartas. Portanto, hoje deve ser sexta-feira."

37

Exerccios:
Q: hoje quarta-feira X: hoje sexta-feira C: consultrio aberto {Q v X, (C ^(Q -> ~C))} |- X

38