L ogica Cl assica e L ogica Simb olica

Prof. Tiago Semprebom, Dr. Eng.

Instituto Federal de Educa c ao, Ci encia e Tecnologia Santa Catarina - Campus S ao Jos e tisemp@ifsc.edu.br

09 de abril de 2013

SANTA CATARINA

Prof. Tiago (IFSC)

L ogica Matem atica

09 de abril de 2013

1 / 20

Revis ao da u ltima aula

Breve hist orico, introdu c ao sobre L ogica Formal: Dedu c ao e Indu c ao; Exerc cios de Racioc nio L ogico (entregar a lista);

SANTA CATARINA

Prof. Tiago (IFSC)

L ogica Matem atica

09 de abril de 2013

2 / 20

Linguagens para pensar em L ogica

L ngua portuguesa
Pequenos cachorros e gatos. Quem e pequeno? Jo ao est a vendo a casa em cima do morro. Onde est a a casa? Vacas n ao gostam de erva. Que tipo de erva? A l ngua portuguesa muito expressiva, mas amb gua.

SANTA CATARINA

Prof. Tiago (IFSC)

L ogica Matem atica

09 de abril de 2013

3 / 20

Linguagens para pensar em L ogica

Linguagens de programa c ao
Permite descrever algoritmos e estruturas de dados que determinam o estado de um computador e como ele se altera durante a execu c ao do algoritmo. Mas n ao e adequado para escrever conhecimento, verdades, argumentos, ....

Linguagens l ogicas: procuram ser expressivas e n ao amb guas.

P pequenos cachorros Q pequenos gatos P Q : indica que ambos s ao pequenos em cima(joao , morro ) em baixo (casa) vendo (joao , casa)
SANTA CATARINA

Prof. Tiago (IFSC)

L ogica Matem atica

09 de abril de 2013

4 / 20

L ogica Cl assica e L ogica Simb olica

Argumentos formulados em uma linguagem natural, como ingl es ou portugu es s ao amb guos; A partir dos trabalhos de George Boole, foram sendo utilizados s mbolos para expressar enunciados e racioc nios l ogicos; A L ogica apresentada desta forma e chamada de L ogica Matem atica ou L ogica Simb olica; A L ogica baseada em linguagem natural e chamada de L ogica Cl assica.

SANTA CATARINA

Prof. Tiago (IFSC)

L ogica Matem atica

09 de abril de 2013

5 / 20

Proposi co es e Predicados

Muitas ideias envolvidas nos argumentos podem ser apresentadas atrav es de preposi c oes (chamados de enunciados ou senten cas) que se referem a um objeto;
Eu ganhei na Loteria Jos e atirou uma pedra no lago S ocrates e um homem

Tais preposi c oes s ao chamada de singulares.

SANTA CATARINA

Prof. Tiago (IFSC)

L ogica Matem atica

09 de abril de 2013

6 / 20

Proposi co es e Predicados (cont)

