Yahoo Answers is shutting down on May 4th, 2021 (Eastern Time) and beginning April 20th, 2021 (Eastern Time) the Yahoo Answers website will be in read-only mode. There will be no changes to other Yahoo properties or services, or your Yahoo account. You can find more information about the Yahoo Answers shutdown and how to download your data on this help page.

Como validar uma formula em Logica?

Estou com uns problemas em logica

nao sei como provar se a formula eh verdadeira ou nao

por exemplo

Ex( p( x ) ^ k( x ) )

Ex( g( x, x ) ^ ¬ p( x ) )

ajudem aew

1 Answer

Rating
  • 10 years ago

    Se você não consegue provar se a formula está certa, e para que serve ele não pode ser validada, e como se nunca tivesse existido...

Still have questions? Get your answers by asking now.