RACIOCNIO LGICO
Prof Jos Luiz de Morais
Proposies Simples
Proposio simples tomo ou partcula atmica
a sentena que pode ser considerada ou verdadeira ou falsa, ou seja, que pode ser validada. Podendo, assim, ser representada por uma PARTCULA LGICA.
APENAS AS SENTENAS DO TIPO DECLARATIVAS FECHADAS,
VALIDAO
AS SENTENAS: INTERROGATIVAS, EXCLAMATIVAS, IMPERATIVAS E AS
SENTEAS ABERTAS NO PODEM SER VALIDADAS.
1- Jos foi praia.
4- Saia j daqui.
5- ruim hein!
Proposies Compostas
SO FORMADAS POR DUAS OU MAIS PROPOSIES SIMPLES QUE ESTARO SEMPRE UNIDAS POR UM CONECTIVO
LGICO. EM RELAO A ESSE CONECTIVO, O LADO ESQUERDO DA
VALIDAO
AS SENTENAS: INTERROGATIVAS, EXCLAMATIVAS, IMPERATIVAS E AS SENTEAS ABERTAS NO PODEM SER VALIDADAS.
1- Jos foi praia, Maria foi ao cinema.
Proposio Composta
EXERCCIO COMENTADO NA PROPOSIO: [(Mrcio est bem e o nibus est atrasado) ou (a vida longa)] Sabe-se que a consequente da antecedente verdadeira. Assim, essa proposio verdadeira : a. Mrcio est bem. b. Mrcio est bem e o nibus est atrasado.
e. A vida longa.
Representao Lgica
[((Rita est feliz ou a moto de Pedro nova) e (O cinema fechou ao meio dia ou faz frio no Alasca))].
(p ou q) e (r ou z)
(X e W ) [T]
COMBINAO E NMERO
DE VALIDAES DAS PROPOSIES.
COMBINAO E NMERO DE VALIDAES:
PARA n PROPOSIES SIMPLES, O NMERO MXIMO DE VALIDAES, DA PROPOSIO, SER DADO POR 2n LINHAS COMBINATRIAS.
1- p =
V
21
= 2 linhas possveis.
5-
F
2- p e q = 22 = 4 linhas combinatrias. V V
p
V
q
V
r
V
V
V V
V
F F
F
V F
V
F F
F
V F
F
F F
V
V F
V
F V
3- (p e q) ou r = 23 = 8 linhas combinatrias. 4- [(p e q) ou (r e z)] = 24 = 16 linhas combinatrias. 5- [(p e q) ou (r e q)] = 23 = 8 linhas combinatrias.
ESTRUTURAS FUNDAMENTAIS
SENTENAS, SIMBOLOGIA E SIGNIFICADO.
.
SENTENAS SIMBOLOGIA SIGNIFICADO
peq
p ou q ou p ou q se p, ento q
p, se e somente se, q
p^q pvq
CONJUNO
pvq pq pq
EXEMPLOS:
1- O cinema estava lotado. ( p ) 2- Marta estava no parque. ( q )
DESCRIO SENTENCIAL DA COMPOSTA POR DISJUNO:
34-
(p v q)
l-se: p ou q.
[(p v q) r]
l-se: se p ou q, ento r.
5[(r (p ^ q)) v (r v q)]
TABELA VERDADE
TABELA VERDADE
APRESENTAR AS POSSIBILIDADES
DE VALIDAES DA PROPOSIO COMPOSTA.
TABELA VERDADE
CONJUNO DISJUNO DISJUNO EX.
p^q
pvq
pvq
V
V F
V
F V
V
F F
V
V F
V
F V
V
V V
V
V F
V
F V
F
V V
F
CONDICIONAL p q pq
BICONDICIONAL p q pq
V V F F
V F V F
V F V V
V
V
V
F
V
F
F
F
V
F
F
V
RACIOCNIO LGICO
RACIOCNIO LGICO
Prof Jos Luiz de Morais
NEGAES
CONJUNO
p V
q V
p^q V
V F F
F V F
F F F
DISJUNO
p
V V F
q
V F V
pvq
V V V
DISJUNO EXCLUSIVA
p V
q V
pvq F
V F F
F V F
V V F
~(p v q) = (p q)
CONDICIONAL
p V V
q V F
pq V F
F F
V F
V V
~(p q) = (p ^ (~q))
BICONDICIONAL
p V V
q V F
pq V F
F F
V F
V V
~(p q) = (p v q)
EXERCCIO COMENTADO
A negao da afirmao: Vai fazer frio e vai fazer calor, : a. No vai fazer frio e no vai fazer calor.
b. Vai fazer calor e vai fazer frio. c. Ou vai fazer frio ou vai fazer calor. d. No vai fazer frio ou no vai fazer calor. e. Ou no vai fazer calor ou no vai fazer frio.
EXERCCIO COMENTADO
Negar que Pedro foi nadar se e somente se Maria estava vestida equivale a dizer que: a. Pedro foi nadar se e somente se Maria no estava vestida.
b. Pedro foi nadar e Maria estava vestida.
c.
d. e.
EXERCCIO COMENTADO
So equivalentes as negaes cujas tabelas verdade apresentem resultados iguais aos das negaes bsicas.
p
V V F
q
V F V
~q
F V F
p (~q)
F V V
EXERCCIO COMENTADO
Chamamos de
1
TAUTOLOGIA
CONTRADIO CONTINGNCIA
TAUTOLOGIA
CONTRADIO
CONTINGNCIA
Assim: (p ^ p) (p v p) (p v p) (p p)
3 3 2 1
2
1
1 3 2
(p p) 1
EXERCCIO COMENTADO
Relacione as colunas e compare, a relao feita, com a relao proposta abaixo que consideramos estar correta.
A. (p v p) B. (~p ^ p) C. (p v ~p) D. (p ^ p)
feita na vertical, na coluna do conectivo lgico da proposio. Se todos os valores lgicos forem: V: F:
TAUTOLOGIA
CONTRADIO
Assim: (p ^ q) (p v q) :
p q p^ q pvq (p
TAUTOLOGIA
^ q)
V V V V
(p v q)
V V F F
V F V F
V F F F
V V V F
EXERCCIO COMENTADO
Validando a proposio simples r como falsa, necessariamente validaremos a proposio composta A como verdadeira.
EXERCCIO COMENTADO
Quanto proposio abaixo, podemos afirmar que: [((( r x ) v ( r v x )) (( p (~q )) (~( p q))))] a. uma contradio.
b. sua proposio consequente falsa. c. uma tautologia. d. uma contingncia.
RACIOCNIO LGICO
RACIOCNIO LGICO
Prof Jos Luiz de Morais
EXERCCIO COMENTADO
Dadas as proposies simples p e q, tais que p verdadeira e q falsa, considere as seguintes proposies compostas abaixo e indique quantas so verdadeiras:
1-)
pq
2-) ~p q
4-) ~(p q)
EXERCCIO COMENTADO
Entre as opes abaixo, a nica com valor lgico verdadeiro : a) Se Roma a capital da Itlia, Londres a capital da Frana. b) Se Londres a capital da Inglaterra, Paris no a capital da Frana. c) Roma a capital da Itlia e Londres a capital da Frana ou Paris a capital da Frana.
EXERCCIO COMENTADO
Ou Pedro Rico ou Lurdinha foi praia equivale a dizer que Pedro rico, se e somente se, Lurdinha no foi praia.
( ) certo ( ) errado ( ) sem resposta
EXERCCIO COMENTADO
Estudo e trabalho. Trabalho ou rezo. Rezo e estudo. Considerando a primeira proposio composta como verdadeira: a. b. c. d. e. a segunda poderia ser falsa. com certeza, rezo. claro que no rezo. a terceira tem que ser verdadeira. rezar independe para que a segunda seja verdadeira.
EXERCCIO COMENTADO
Dizer que no verdade que Junior est feliz se e somente se Camila foi ao cinema, significa dizer que:
a. Camila foi ao cinema. b. Camila no foi ao cinema e Junior no est feliz. c. Junior no est feliz se e somente se Camila no foi ao cinema. d. Ou Junior est feliz ou Camila foi ao cinema. e. Se Junior no est feliz, ento Camila no foi ao cinema.
EXERCCIO COMENTADO
Considerando que apenas uma das sentenas abaixo necessariamente verdadeira, podemos afirmar que a partcula d poder ser falsa. IIV- a avb IIV(a b) v c c IIIb
VI- c v d
( ) certo
( ) errado
( ) sem resposta
EXERCCIO COMENTADO
a. b. c. d.
dever ser, necessariamente, falsa. no poder ser falsa. s poder ser verdadeira. ser uma proposio composta.
EXERCCIO COMENTADO
Dadas as proposies: Maria inglesa; Jos trabalhador, que assumem, respectivamente, as partculas P; Q, assinale a alternativa correta:
EXERCCIO COMENTADO
Uma proposio composta por disjuno exclusiva verdadeira, de antecedente composta verdadeira e conseqente composta por disjuno, ter como consequente da sua consequente, uma proposio falsa, desde que a antecedente da sua consequente seja verdadeira.
( ) certo ( ) errado ( ) sem resposta
EXERCCIO COMENTADO
EXERCCIO COMENTADO
Para negar a sentena: Se Joo foi praia, ento Dirce no entrou no mar, podemos dizer que:
a. b. c. d. e. Joo foi praia e Dirceu no entrou no mar. Joo foi praia e Dirce entrou no mar. Se Joo no foi praia, ento Dirce pode ter ido ao mar. Se Dirce no entrou no mar, ento Dirce no foi praia. Joo foi praia ou Dirce entrou no mar.