Página 1 de 1

Lógica - questão hard

MensagemEnviado: Segunda Abr 02, 2018 6:44 pm
por barbosadejesu
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

Re: Lógica - questão hard

MensagemEnviado: Terça Abr 03, 2018 10:37 pm
por Edu Lima
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".

Re: Lógica - questão hard

MensagemEnviado: Sexta Abr 06, 2018 12:58 am
por barbosadejesu
Muito Obrigado Senhor Edu Lima!

Atenciosamente,

Barbosa