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 uThermal StarCraft: Brood War![]() IndyStarCraft ![]() TKL ![]() SteadfastSC ![]() LamboSC2 ![]() ZombieGrub91 BRAT_OK ![]() ![]() goblin ![]() Britney Stormgate![]() ![]() Calm ![]() ggaemo ![]() Jaedong ![]() Larva ![]() actioN ![]() TY ![]() Aegong ![]() Mong ![]() yabsab ![]() [ Show more ] Counter-Strike Heroes of the Storm Other Games Organizations
StarCraft 2 • kabyraGe StarCraft: Brood War![]() • davetesta23 • tFFMrPink ![]() ![]() • sooper7s • AfreecaTV YouTube • Migwel ![]() • intothetv ![]() • LaughNgamezSOOP • Kozan • IndyKCrew ![]() Dota 2 League of Legends Other Games |
RSL Revival
RSL Revival
SC Evo League
uThermal 2v2 Circuit
CSO Cup
Sparkling Tuna Cup
uThermal 2v2 Circuit
Wardi Open
RotterdaM Event
Replay Cast
[ Show More ] RSL Revival
The PondCast
Replay Cast
LiuLi Cup
|
|