Logica proporcional = Proposio

Estrutura lgica:
Proposio toda orao declarativa que pode ser classificada em falsa ou verdadeira, mas no
as duas. Ou afirmativa e negativa.
Conectivos lgicos: se, ou, se ento, se somente se.

Tabela verdade:
Proposio P e Q, P ^ Q = conjuno
Conectivo: e
P ^ q s verdadeira se as duas forem verdadeiras
P Q P ^ Q = P e Q
V V V
V F F
F V F
F F F

****************************************************************************
Proposio P ou Q, P v Q = disjuno
Conectivo: ou
P v Q s falsa se as duas forem falsas
P Q P v Q = P ou Q
V V V
V F V
F V V
F F F

*****************************************************************************
Proposio: se P ento Q, P - - > Q = Condicional
Conectivo: se ento
P - - > Q: s falsa se P verdadeira e Q falsa
P Q P - - > Q
V V V
V F F
F V V
F F V
*****************************************************************************
Proposio: se P ento Q, P < - - > Q = Bi - Condicional
Conectivo: se somente se
um se indo e voltado, ou seja, um se de P para Q e de Q para P
P < - - > Q: s falsa se houver uma verdadeira e uma falsa
P Q P < - - > Q
V V V
V F F
F V F
F F V

*****************************************************************************
Resumo das tabelas verdade, para resoluo de exerccio.

Proposio Condio para Ser Verdadeira
P ^ Q V V
P v Q No pode ter FF
P - - > Q No pode ter VF
P < - - > No pode ter V F nem F V

*****************************************************************************
Exerccio Exemplos.
Proposio simples que no existe conectores.

1 Ana artista ou Carlos carioca.

Se Jorge juiz, ento Lcia no linda.

Se Carlos carioca, ento Lcia linda.


Av v Cf
J v - - > ~L v
obs: ~ significa no

C f - - > L f
J v
Concluses, Somente as verdadeiras.
A, ~C, J, ~L
Ana artista, Carlos no carioca.
Jorge juiz, Lucia no linda.
Carlos no carioca, Lcia no linda.



2 Andr inocente ou Beto inocente
Se Beto inocente, ento, Caio culpado
Caio inocente se e somente se Dnis
culpado
Dnis culpado.








Av v Bf
Bf - - > ~ Cf
C v< - -> ~D v
~D v.
Concluses, somente as verdadeiras.
A, ~B, C, ~D
Andr inocente, Beto culpado.
Beto culpado, ento caio inocente.
Caio inocente, Dnis culpado.
Dnis culpado.

-------------------------------**************************----------------------------------------------

Exerccio Concurso.

01. Se a = b + p, ento a = z + r
Se a = z + r, ento a = w r
Por outro lado, a = b + p, ou a = 0
Se a = 0, ento a + u = 5
Ora a + u <> 5

Logo:
A) W R = 0
B) A <> B + P


Resposta:
Princpio: As proposies so sempre
pressuposta mente verdadeiras.

A = B+ Pv - -> vA = Z + R
A = Z + Rv -- > vA = W R
A = B+ Pv v A = 0f
A = 0f - -> f A + U = 5
A + U <> 5v
C) A = W R, CERTA
D) Z + R <> W - R
E) B + P <> W - R


-------------------------------**************************----------------------------------------------

02.
Carlos compra um carro, ou Ana vai
frica, ou Rui vai a Roma.
Se Ana vai frica, ento Luiz vai lua.
Se Luiz vai lua, ento Rui vai a Roma.
Ora, Rui no vai a Roma. Logo:

Resposta.
Letra A
Carlos compra um carro e Ana no vai
frica.

Cv v Af v Rf
Af - - > Lf
Lf - - > Rf
~R v
Concluses
C, ~A, ~R, ~ L



OBS: Princpio: As proposies so sempre
pressuposta mente verdadeiras.
-------------------------------**************************----------------------------------------------
03. Se no durmo, bebo.
Se estou furioso, durmo.
Se durmo, no estou furioso.
Se no estou furioso, no bebo.
Logo:

OBS: A virgula esta ocultando o Ento da
Condio.
Quando no tem proposio simples, o jeito
tentar de uma forma se no der tenta da
outra, mas sempre respeitando o Quadro
Resumo de Verdade
Resposta:
Letra D,
Durmo, no estou furioso e no bebo
~Df - -> Bv
Ff - -> Dv
Dv - -> ~Fv
~Fv - - > ~Bv
Concluses
D, ~B, ~F,

-------------------------------**************************----------------------------------------------
Tabela Verdade
P Q P ^ Q P v Q P - - > Q P < - - > Q
V V V V V V
V F F V F F
F V F V V F
F F F F V V

Construo da tabela Verdade
Exercicio
01. (P ^ Q) -- > (P v Q)
P Q P ^ Q P v Q (P ^ Q) -- > (P v Q)
V V V V V
V F F V V
F V F V V
F F F F V
Tautologia.
TAUTOLOGIA a proposio composta que sempre verdadeira.
----------------------------------*******************************-----------------------------------
02. (P ^ ~Q) < - - > (~P v Q)
P Q ~P ~ Q P ^ ~Q ~P v Q (P ^ ~Q) < - - > (~P v Q)

V V F F F V F
V F F V V F F
F V V F F V F
F F V V F V F

CONTRADIO a proposio composta que sempre falsa

03. (P - - > ~P) v (Q ^ ~Q)
P Q ~P ~ Q P - - > ~P Q ^ ~Q (P - - > ~P) v (Q ^ ~Q)
V V F F F F F
V F F V F F F
F V V F V F V
F F V V V F V

CONTINGNCIA a proposio composta que verdadeira e falsa, ou seja misturada

--------------------------**************************------------------------------------------
01) O candidato A ser eleita ou no ser eleita.
Essa frase uma TAUTOLOGIA, ou seja a proposio composta sempre verdadeira.
Obs: Para frases obvias como essa, sempre TAUTOLOGIA
--------------------------**************************------------------------------------------
02) (P v Q) - - > P
P Q P v Q (P v Q) - - > P
V V V v
V F V V
F V V F
F F F V
CONTINGENCIA