prof.

Alessandro Ramaldes

RACIOCNIO LGICO
Proposies So sentenas que podem ser atribudos valores verdadeiros ou falsos. Estas so proposies valoradas. Existem proposies genricas. Estas devem ter valores verdadeiros e falsos.

prof. Alessandro Ramaldes

RACIOCNIO LGICO
Exemplos. A terra maior que a lua Esta sentena tem valor lgico verdadeiro, portanto no uma proposio genrica Maria bonita. Esta sentena tem valor lgico que pode ser verdadeiro ou falso portanto temos uma proposio genrica.

prof. Alessandro Ramaldes

RACIOCNIO LGICO
Exercitando. Reconhea as proposies abaixo como genricas e proposies valoradas. Renata linda. Pele fez 10 gols pela seleo brasileira. 3 + 4 = 7. Feliz ano novo Flamengo um time de futebol Seja feita a vontade de Deus.

prof. Alessandro Ramaldes

RACIOCNIO LGICO
Questo cespe. Na lista de frases apresentadas a seguir, h exatamente trs proposies. A frase dentro destas aspas uma mentira. A expresso X + Y positiva. O bb o melhor banco do pas Dunga jogou pela seleo brasileira. O que isto?

prof. Alessandro Ramaldes

RACIOCNIO LGICO
Trabalhando com proposies Tomamos como base a seguinte proposio composta. Te darei uma bola e um carrinho. Possibilidades. Dar a bola e o carrinho Dar a bola e no dar o carrinho No dar a bola e dar o carrinho E no dar nenhum dos dois.

prof. Alessandro Ramaldes

RACIOCNIO LGICO
Calculando as possibilidades. Frmula: 2n = numero de possibilidades Onde n o numero de proposies. No exemplo anterior temos duas proposies por isso 4 possibilidades.

prof. Alessandro Ramaldes

RACIOCNIO LGICO
Montando a tabela verdade. Se temos duas proposies sabemos que temos 4 possibilidades, se 3 temos 8.

V V F F V F V F

V V
V V F F F F

V V
F F V V F F

V F
V F V F V F

prof. Alessandro Ramaldes

RACIOCNIO LGICO
Analisando os conectivos lgicos. Primeiro conectivo e smbolo ^ Regra A sentena verdadeira quando todas as proposies forem verdadeiras. Ex: uma pai promete ao seu filho; te darei uma bola e um carrinho.

prof. Alessandro Ramaldes

RACIOCNIO LGICO
Analisando. 1. Notamos o numero de proposies 2. Fazemos a tabela verdade. 3. Damos a sentena segundo a regra do conectivo. 4. Chamamos de A= dar a bola B= dar o carrinho

prof. Alessandro Ramaldes

RACIOCNIO LGICO
A V V F F B V F V F A^B V F F F

prof. Alessandro Ramaldes

RACIOCNIO LGICO
Conectivo ou exclusivo. Ou.... Ou..... Smbolo v REGRA; a sentena verdadeira quando as proposies tiverem valores lgicos diferentes. Tomemos como exemplo ainda a frase; um pai promete ao seu filho ou te darei uma bola ou uma carrinho. Chamemos da A= dar a bola B= dar o carrinho.

prof. Alessandro Ramaldes

RACIOCNIO LGICO

1.
2. 3.

Analisando. Notamos o numero de proposies Fazemos a tabela verdade. Damos a sentena segundo a regra do conectivo.
A V V F F B V F V F A V B F V V F

prof. Alessandro Ramaldes

RACIOCNIO LGICO
Conectivo ou ......Ou..... Smbolo v REGRA; a sentena verdadeira quando pelo menos uma proposio for verdadeira. Tomemos como exemplo ainda a frase; um pai promete ao seu filho te darei uma bola ou uma carrinho. Chamemos da A= dar a bola B= dar o carrinho.

prof. Alessandro Ramaldes

RACIOCNIO LGICO

