$\vdash \lnot (p \supset q) \supset (p \land \lnot q)$
I need to prove the above proposition via intuitionistic logic rules and/or natural logic rules. I guess it is not possible to prove with intuitionistic logic becuase we cannot use PBC rule.
$\vdash \lnot (p \supset q) \supset (p \land \lnot q)$
I need to prove the above proposition via intuitionistic logic rules and/or natural logic rules. I guess it is not possible to prove with intuitionistic logic becuase we cannot use PBC rule.