Scrates considerado o pai da lgica. Scrates era considerado pelos seus contemporneos um dos homens mais sbios e inteligentes.

s. Em seus pensamentos, demonstra uma necessidade grande de levar o conhecimento para os cidados gregos. Seu mtodo de transmisso de conhecimentos e sabedoria era o dilogo. Atravs da palavra, o filsofo tentava levar o conhecimento sobre as coisas do mundo e do ser humano.

Frases e pensamentos de Scrates

Sbio aquele que conhece os limites da prpria ignorncia. melhor fazer pouco e bem, do que muito e mal. Alcanar o sucesso pelos prprios mritos. Vitoriosos os que assim procedem. A ociosidade que envelhece, no o trabalho. O incio da sabedoria a admisso da prpria ignorncia. Chamo de preguioso o homem que podia estar melhor empregado. No penses mal dos que procedem mal; pense somente que esto equivocados. Quatro caractersticas deve ter um juiz: ouvir cortesmente, responder sabiamente, ponderar prudentemente e decidir imparcialmente. Todo o meu saber consiste em saber que nada sei. Conhece-te a ti mesmo e conhecers o Universo de Deus.

NOES DE LGICA MATEMTICA NOES DE LGICA MATEMTICA

CLCULO PROPOSICIONAL Como primeira e indispensvel parte da Lgica Matemtica temos o CLCULO PROPOSICIONAL ou CLCULO SENTENCIAL ou ainda CLCULO DAS SENTENAS.

CONCEITO DE PROPOSIO
PROPOSIO: sentenas declarativas afirmativas (expresso de uma linguagem) da qual tenha sentido afirmar que seja verdadeira ou que seja falsa. Ex1: A lua quadrada. (F) Ex2: A neve branca. (V) Ex3: O BOTAFOGO o melhor time do Brasil. (V) No sero objeto de estudo as sentenas interrogativas, imperativas ou exclamativas. Ex1: Quem ganhou o jogo? Ex2: Mude a mesa de lugar. Ex3: Que tima manh!

OS SMBOLOS DA LINGUAGEM DO CLCULO PROPOSICIONAL

VARIVEIS PROPOSICIONAIS: letras latinas minsculas p,q,r,s,.... para indicar as proposies (frmulas atmicas) . Exemplos: A lua quadrada : p A neve branca : q CONECTIVOS LGICOS: As frmulas atmicas podem ser combinadas entre si e, para representar tais combinaes usaremos os conectivos lgicos : ^ = e ; V = ou ; = se...ento , : se e somente se ~ = no

 Exemplos: A lua quadrada e a neve branca. : p ^ q (p e q so chamados conjunctos) A lua quadrada ou a neve branca. : p V q ( p e q so chamados disjunctos) Se a lua quadrada ento a neve branca. : p q ( p o antecedente e q o conseqente) A lua quadrada se e somente se a neve branca. : p q A lua no quadrada. : ~p

 A lgica matemtica (ou lgica simblica), trata do estudo das sentenas declarativas tambm conhecidas como proposies, as quais devem satisfazer aos dois princpios fundamentais seguintes: _ Princpio do terceiro excludo: uma proposio s pode ser verdadeira ou falsa, no havendo outra alternativa. _ Princpio da no contradio: uma proposio no pode ser ao mesmo tempo verdadeira e falsa.

Valores Lgicos das proposies Valores Lgicos das proposies O valor lgico de uma proposio p a verdade, se p verdadeira, ou uma falsidade se p falso: v(p) = V ( o valor lgico de p verdadeiro) v(p) = F ( o valor lgico de p falso) Exemplo: p: A Lua o satlite da Terra; q: Berlim a capital da Frana. Ento: v(p) = V e v(q) = F Tabela-Verdade O conjunto de proposies e seus valores lgicos podem ser dispostos numa tabela, que chamamos de Tabela-Verdade. Exemplo:Sejam p e q as proposies. Ento temos a tabela:

Observe que o nmero de linhas da tabela depende don nmero de proposies, e pode-se obter fazendo 2 ( onde n a quantidade de proposies)

P V V F F

Q V F V F

Conectivo de Conjuno("e" - representado por

^)

Se: p: Maria tem um gato; q: Jos tem um cachorro. A proposio composta p^q ser:Maria tem um gato e Jos tem um cachorro. Ento p^q somente verdadeira se ambas as proposies so verdadeiras. Se ambas, ou uma delas falsa, a proposio ser falsa. Assim, pode-se expressar a tabela verdade de conjuno como:

TABELA VERDADE DE

P^Q

P V V F F

Q V F V F

P^Q V F F F

Exemplo: p: O Brasil est na Europa; q: A Argentina est na Amrica do Sul Como: v(p) = F e v(q) = V Ento:v(p^q) = F

Conectivo de Disjuno ( "ou" - representado por v) Neste caso, devemos antes analisar o conectivo "ou". Ele pode ser "inclusivo" (considera os dois casos) ou "exclusivo" (considera apenas um dos casos) Exemplo: p: Paulo professor ou administrador q: Maria jovem ou idosa No primeiro caso, o "ou" inclusivo pois, pelo menos uma das proposies verdadeira, podendo ser ambas. Mas no caso da segunda, o "ou" exclusivo, pois somente uma das proposies poder ser verdadeira.Assim, pode-se expressar a tabela-verdade da disjuno "inclusiva" como:

TABELA-VERDADE DA DISJUNO "INCLUSIVA"

P V V F F

Q V F V F

PVQ V V V F

Regra de Morgan ~(p^q) =~pv~q

Est regra importante pois relaciona os conectivos ^ com v Obs: Verifique a regra atravs da tabela verdade

