• Revista PROGRAMAR: Já está disponível a edição #53 da revista programar. Faz já o download aqui!

BeDMK

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

8 mensagens neste tópico

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.

0

Partilhar esta mensagem


Link para a mensagem
Partilhar noutros sites

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

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

0

Partilhar esta mensagem


Link para a mensagem
Partilhar noutros sites

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.). ;)

0

Partilhar esta mensagem


Link para a mensagem
Partilhar noutros sites

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

0

Partilhar esta mensagem


Link para a mensagem
Partilhar noutros sites

É 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.

0

Partilhar esta mensagem


Link para a mensagem
Partilhar noutros sites

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.
0

Partilhar esta mensagem


Link para a mensagem
Partilhar noutros sites

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.
0

Partilhar esta mensagem


Link para a mensagem
Partilhar noutros sites

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.

0

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