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 D2
SKillous vs MaxPaxLIVE!
ESL.tv4508
ComeBackTV 1248
IndyStarCraft 468
TaKeTV 466
SteadfastSC163
CosmosSc2 133
BRAT_OK 91
3DClanTV 68
[ Submit Event ] |
StarCraft 2 IndyStarCraft 468 StarCraft: Brood WarRotterdaM 461 SteadfastSC 163 CosmosSc2 133 BRAT_OK 91 Rex 89 trigger 23 Codebar 13 Britney 23619 Dota 2Shuttle 631 actioN 489 firebathero 376 BeSt 268 Mind 131 Dewaltoss 92 Sacsri 32 scan(afreeca) 24 Counter-Strike Super Smash Bros Heroes of the Storm Other Games Organizations |
Korean StarCraft League
Afreeca Starleague
hero vs Soulkey
AfreecaTV Pro Series
Reynor vs Cure
ESL Pro Tour
World Team League
ESL Pro Tour
BSL
Zhanhun vs DragOn
Dewalt vs Sziky
CSO Cup
Replay Cast
Sparkling Tuna Cup
[ Show More ] ESL Pro Tour
World Team League
ESL Pro Tour
BSL
Gypsy vs Bonyth
Mihu vs XiaoShuai
ESL Open Cup
ESL Open Cup
ESL Open Cup
ESL Pro Tour
ESL Pro Tour
ESL Pro Tour
|
|