Aplicao (TRF)- A negao da sentena Ana no voltou e foi ao cinema : a)Ana no voltou e foi ao cinema. b)Ana no voltou e no foi ao cinema. c)Ana no voltou ou no foi ao cinema. d)Ana voltou e no foi ao cinema. e)Ana voltou ou no foi ao cinema.

Tabela verdade da Implicao ou Condicional: a implicao falsa se, e somente se, o antecedente verdadeiro e o conseqente falso

P V V F F

Q V F V F

P V F V V

P tambm chamado de condio suficiente para Q. Q denominado de condio necessria para P

Aplicao (TRF-2006)Se voc se esforar, ento ir vencer. Assim sendo, (A) se voc no se esforar, ento no ir vencer. (B) seu esforo condio necessria para vencer. (C) seu esforo condio suficiente para vencer. (D) voc vencer s se se esforar. (E) mesmo que se esforce, voc no vencer.

Teorema do contrarrecproco

P Q equivalente a ~Q ~P negao ao contrrio. Obs: Verifique pela tabela verdade.

(Analista Judicirio)- Se Lucia pintora, ento ela feliz. Portanto: (A)Se Lucia feliz, ento ela pintora. (B)Se Lucia feliz, ento ela no pintora. (C)Se Lucia no pintora, ento ela feliz. (D)Se Lucia no feliz, ento ela no pintora. (E)Se Lucia pintora, ento ela no feliz.

. Tabela verdade da Bi-Implicao ou Bicondicional: a

bi-implicao verdadeira se, e somente se seus componentes so ou ambos verdadeiros ou ambos falsos

P V V F F

Q V F V F

P V F F V

EXERCCIOS DE LGICA RESOLVIDOS

1. Qual o valor lgico de: " falso que 3 + 4 = 7 e 2 + 2 = 5 Temos que: v(3 + 4=7) = V e v(2 + 2 = 5) = F Ento:v(3+4=7 ^ 2+2=5) = F logo: Resp = [~(3+4=7 ^ 2+2=5)] = V 2. Determine o valor lgico da sentena : "Se 4+4=9, ento eu sou rei da Espanha" Se: p : 4+4 = 9; q : eu sou rei da Espanha Ento v(p) = F e v(q) = F logo: Resp = v(p->q) = V 3. Sejam as proposies: p: os agricultores se mobilizam q: a reforma agrria continua sem soluo Simbolize a sentena : "Se os agricultores no se mobilizam, ento a reforma agrria continua sem soluo" Temos que: ~p : os agricultores no se mobilizam Logo Resp= ~p ->q

Exerccios Propostos de Lgica

4. Qual a negao de x menor ou igual a -5? 5. Determinar "P(FF,FV,VF,VV)"de: (p^~q) v (~p^q) Obs: TAUTOLOGIA: Sa proposies que so sempre verdadeiras, independente dos valores lgicos das proposies simples que as compem. 6. Verificar se a proposio abaixo Tautologia(verdadeira): (p v q <--> ( p -> q)) -> p" 7. Construir a tabela verdade e verificar se so Tautologias: a)~(p v q) ^ ~(q <-->p) b) ~(p^q) <--> (~pv~q)

Tautologias - Exemplos
3. A proposio p v ~(p ^ q) tautologia, conforme mostra a sua tabela-verdade:
p q p^q ~(p ^ q) p v ~(p ^ q)

V V F F

V F V F

V F F F

F V V V

V V V V

Obs: CONTRADIO: So proposies que so sempre FALSAS, independente dos valores lgicos das proposies simples que as compem. 8-Construa as tabelas verdades e verifique se as proposies abaixo so contradies: a) ~p^(p^~q) b)(p^q)^(pVq) Obs: EQUIVALENTES: So duas ou mais proposies so equivalentes quando formadas pelas mesmas proposies simples resultam tabelas verdades idnticas. 9-Construa as tabelas verdades e verifique se as proposies abaixo so equivalentes: a) p->q e (~pVq) b) p->q e ~q->~p Obs: Afirmar que Srgio no entende de matemtica ento Alexandre no trabalha no IESPES. a mesma coisa que afirmar que Alexandre trabalha no IESPES ento Srgio entende de matemtica.

 (TRF)-Se Rodrigo mentiu, ento ele culpado. Logo, (A) se Rodrigo culpado, ento ele mentiu (B) Rodrigo culpado. (C) se Rodrigo no mentiu. ento ele no culpado. (D) Rodrigo mentiu. (E) se Rodrigo no culpado, ento ele no mentiu.

(Esaf-AFC)A proposio p equivalente a: a)Pvq b)p^q c)~p q d)~q p e)~pv~q

~q

(MPU-Tcnico Admistrativo)Dizer que Pedro no pedreiro ou Paulo paulista o mesmo que dizer que: a)Se Pedro pedreiro, ento Paulo paulista. b)Se Paulo paulista, ento Pedro paulista. c)Se Pedro no pedreiro, ento Paulo paulista. d)Se Pedro pedreiro, ento Paulo no paulista. e)Se Pedro no pedreiro, ento Paulo no paulista.

PARA RELAXAR Lgica Doida

1. Imagine um pedao de queijo suo, daqueles cheios de buracos. Quanto mais queijo, mais buracos. Cada buraco ocupa o lugar em que haveria queijo. Assim, quanto mais buraco, menos queijo. Quanto mais queijo, mais buraco e quanto mais buraco, menos queijo. Logo, quanto mais queijo, menos queijo. 2. Toda a regra tem uma exceo. Isto uma regra. Logo, deveria ter uma exceo. Portanto, nem toda a regra tem uma exceo. 3. Disseram-me uma vez que eu NO sou ningum. Ningum perfeito. Logo, eu sou perfeito. Mas s Deus e perfeito. Portanto, eu sou Deus.