@Emil,
I need help with a proof!:perplexed:
It was on my test today so I am just curious how to solve it. I pretty much know what I am doing, but this one has me stumped!:brickwall:
$=existential
@=Universal
($xPx v $xQx), @y(Py -> ~Ry) |- (@xRx -> $xQx)
Can anyone help? I only know primitive rules.
Thanks!