![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
cimorenefuck.
in other news, do any logicians out there know how to prove using the formal natural system that -(M>P) = M&-P ? ::shakes the problem:: godDAMMIT, i need that M! i can't get my contradition without it and i will NEVER prove -I... why can't there be a rule about how you're allowed to stick a truth table in. or a contrapositive rule? yeah, that would be v/ v/ nice.
::whimper::
in other news, do any logicians out there know how to prove using the formal natural system that -(M>P) = M&-P ? ::shakes the problem:: godDAMMIT, i need that M! i can't get my contradition without it and i will NEVER prove -I... why can't there be a rule about how you're allowed to stick a truth table in. or a contrapositive rule? yeah, that would be v/ v/ nice.
::whimper::
