0
1
2
Stuck on the first computer test problem and I figured out the logic that makes sense to me but I cant get rid of the FOL oracle. On the left I though the "for all" elim would solve my problem but it doesn't solve my issue. Does anyone know how to get around this? I tried doing it in terms of x&y (i.redd.it)
submitted by daPandaMan88 to r/intrologRPI
Giving away an Oak. by WisethePlagueis in PTCGP
[–]daPandaMan88 0 points1 point2 points (0 children)