Raciocnio Lgico Matemtico

Prof. Marcone Sotro

marcone.sotero@pplt.joaquimnabuco.edu.br

Programa
Introduo lgica. Lgica proposicional Argumento Tabela-verdade Tautologias, Contradies e Contingncias Operaes lgicas

Livros
Introduo Lgica Matemtica
PINHO, Antonio A.

Introduo Lgica para a Cincia da Computao

ABE, Jair Minoro; SCALZITTI, Alexandre; FILHO, Joo Incio da Silva.

Provas
Provas Composta de questes objetivas e subjetivas (1, 2, Final e 2 chamada) Os assuntos sero cumulativos para todas as provas Trabalhos acadmicos
No mximo 30% das notas

As provas sero corrigidas em sala de aula na primeira semana posterior a semana de prova

Chamadas
Todas as aulas haver chamada Abonos de faltas s na secretria

Lgica
A Lgica tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigao da verdade

Origem
Aristteles (384-322 a.C.) Sistematizou e organizou o conhecimento sobre a Lgica, elevando-o categoria de cincia. Estabeleceu princpios to gerais e to slidos que at hoje so considerados vlidos.

Origem
Preocupava-se com as formas de raciocnio que, a partir de conhecimentos considerados verdadeiros, permitiam obter novos conhecimentos. A partir dos conhecimentos tidos como verdadeiros, caberia Lgica a formulao de leis gerais de encadeamentos lgicos que levariam descoberta de novas verdades. Essa forma de encadeamento chamada, em Lgica, de argumento.

Proposies
Todo o conjunto de palavras ou smbolos que exprimem um pensamento de sentido completo Uma proposio uma declarao (afirmativa ou negativa) Axioma: sempre ser possvel atribuir um valor lgico, ou V ou F, a uma proposio, conforme ela seja verdadeira ou falsa

Lgica Matemtica
Princpio da no contradio Princpio do terceiro excludo

Proposies
Sete mais trs igual a dez.
Declarao (afirmativa)

Marcone professor de Contabilidade.

Declarao (afirmativa ou negativa)

Maria linda?
Interrogativa

Levante-se.
Imperativa

Exerccio
Sejam 9 moedas idnticas na aparncia mas com uma falsa que no se sabe se mais leve ou mais pesada. Com uma balana de dois pratos, com trs pesadas, determinar a moeda falsa determinando se mais leve ou mais pesada.

Exerccio
Dois monges esto perdidos numa mata e esto passando fome. E s existe uma planta que podem comer. Mas para com-la dever ser fervida durante exatos 30 segundos seno os matara. Mas para marcar o tempo eles s tem 2 ampulhetas uma que marca 22 e outra de 14 segundos. Como que conseguiro marcar o tempo?

Exerccio
H 05 casas de 05 cores diferentes. Em cada casa mora uma pessoa de diferente nacionalidade. Esses 05 proprietrios bebem diferentes bebidas, fumam diferentes tipos de cigarro e tm, cada um diferente dos demais, certo animal de estimao. Nenhum deles tem o mesmo animal, fuma o mesmo cigarro ou bebe a mesma bebida. A questo : quem tem um peixe ?????

Dicas
O homem que fuma Blends vive ao lado de quem tem gatos; O homem que cria cavalos vive ao lado de quem fuma Dunhill; O homem que fuma Bluemaster bebe cerveja; O alem o fuma Prince; O Noruegus vive ao lado da casa azul; O homem que fuma Blends vizinho do que bebe gua. O ingls vive na casa vermelha; O Sueco tem um cachorro; O Dinamarqus bebe ch; A casa verde fica esquerda da casa branca; O dono da casa verde bebe caf; A pessoa que fuma Pall Mall cria pssaros; O dono da casa amarela fuma Dunhill; O homem que vive na casa do centro bebe leite; O Noruegus vive na primeira casa;

Tabela-Verdade
uma tabela por meio da qual relacionam-se e analisam-se os valores lgicos das proposies Proposio Verdadeiro Falso

Conectivos
Negao: No (~ ou ) Conjuno: E (^) Disjuno: OU (v) Disjuno Exclusiva: Ou, .... Ou,... (v) Condicional: Se..... Ento () Bi-Condicional: Se......somente se ()

Negao: No (~ ou )
No Q tem valor lgico oposto daquele de Q. Negao ~Q

Q= ~Q = Nem todos os estudantes so espertos ~Q = Joo no mdico Verdadeiro

P = Nenhum estudante esperto ~P = Algum estudante esperto

Q Q Todos os estudantes so espertos = mdico Joo

Falso
Verdadeiro

Falso

Conjuno: E (^)
A proposio (p ^ q) Conjuno verdadeira se e somente se ambas as p q p^q proposies pe q soe George administrador Eduardo professor verdadeiras professor = Q Verdadeiro Verdadeiro V Eduardo
George administrador = P Q^P=?

Verdadeiro

Falso

Falso Falso

Verdadeiro Falso

F F

Disjuno: OU (v)
A proposio (p v q) Disjuno verdadeira se e P Q PvQ somente se uma das Eduardo proposies professor ou George administrador (ou ambas) Eduardo professor = Q Verdadeiro Verdadeiro V p ou q so George verdadeiras administrador = P
QvP=?

Verdadeiro
Falso Falso

Falso

V
V F

Verdadeiro Falso

Disjuno Exclusiva: Ou, .... Ou,... (v)

A proposio (p v q) Disjuno Exclusiva verdadeira se e P Q PvQ somente se uma das proposies p Pernambucano ou Paraibano Eduardo ou q F so verdadeiras. No Verdadeiro Verdadeiro Eduardo Pernambucano = Q quando Eduardo Paraibano = P ambas so Verdadeiro Falso V verdadeiras = ? QvP
Eduardo ou Pernambucano ou Paraibano V Falso Verdadeiro Falso Falso F

Condicional: Se..... Ento ()

Se p ento q o valor lgico falso no caso em que p verdadeiro e q falso nos demais casos o resultado verdadeiro A primeira proposio (p) chamada de antecedente ou hiptese; a segunda (q), de conseqente Condicional
P Q PQ V

Verdadeiro Verdadeiro

Verdadeiro
Falso Falso

Falso
Verdadeiro Falso

F
V V

Condicional: Se..... Ento ()

Se 4 maior que 2, ento 10 menor que 20 p: 4 maior que 2 q: 10 menor que 20 pq V V Resultado V

Condicional: Se..... Ento ()

Se o ms de Maio tem 31 dias, ento a Terra plana O ms de Maio tem 31 dias: p A Terra plana: q pq V F Resultado F

Bi-Condicional: Se......somente se ()
A proposio composta resultante da operao da dupla implicao de uma proposio em outra s ser verdadeira se ambas as proposies envolvidas na operao tiverem o mesmo valor lgico (ambas verdadeiras ou ambas falsas)

Condicional
P Q PQ V F

Verdadeiro Verdadeiro Verdadeiro Falso

Falso
Falso

Verdadeiro
Falso

F
V

Bi-Condicional: Se......somente se ()
Roma fica na Europa se e somente se a neve branca p: Roma fica na Europa q: Neve branca p q Resultado V Roma fica na Europa se e somente se a neve azul p: Roma fica na Europa q: Neve azul p q Resultado F

Bi-Condicional: Se......somente se ()
Roma fica na frica se e somente se a neve branca p: Roma fica na frica q: Neve branca p q Resultado F Roma fica na frica se e somente se a neve azul p: Roma fica na frica q: Neve azul p q Resultado V