first-order-logic

1Hitze

2Antwort

p (x) ⇒ xx.p (x) ist kontingent?

Ich habe eine Frage begegnet der Frage, ob der fließende Satz gilt/Kontingent/unerfüllbar: p(x)⇒∀x.p(x) Ich denke, die Antwort ist der Satz gültig ist. unter Abschnitt 6.10 des Lehrbuchs hier http:/

logic first-order-logic 2016-07-17

---

5Hitze

1Antwort

Welchen Vorteil bringen Typen logische Programmiersprachen wie Mercury?

Ich habe angefangen, die Mercury Sprache zu betrachten, die sehr interessant scheint. Ich bin ein Neuling in der Logikprogrammierung, aber ziemlich erfahren in der funktionalen Programmierung in Scala

types logic first-order-logic mercury 2014-04-11

---

24Hitze

2Antwort

Prädikatenlogik in Haskell

Ich habe für die Darstellung der Aussagenlogik in Haskell folgende Datenstruktur unter Verwendung von: data Prop = Pred String | Not Prop | And Prop Prop | Or Prop Prop | Impl

haskell data-structures context-free-grammar first-order-logic 2010-07-12

---

0Hitze

1Antwort

Könnte jemand eine menschliche Sprache Beispiel geben, die ∀x testen konnte. (Px => q) hat euqal zu ∃x.px => q

I Problem haben die Gleichwertigkeit des folgenden Satzes intuitiv für lange Zeit zu verstehen . ∀x (px => q) ∃x.px => q ich verstehe die Wahrheitstabelle unten tut, sagt, sie sind gleichwertig: p(a)

logic quantifiers first-order-logic 2016-07-19

---

2Hitze

4Antwort

Darstellen eines Satzes in FOL

Wie den folgenden Satz in FOL darzustellen (First Order Logic) "Es gibt ein Tier, das nur Fleisch isst" Ist die folgende represantaion wahr? Ǝx Essen (x, Fleisch) wo x ist Tier

first-order-logic 2011-01-03

---

-2Hitze

2Antwort

können Sie mir helfen, FORALLO logische Formel zu äquivalenter nicht existierender Formel umzuwandeln?

i haben diese Formel ∀x ∀y (A(x,y) V A(y,x) → B(y,c1) ∧ B(x,c2) ∧ c1≠c2) der äquivalenten Formel daß Existenzquantor durch Verwendung von?

logic first-order-logic 2016-06-24

---

0Hitze

1Antwort

Legierung - Vergleichen in erster Ordnung Logik

Wie vergleicht man die Gleichheit der Funktionen in Alloy? Etwas wie: --[(All x)(Exists y)[R(x,y)] -- and (All x)(All y)[R(x,y) -> R(y,x)]] -- = -- (All x)[R(x,x)] and assert checkEquality{

alloy first-order-logic 2016-04-07

---

0Hitze

1Antwort

Ist ∃x.px => q gleich ∃x. (Px => q)?

I wondered wenn die sentences ∃x.px => q equal zu ∃x. (Px => q). Ich denke, sie ist aus folgendem Beispiel gleich sind: Die Instanz des ersten Satzes: Wenn es eine Kuh gibt, dann ist es ein Säugetier.

logic quantifiers first-order-logic 2016-07-21

---

0Hitze

1Antwort

Ist es möglich, eine kontextfreie Grammatik mit Logik erster Ordnung darzustellen?

Kurz gesagt, ich habe eine EBNF-Grammatik und so einen Parse-Tree, aber ich weiß nicht, ob es eine Prozedur gibt, um es in First Order Logic zu übersetzen. Zum Beispiel: DR ::= E and P P ::= B | (and

prolog ebnf first-order-logic 2016-04-29

---