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: Brood War BeSt Dota 2Jaedong Killer Hm[arnc] Leta actioN EffOrt hero ZerO Dewaltoss [ Show more ] Counter-Strike Other Games Organizations Other Games Dota 2 StarCraft 2 StarCraft: Brood War
StarCraft 2 • LUISG StarCraft: Brood War• CranKy Ducklings SOOP3 • AfreecaTV YouTube • intothetv • Kozan • IndyKCrew • LaughNgamezSOOP • Migwel • sooper7s League of Legends |
|
WardiTV Team League
OSC
Replay Cast
KCM Race Survival
WardiTV Team League
Korean StarCraft League
RSL Revival
Maru vs Zoun
Cure vs ByuN
uThermal 2v2 Circuit
BSL
RSL Revival
herO vs MaxPax
Rogue vs TriGGeR
[ Show More ] BSL
Replay Cast
Replay Cast
Afreeca Starleague
Sharp vs Scan
Rain vs Mong
Wardi Open
Monday Night Weeklies
Sparkling Tuna Cup
Afreeca Starleague
Soulkey vs Ample
JyJ vs sSak
Afreeca Starleague
hero vs YSC
Larva vs Shine
Replay Cast
The PondCast
|
|
|