barbosadejesu escrito:Reescreva as sentenças que estão em linguagem natural em linguagem simbólica.
a) Se x é par então x não é impar mas se x é impar então 2x é par
Vamos fazer uns contra exemplos para ficar melhor de entender.
Se x é par, ele pode ser 2,4,6,8,...., Então ele não é ímpar, e isso é verdade. uma vez que ele assuma ser par, ele não pode ser ímpar.
X é par = A
X não é impar = A ( lembre-se que: ~(~A)=A)
A ------> A (Verdadeira).
E se tiver uma negação de X, isto é, se ele for ímpar, então a afirmação que 2X é par é verdadeira, pois fazendo alguns testes podemos verificar tal comprovação.
Exemplos: X sendo ímpar, ele pode ser 1,3,5,7,...., então substituindo 2*1=
2 , 2*3=
6, 2*5=
10, 2*7=
14. note que realmente, se ele for par ou ímpar, e assumindo a relação (2X), então ele vai ser sempre par.
Assim,
X não é par = X é ímpar, logo montando esta condicional, fica:
~A -----> C , sabendo que C=2X. ( e afirmar essa relação também é verdade).
Logo, pegando as duas condicionais, podemos concluir que:
(A ------> A)
Λ (~A -----> C)
O
Λ representa o
"mas".