Ir para o conteúdo
jamirooo

[Resolvido] Lógica de primeira Ordem

Mensagens Recomendadas

jamirooo    0
jamirooo

Boas! primeiro de tudo não sei se era nesta secção que deveria postar a minha dúvida...mas como a disciplina na minha faculdade é considerada como uma cadeira de matemática...então decidi postar aqui... bem a dúvida é que tenho a seguinte sentença:

~( ~Cube(a) & Tet(:thumbsup:)

e que em forma normal negativa fica em:

Cube(a)  | ~ Tet(:P

e agora queria colocá-la em forma normal conjuntiva...

bem espero ter-me feito entender com os caracteres '~','&' e '|' já que não consigo usar os conectivos próprios de lógica...   :down:

Obrigado desde já :)

Partilhar esta mensagem


Link para a mensagem
Partilhar noutros sites
pedrosorio    5
pedrosorio

Epá, eu nunca dei tal coisa na faculdade, mas aquilo que sei de lógica e esta frase da wikipedia:

"All conjunctions of literals and all disjunctions of literals are in CNF, as they can be seen as conjunctions of one-literal clauses and disjunctions of a single clause, respectively."

Assim como este exemplo de forma normal conjuntiva:

~B | C

que se encontram em: http://en.wikipedia.org/wiki/Conjunctive_normal_form

Permitem-me concluir que aquilo que tens já é um forma normal conjuntiva, que por acaso coincide com a forma normal negativa neste caso por ser uma "sentença" relativamente simples.

Estarei correcto?

Partilhar esta mensagem


Link para a mensagem
Partilhar noutros sites
jamirooo    0
jamirooo

hmm...acho que tens razão...porque como são apenas dois literais a sentença ja se encontra em CNF apesar de ter '|'...obrigado! :thumbsup:

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