#Predicate proofs

4 messages · Page 1 of 1 (latest)

round oracle Nov 10, 2024, 7:56 PM

#

I'm confused about what to do next..

whole pierBOT Nov 10, 2024, 7:56 PM

#

round oracle Nov 10, 2024, 7:57 PM

#

Would I get rid of the implications now?

#

Would this be correct?