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 Britney Dota 2firebathero Shuttle Sea Jaedong Mini Soma EffOrt Light BeSt [ Show more ] Super Smash Bros Heroes of the Storm Other Games Organizations
StarCraft 2 • StrangeGG StarCraft: Brood War• poizon28 • intothetv • AfreecaTV YouTube • Kozan • IndyKCrew • LaughNgamezSOOP • Migwel • sooper7s Dota 2 League of Legends |
|
OSC
Cure vs SKillous
Lambo vs goblin
Cham vs YoungYakov
ArT vs Harstem
Krystianer vs Iba
Replay Cast
Replay Cast
CrankTV Team League
OSC
Big Brain Bouts
Replay Cast
RSL Revival
Serral vs Bunny
ByuN vs GgMaChine
CranKy Ducklings
Afreeca Starleague
Snow vs Jaedong
YSC vs hero
[ Show More ] RSL Revival
Solar vs Rogue
Maru vs NightMare
Sparkling Tuna Cup
GSL
Replay Cast
WardiTV Weekly
The PondCast
Replay Cast
CrankTV Team League
|
|
|