Iff from PLSyntax

Master / Vertiefung Logikbasierte Wissensrepräsentation
1

Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.

2

Iff from PLSyntax
Hello,

please can someone remind me what happens procedurally at [A, B] in the equation ?

iff : prop ⟶ prop ⟶ prop ❘ # 1 ⇔ 2 prec 30 ❘ = [A,B] (A ∧ B ) ∨ (¬ A ∧ ¬ B) ❙

Is it like a function taking two parameters A and B, and the applying the “(A ∧ B ) ∨ (¬ A ∧ ¬ B)” for A and B ?

thanks :slight_smile:

3

square brackets are lambdas; i.e. the expression [x]t(x) signifies the function taking an element x is argument and returning t(x).

…so basically, the [A,B] tells you “hey, this is a function taking two arguments which we will call A and B”

4

Ok i understand thanks :slight_smile: