Sejam ~, ˅, ˄ e ↔ os símbolos, respectivamente, dos seguinte...
Sejam ~, ˅, ˄ e ↔ os símbolos, respectivamente, dos seguintes conectivos lógicos: negação, disjunção, conjunção e bicondicional. Considere as proposições p e q a seguir:
p: O Brasil é o maior país da América do Sul;
q: A França é um país asiático.
Pode-se afirmar sobre o valor lógico da proposição composta R: ~(p ˄ q) ˅ ~ (q↔ p) que:
R:~(p ˄ q) ˅ ~ (q↔ p)
Primeiro deve-se responder os parenteses, como numa equação matemática qualquer:
(p conjunção com q) para ser verdade as duas proposições devem ser verdadeiras.
p=verdade e q=falsidade, portanto, (p^q)=Falsidade
(q↔p) neste caso, para ser verdade, ambas devem ser verdadeiras ou falsas
q=Falsidade e p=verdade, portanto, (q↔p)=Falsidade
R:~F v ~F, resolve-se as negações, portanto negação de Falso é Verdadeiro, então,
R:V v V, por fim resolve-se a disjunção, se ambas as proposições são verdadeiras, então
O Valor Lógico de R é Verdade
P = VERDADEIRO
F = FALSO
R: ~(p ˄ q) ˅ ~ (q↔ p)
R: ~(V ^ F) v ~(F <-> V)
R: ~ F v ~F
R: V v V
R: VERDADE
R: ~(P e Q) ou ~(Q se, somente se P)
R: ~(V e F) ou ~(F se, somente se V)
R: ~(F) ou ~(V)
R: V ou F
R: V