Existem outras preposi c oes que fazem refer encia a conjuntos de objetos;
Todos os homens s ao mortais Alguns astronautas foram ` a Lua Nem todos os gatos ca cam ratos

Os termos homens, astronautas egatos s ao conceitos; N ao se referem a nenhum homem, astronauta ou gato em particular; Referem-se um conjunto de propriedades que categoriza o objeto. Tais propriedades s ao chamados predicados.

SANTA CATARINA

Prof. Tiago (IFSC)

L ogica Matem atica

09 de abril de 2013

7 / 20

Proposi co es e Predicados (cont)

Estudo da L ogica Matem atica dividida em duas partes:

C alculo proposicional (ou Setencial)

Se ocupa das proposi c oes singulares;

C alculo de predicados
Que trata dos conjuntos de objetos e suas propriedades; Quando as vari aveis e quanticadores se referem apenas aos objetos; o c alculo de predicados tamb em e chamado de L ogica de primeira ordem;

SANTA CATARINA

Prof. Tiago (IFSC)

L ogica Matem atica

09 de abril de 2013

8 / 20

Princ pios da L ogica

A L ogica formal repousa sobre tr es princ pios fundamentais:

Princ pio de Identidade:

O que e, e. Ou seja, todo objeto e id entico a si pr oprio.

Princ pio da N ao Contradi c ao:

Um objeto n ao pode, simultaneamente, ser e n ao ser. Ou seja n ao e poss vel armar e negar o mesmo predicado para o mesmo objeto ao mesmo tempo; ou ainda de duas arma c oes contradit orias, uma delas e necessariamente falsa.

Princ pio do Terceiro Exclu do:

Todo objeto e ou n ao e. Ou seja, uma dada arma c ao e necessariamente verdadeira ou falsa, n ao existindo uma terceira op c ao.
Prof. Tiago (IFSC) L ogica Matem atica 09 de abril de 2013

SANTA CATARINA

9 / 20

C alculo Proposicional

Na linguagem falada ou escrita, o elemento fundamental ea proposi c ao ou senten ca, que se distingue o nome o qual designa um objeto; Exemplos de nomes:
Pedro O c ao do menino 4 3

Exemplos de Proposi c oes:

A Lua e o sat elite da Terra. O lho do presidente do Brasil, em 1970, e professor. 3x 5 = 5x 3 Onde voc e mora? Escreva um verso
SANTA CATARINA

Prof. Tiago (IFSC)

L ogica Matem atica

09 de abril de 2013

10 / 20

C alculo Proposicional

Na L ogica, restringimo-nos a uma classe de proposi c oes, chamadas declarativas, que admitem ou o valor V ou F, um excluindo o outro.
A Lua e o sat elite da Terra. O lho do presidente do Brasil, em 1970, e professor. 3x 5 = 5x 3 Onde voc e mora? (interrogativa) Escreva um verso (imperativa) Que belo jardim e o desta pra ca! (exclamativas)

SANTA CATARINA

Prof. Tiago (IFSC)

L ogica Matem atica

09 de abril de 2013

11 / 20

C alculo Proposicional

Em linguagem simb olica, representamos as proposi c oes simples pelas letras p, q, r, s, t, etc. Assim se zermos as seguintes representa c oes:
p - A Lua e o sat elite da Terra. q - Pedro Alvares Cabral descobriu o Brasil. r - Ronaldo escreveu Os Lus adas. s- O Brasil e uma monarquia.

Podemos escrever: [p] = V, [q] = V, [r] = F, [s] = F

SANTA CATARINA

Prof. Tiago (IFSC)

L ogica Matem atica

09 de abril de 2013

12 / 20

Resolu c ao de exec cios

Exerc cios sobre Proposi c oes

SANTA CATARINA

Prof. Tiago (IFSC)

L ogica Matem atica

09 de abril de 2013

13 / 20

Proposi co es Compostas (Conectivos)

A partir de preposi c oes dadas podem ser constru das outras por meio dos conectivos: n ao, e, ou, se...ent ao, se e somente se.... Nega c ao:
Colocando-se o n ao antes do verbo da proposi c ao obtemos uma proposi c ao que e a nega c ao da primeira. Exemplo: O professor demonstrou o teorema vem a nega c ao O professor n ao demonstrou o teorema. Introduzindo-se o termo no lugar do n ao, temos: (o professor demonstrou o teorema). Usando letras proposicionais, temos pe p

SANTA CATARINA

Prof. Tiago (IFSC)

L ogica Matem atica

09 de abril de 2013

14 / 20

Proposi co es Compostas (Conectivos)

Conjun c ao: Com o conectivo e, a partir de duas proposi c oes obt em-se uma terceira chamada conjun c ao. Pedro estuda a li c ao, Jo ao vai ` a escola, vem a conjun c ao: Pedro estuda a li c ao e Jo ao vai ` a escola. Utilizando o sinal para o conectivo e, a conjun c ao das proposi c oes p e q ep q

SANTA CATARINA

Prof. Tiago (IFSC)

L ogica Matem atica

09 de abril de 2013

15 / 20

Proposi co es Compostas (Conectivos)

Disjun c ao: Com o conectivo ou, formamos uma proposi c ao denominada disjun c ao. Pedro estuda a li c ao, Jo ao vai ` a escola, vem a disjun c ao: Pedro estuda a li c ao ou Jo ao vai ` a escola. Utilizando o sinal para o conectivo ou, a conjun c ao das proposi c oes p e q ep q

SANTA CATARINA

Prof. Tiago (IFSC)

L ogica Matem atica

09 de abril de 2013

16 / 20

Proposi co es Compostas (Conectivos)

Os sentidos de ou na linguagem: O conectivo ou possui dois aspectos na linguagem. A senten ca chove ou faz frio e verdadeira nos seguintes casos:
a) chove; b) faz frio; c) chove e faz frio.

Observe a senten ca: O Prof. Z e ser a nomeado embaixador no Paraguai ou ser a reitor da USP
a) O Prof. Z e ser a nomeado embaixador no Paraguai; b) ser a reitor da USP;

N ao e poss vel acontecer a) e B). Dizemos que este e um ou exclusivo ( barrado), enquanto que no primeiro caso temos um ou inclusivo ().
SANTA CATARINA

Prof. Tiago (IFSC)

L ogica Matem atica

09 de abril de 2013

17 / 20

Proposi co es Compostas (Conectivos)

Condicional: Com o conectivo se...ent ao..., de duas obtemos uma terceira proposi c ao chamada condicional. Se o professor demonstra o teorema, ent ao Pedro estuda a li c ao e uma condi c ao obtida das senten cas: O professor demonstra o teorema e Pedro estuda a li c ao. Com o s mbolo vem a proposi c ao p q pode-se ler: a) p e condi c ao suciente para q. b) q e condi c ao necess aria proveniente de p.

SANTA CATARINA

Prof. Tiago (IFSC)

L ogica Matem atica

09 de abril de 2013

18 / 20

Proposi co es Compostas (Conectivos)

Bicondicional: Com o conectivo ...se e somente se..., de duas obtemos uma terceira proposi c ao chamada Bicondicional. O professor demonstra o teorema se e somente se Pedro estuda a li c ao e uma condi c ao obtida das senten cas: O professor demonstra o teorema e Pedro estuda a li c ao. Com o s mbolo vem a proposi c ao p q pode-se ler: a) p e condi c ao suciente para q. e q e condi c ao necess aria proveniente de p. b) q e condi c ao suciente para p. e p e condi c ao necess aria proveniente de q. c) p e condi c ao necess arias e suciente para q. d) q e condi c ao necess arias e suciente para p.
Prof. Tiago (IFSC) L ogica Matem atica 09 de abril de 2013

SANTA CATARINA

19 / 20

Resolu c ao de exec cios

Exerc cios sobre C alculo Proposicional

SANTA CATARINA

Prof. Tiago (IFSC)

L ogica Matem atica

09 de abril de 2013

20 / 20