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 | ||
| ||
Next event in 10h 57m
[ Submit Event ] |
StarCraft 2 StarCraft: Brood War Dota 2 Counter-Strike Super Smash Bros Other Games tarik_tv41138 gofns16269 summit1g8617 Grubby2599 sgares659 shahzam502 JimRising 471 Hui .156 UpATreeSC130 NuckleDu65 ViBE26 Temp019 Organizations StarCraft 2 Other Games StarCraft: Brood War StarCraft 2 StarCraft: Brood War
StarCraft 2 • Hupsaiya 36 StarCraft: Brood War• musti20045 22 • RyuSc2 21 • davetesta13 • Gussbus • IndyKCrew • Poblha • Migwel • aXEnki • Laughngamez YouTube • intothetv • LaughNgamez Trovo • Kozan Dota 2 League of Legends Other Games |
ESL Pro Tour
OSC
ESL Pro Tour
PassionCraft
ESL Pro Tour
World Team League
ESL Pro Tour
Korean StarCraft League
Afreeca Starleague
hero vs Soulkey
AfreecaTV Pro Series
Reynor vs Cure
[ Show More ] ESL Pro Tour
World Team League
ESL Pro Tour
BSL
Zhanhun vs DragOn
Dewalt vs Sziky
CSO Cup
Replay Cast
Sparkling Tuna Cup
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
|
|