Professional Documents
Culture Documents
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.
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!
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
^)
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:
P V V F F
Q V F V F
PVQ V V V F
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
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
(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.
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
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.
~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.