09 de abril de 2013
SANTA CATARINA
09 de abril de 2013
1 / 20
SANTA CATARINA
09 de abril de 2013
2 / 20
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
09 de abril de 2013
3 / 20
09 de abril de 2013
4 / 20
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
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
SANTA CATARINA
09 de abril de 2013
6 / 20
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
09 de abril de 2013
7 / 20
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
09 de abril de 2013
8 / 20
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
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
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.
SANTA CATARINA
09 de abril de 2013
12 / 20
SANTA CATARINA
09 de abril de 2013
13 / 20
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
09 de abril de 2013
14 / 20
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
09 de abril de 2013
15 / 20
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
09 de abril de 2013
16 / 20
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
09 de abril de 2013
17 / 20
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
09 de abril de 2013
18 / 20
SANTA CATARINA
19 / 20
SANTA CATARINA
09 de abril de 2013
20 / 20