1.
2. 3.

Analisando. Notamos o numero de proposies Fazemos a tabela verdade. Damos a sentena segundo a regra do conectivo.
A V V F F B V F V F AvB V V V F

prof. Alessandro Ramaldes

RACIOCNIO LGICO
Exercitando. De as sentenas das seguintes equaes lgicas abaixo. 1. (A v B) ^ ( A ^ B) 2. (A v B) v ( A ^ B) 3. (A ^ B) ^ ( A v B)

prof. Alessandro Ramaldes

RACIOCNIO LGICO

RESOLUO 1.
A V V F F B V F V F AvB V V V F A^B V F F F
(A v B) ^ ( A ^ B)

V F F F

prof. Alessandro Ramaldes

RACIOCNIO LGICO

RESOLUO 2.
A V V F F B V F V F AvB V V V F A^B V F F F
(A v B) v ( A ^ B)

F V V F

prof. Alessandro Ramaldes

RACIOCNIO LGICO

RESOLUO 3.
A
V V F F

B
V F V F

A^B
V F F F

A v B
F V V F

(A ^ B) ^ ( A v B)

F F F F

prof. Alessandro Ramaldes

RACIOCNIO LGICO
Negao de uma proposio. Smbolo ~ ou Seja a proposio A Se A = V ento ~A = F Se A = F ento ~A = V

prof. Alessandro Ramaldes

RACIOCNIO LGICO
Exemplos. Maria bonita. Negao = maria no bonita. Joo no mdico. Negao = joo mdico.

prof. Alessandro Ramaldes

RACIOCNIO LGICO

(CESPE) Considere que as letras P, Q, R e T representem proposies e que os smbolos , , e sejam operadores lgicos que constroem novas proposies e significam no, e, ou e ento, respectivamente. Na lgica proposicional, cada proposio assume um nico valor (valor-verdade), que pode ser verdadeiro (V) ou falso (F), mas nunca ambos. Com base nas informaes apresentadas no texto acima, julgue os itens a seguir. 1) Se a proposio T verdadeira e a proposio R falsa, ento a proposio R v ( T) falsa 2)Se as proposies P e Q so verdadeiras e a proposio R falsa, ento a proposio (PR)v(Q) verdadeira.

prof. Alessandro Ramaldes

RACIOCNIO LGICO
Se a proposio T verdadeira e a proposio R falsa, ento a proposioR v ( T) falsa RESOLUO T= V R = F Da temos F v ~V F v F = F CORRETA A QUESTO

prof. Alessandro Ramaldes

RACIOCNIO LGICO
2)Se as proposies P e Q so verdadeiras e a proposio R falsa, ento a proposio (PR)v(Q) verdadeira. RESOLUO Substituindo os valores temos; ( V ^ F ) v ~V ( F ) v F F QUESTO ERRADA.

prof. Alessandro Ramaldes

RACIOCNIO LGICO

EXERCICIOS CESPE.

prof. Alessandro Ramaldes

RACIOCNIO LGICO
23. resoluo.~(AvB)v(AvB) Temos que independente isso quer dizer que so todas as possibilidades. Da temos a tabela verdade.

A V V F F B V F V F AvB V V V F ~(AvB) F F F V .~(AvB)v( AvB) V V V V

QUESTO CORRETA.

prof. Alessandro Ramaldes

RACIOCNIO LGICO

24. resoluo.
Seja A= todos os beija-flores... Seja B= algum beija-flor.... Negao de todos = algum Negao de nenhum = algum Negao de algum = todos ou nenhum. Ento temos se A=F temos B= ~A da B= V Correta a questo.

prof. Alessandro Ramaldes

RACIOCNIO LGICO
25. resoluo ~AvB= V e sendo A=F Sabemos que conectivo ou a sentena verdadeira quando ao menos uma proposio for verdadeira da temos. FvB=F obrigatoriamente B tem que ser falso. Questo errada.