Jump to content
jamirooo

[Resolvido] Lógica de primeira Ordem

Recommended Posts

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á :)

Share this post


Link to post
Share on other sites
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?


Não respondo a dúvidas por mensagem.

Share this post


Link to post
Share on other sites
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:

Share this post


Link to post
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now

×
×
  • Create New...

Important Information

By using this site you accept our Terms of Use and Privacy Policy. We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.