So, if I have
-( P & Q )
can I derive
P
? I seem to recall that the TA said you couldn't but now I'm just confused since there seems to be no way to solve the proof unless I do something that I can't find precedence for in previous proofs.





| Blogs > Newbistic |
|
Newbistic
China2912 Posts
So, if I have -( P & Q ) can I derive P ? I seem to recall that the TA said you couldn't but now I'm just confused since there seems to be no way to solve the proof unless I do something that I can't find precedence for in previous proofs. ![]() ![]() ![]() ![]() ![]() | ||
|
Mastermind
Canada7096 Posts
Of course what I just did isnt a proof, but it does show you the answer. | ||
|
jtan
Sweden5891 Posts
from -(P & Q) you can't | ||
| ||
StarCraft 2 StarCraft: Brood War Dota 2 League of Legends Heroes of the Storm Other Games Organizations
StarCraft 2 • Hupsaiya StarCraft: Brood War• davetesta27 • AfreecaTV YouTube • intothetv • Kozan • IndyKCrew • LaughNgamezSOOP • Migwel • sooper7s |
|
HomeStory Cup
OSC
Replay Cast
Replay Cast
Wardi Open
WardiTV Invitational
Replay Cast
The PondCast
WardiTV Invitational
Replay Cast
|
|
|