> Anything between two dodecahedra is a cube
>∀x (∃y (Dodec(y) ∧ Between(x,y,y)) → Cube(x))
Why is this not valid?
>>8448663
bump
>>8448663
What's the next number in the sequence:
A, 17, banana, x=2y+3,
>>8448682
thanks for the help
what the fuck does this even mean. You need to clean your shit up. This isn't even a conjecture. X could be a point instead of a cube, therefore your bullshit is disproven. Define what you mean by "dodecahedron", "between", and "cube" and where does all this bullshit take place? is it in R^3?
>>8448663
>maybe if I use math operators they will take me serisouly
>>8448663
How the fuck can x be between y and y
>>8449101
The universe loops on itself. Einstein proveded it
>>8448903
It's from Fitch, a logic program that introduced students on how to work in an FOL.
Personally, I didn't like it when I had to use it for CS foundations but we didn't use it much so meh.
>>8448663
Not sure if OP is serious but you can't have y be between x and itself. That's not logically valid. What are you working on?