2
$\begingroup$

I have a predicate calculus (first-order logic) problem. I have the formula

$\qquad \forall x[\neg P(x) \land \forall y \neg Q(x,y) \rightarrow \forall x \forall y R(x,y,z)]$

I want to express this in Skolem normal form. How can I do this using Mathematica?

Improve this question
$\endgroup$
2
  • 4
    $\begingroup$ Please consider adding more detail and some Wolfram Language code (even if it's just your equation) to your question. What is a skolem shape - are they related to Randolph diagrams? What have you tried so far and where exactly are you stuck? $\endgroup$
    – Carl Lange
    Commented Aug 4, 2019 at 15:15
  • $\begingroup$ @CarlLange, I mean skolem normal form $\endgroup$
    – Elvin
    Commented Aug 5, 2019 at 15:31

0

Reset to default

Browse other questions tagged or ask your own question.