Ir para o conteúdo
BeDMK

Dúvida em exercício de Lógica Formal

Mensagens Recomendadas

BeDMK    0
BeDMK

Venho por meio deste tópico solicitar auxílio em um exercício de Lógica Formal.

Enunciado: classifique os seguintes argumentos, através dos critérios: indutivo ou

dedutivo, identificando seus elementos, premissas, indicadores de inferência e

conclusão. Em caso de argumentos indutivos, justifique através da exigência de

total evidência, avaliando a probabilidade indutiva mediante a adição de

premissas.

a) X é par e Y é ímpar, portanto, X + Y é ímpar e Y² é ímpar.

:D Algumas pessoas que mudam de pais esquecem a sua ortografia. Franz

imigrou da Alemanha para Portugal. Portanto Franz não escreve alemão

perfeitamente.

c) Todo número natural é par ou ímpar, X é um número natural então X² é ímpar.

Se é dedutivo ou indutivo eu sei identificar, porém justificar através da exigência de

total evidência, avaliando a probabilidade indutiva mediante a adição de

premissas eu estou com dificuldades.

Obrigado pela atenção.

Partilhar esta mensagem


Link para a mensagem
Partilhar noutros sites
djthyrax    11
djthyrax

O facto de não teres tido respostas não significam que não te deram atenção, o mais provável é não terem conhecimentos para te ajudarem (o meu caso p.e.). ;)

Partilhar esta mensagem


Link para a mensagem
Partilhar noutros sites
Aqua Costa    0
Aqua Costa

desculpa, não tenho conhecimentos para te ajudar nesse problema. Não consiguo entender o problema(nem sei o que significa a palavra "indutiva").

Partilhar esta mensagem


Link para a mensagem
Partilhar noutros sites
JD557    0
JD557

É pá, também só sei dizer se é dedutivo e indutivo, não te sei dizer mais nada.

"Obrigado" pela excelente atenção...

Depois dizem que os brasileiros são vagabundos...

Não vejo a relação... Não tiveste resposta, ok... Mas isso é comum em muitas comunidades...

Para além de que não é um problema relativo a programação, que é o tema deste fórum.

Logo, acho que não deverias estar a julgar os habitantes de uma nação só porque ninguém te respondeu, para além de que essa atitude ainda me tira a vontade de te ajudar.

Partilhar esta mensagem


Link para a mensagem
Partilhar noutros sites
djthyrax    11
djthyrax

Para além de que não é um problema relativo a programação, que é o tema deste fórum.

A lógica é uma das bases da programação.

Partilhar esta mensagem


Link para a mensagem
Partilhar noutros sites
Betovsky    2
Betovsky

A lógica é uma das bases da programação.

Heh mais ou menos. Lógica matemática sim, mas esta lógica é mais "filosófica" e não entra tanto na programação. Eu nunca dei nada disto, mas dei lógica como por exemplo indução, a do ramo da matemática de onde, na programação, provem os tipos indutivos por exemplo.

Partilhar esta mensagem


Link para a mensagem
Partilhar noutros sites
JD557    0
JD557

Exacto, esta não é lógica matemática, é lógica formal.

A lógica matemática é (praticamente) toda dedutiva, logo, a lógica indutiva não está assim tão relacionada com programar.

Partilhar esta mensagem


Link para a mensagem
Partilhar noutros sites

Crie uma conta ou ligue-se para comentar

Só membros podem comentar

Criar nova conta

Registe para ter uma conta na nossa comunidade. É fácil!

Registar nova conta

Entra

Já tem conta? Inicie sessão aqui.

Entrar Agora


×

Aviso Sobre Cookies

Ao usar este site você aceita os nossos Termos de Uso e Política de Privacidade