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 | ||
| ||
ESL Pro Tour
Spring 2024 - EU Playoffs D7
ESL.tv5389
ComeBackTV 2127
TaKeTV 650
IndyStarCraft 449
kabyraGe 228
CosmosSc2 225
SteadfastSC175
BRAT_OK 112
3DClanTV 62
[ Submit Event ] |
StarCraft 2 StarCraft: Brood War Dota 2 Counter-Strike Heroes of the Storm Other Games Organizations |
ESL Pro Tour
OSC
Sparkling Tuna Cup
World Team League
ESL Pro Tour
BSL
Dewalt vs Zhanhun
XiaoShuai vs TBD
ESL Pro Tour
H.4.0.S
GSL Code S
herO vs Reynor
soO vs GuMiho
Korean StarCraft League
[ Show More ] Chat StarLeague
H.4.0.S
BSL
|
|