Regra geral para transformao da lgica proposicional em equao matemtica

Os valores lgicos de verdadeiro e falso so transformados respectivamente em 1 e 0.

1. para a negacao
~P = (P -1) * -1
Inversor lgico.
2. para conjuno
^ = P * Q
(P * Q) O produto de P por Q.
3. para disjuno
v = (([(P-1)*-1] * [(Q-1) * -1)] -1) * -1
~(~P * ~Q), o inverso do produto de seus inversos.
4. para condicional
-> = ([P] * [(Q-1)*-1]-1)*-1
~(P * ~Q), O inverso do produto de P pelo inverso de Q.
5. para bicondicional
<-> = [(P * ((Q-1)*-1)-1)*-1]*[((((P-1)*-1)*Q)-1)*-1]
~(P * ~Q) * ~(~P * Q) O inverso do produto de P pelo inverso Q.
Tabelas verdade expressas em equaes matemticas
P ~P
0 1
1 0
P Q P ^ Q P Q P v Q
1 1 1 1 1 1
1 0 0 1 0 1
0 1 0 0 1 1
0 0 0 0 0 0
P Q P -> Q P Q P <-> Q
1 1 1 1 1 1
1 0 0 1 0 0
0 1 1 0 1 0
0 0 1 0 0 1
Exemplo 1
P Q ~P ~Q P <-> Q ~Q -> ~P (P ^ ~Q) -> ~P Q ^ ~P
1 1 0 0 1 1 1 0
1 0 0 1 0 0 0 0
0 1 1 0 0 1 1 1
0 0 1 1 1 1 1 0
Exemplo 2
Considerando p e q proposies verdadeiras, e r e s proposies falsas, determine o valor lgico das proposies abaixo
P Q R S
1 1 0 1
(obs.: altere os valores de P, Q, R e S e verifique o resultado)
A) ((~R ^~S) v (P -> Q)) <-> (R v ~Q)
Resp.:
0
Prova T
P Q R S ~R ~S ~Q ~R ^ ~S
1 1 1 1 0 0 0 0
1 1 1 0 0 1 0 0
1 1 0 1 1 0 0 0
1 1 0 0 1 1 0 1
1 0 1 1 0 0 1 0
1 0 1 0 0 1 1 0
1 0 0 1 1 0 1 0
1 0 0 0 1 1 1 1
0 1 1 1 0 0 0 0
0 1 1 0 0 1 0 0
0 1 0 1 1 0 0 0
0 1 0 0 1 1 0 1
0 0 1 1 0 0 1 0
0 0 1 0 0 1 1 0
0 0 0 1 1 0 1 0
0 0 0 0 1 1 1 1
~(P ^ Q) ~P v ~Q
0 0
1 1
1 1
1 1
Considerando p e q proposies verdadeiras, e r e s proposies falsas, determine o valor lgico das proposies abaixo
(obs.: altere os valores de P, Q, R e S e verifique o resultado)
U V X
P -> Q T v U R v ~Q V <-> X
1 1 1 1
1 1 1 1
1 1 0 0
1 1 0 0
0 0 1 0
0 0 1 0
0 0 1 0
0 1 1 1
1 1 1 1
1 1 1 1
1 1 0 0
1 1 0 0
1 1 1 1
1 1 1 1
1 1 1 1
1 1 1 1