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 | ||
| ||
The PiG Daily
Best Games of SC
Maru vs Reynor
TBD vs MaxPax
Maru vs SHIN
MaxPax vs Maru
[ Submit Event ] |
StarCraft 2 StarCraft: Brood War Dota 2 Heroes of the Storm Other Games Organizations
StarCraft 2 • Adnapsc2 StarCraft: Brood War• Dystopia_ • AfreecaTV YouTube • intothetv • Kozan • IndyKCrew • LaughNgamezSOOP • Migwel • sooper7s Dota 2 Other Games |
|
Replay Cast
Wardi Open
Monday Night Weeklies
Sparkling Tuna Cup
OSC
YoungYakov vs Mixu
ForJumy vs TBD
Percival vs TBD
Shameless vs TBD
Replay Cast
The PondCast
OSC
CranKy Ducklings
SC Evo League
[ Show More ] BSL 21
Sparkling Tuna Cup
BSL 21
|
|
|