Lógica - questão hard

Assuntos matemáticos relacionados ao ensino superior.

Moderadores: Paulo Testoni, Elcioschin

Lógica - questão hard

Mensagempor barbosadejesu » Segunda Abr 02, 2018 6:44 pm

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
barbosadejesu
 
Mensagens: 59
Registrado: Segunda Nov 22, 2010 8:45 pm

Re: Lógica - questão hard

Mensagempor Edu Lima » Terça Abr 03, 2018 10:37 pm

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".
Edu Lima
 
Mensagens: 138
Registrado: Sábado Jan 20, 2018 11:50 pm

Re: Lógica - questão hard

Mensagempor barbosadejesu » Sexta Abr 06, 2018 12:58 am

Muito Obrigado Senhor Edu Lima!

Atenciosamente,

Barbosa
barbosadejesu
 
Mensagens: 59
Registrado: Segunda Nov 22, 2010 8:45 pm


Voltar para Ensino Superior

Quem está ligado

Usuários navegando neste fórum: Nenhum usuário registrado e 11 visitantes