Is Rabc a Valid Formula in Predicate Logic?

  • Context: Graduate 
  • Thread starter Thread starter pivoxa15
  • Start date Start date
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
3 replies · 4K views
pivoxa15
Messages
2,250
Reaction score
1
In predicate logic

Let R = Run towards

a=Adam
b=Betty
c=Celsi

Would a formula like Rabc make sense?

What would it read?

Would Rabc = Rab & Rac
 
Physics news on Phys.org
if b and c are in the same location then it makes sense, but otherwise it doesnt.
an example of three place predicate is "between", x is between y and z, here you can't divide it into Bxy&Bxz cause it doesn't make sense.
 
loop quantum gravity said:
if b and c are in the same location then it makes sense, but otherwise it doesnt.

b could be north of a and c is north east of a. Then a could be running towards both of them without b and c both in the same location.
loop quantum gravity said:
...an example of three place predicate is "between", x is between y and z,

So if B is between

then you could have Bxyz (i.e. a formula with 3 subjects) which translates to x is between y and z. In this case it is necessary to have three subjects after B, anything else won't make sense.
 
Last edited:
Is it true that in general if Rabc

than it can be read (a R b and c)

i.e Adam 'is running towards' Betty and Celsi.

Adam 'is in between' Betty and Celso.