Order of predicate/function arguments in first order logic

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.

Order of predicate/function arguments in first order logic
Dear tutors,

does the order of the arguments of functions or predicates matter?
For example in the homework we have R(b,a) and R(a,b).

Thank you and kind regards,
Matthias


Counter question, does the order of arguments for functions or predicates matter in general?

Is 2^3 the same as 3^2? Is 2<3 true iff 3<2? :wink:

1 „Gefällt mir“

Thank you :slight_smile: