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 | ||
| ||
Bellum Gens Elite
Stara Zagora 2025 Day 4
Zoun vs SerralLIVE!
Clem vs TBD
[ Submit Event ] |
![]() StarCraft 2 Bellum Gens Elite4426 StarCraft: Brood WarIndyStarCraft ![]() Hui .370 Rex ![]() CosmosSc2 ![]() ![]() BRAT_OK ![]() ![]() ProTech86 MindelVK ![]() Britney Dota 2![]() ![]() Bisu ![]() Jaedong ![]() Hyuk ![]() ZerO ![]() Mini ![]() actioN ![]() Soulkey ![]() BeSt ![]() Hyun ![]() [ Show more ] sorry ![]() Last ![]() JYJ64 Sea.KH ![]() PianO ![]() Yoon ![]() sas.Sziky ![]() Sacsri ![]() ToSsGirL ![]() Terrorterran ![]() Rock ![]() soO ![]() IntoTheRainbow ![]() SilentControl ![]() ajuk12(nOOB) ![]() Hm[arnc] ![]() League of Legends Counter-Strike Super Smash Bros Heroes of the Storm Other Games singsing2354 B2W.Neo1094 Beastyqt481 Lowko290 FrodaN115 KnowMe113 ArmadaUGS98 XaKoH ![]() ZerO(Twitch)25 rubinoeu7 Organizations Dota 2 Other Games StarCraft 2 StarCraft: Brood War
StarCraft 2 StarCraft: Brood War Dota 2 League of Legends |
Fire Grow Cup
CSO Contender
BSL: ProLeague
StRyKeR vs MadiNho
Cross vs UltrA
TT1 vs JDConan
Bonyth vs Sziky
Replay Cast
SOOP Global
Creator vs Rogue
Cure vs Classic
SOOP
Classic vs GuMiho
Sparkling Tuna Cup
AllThingsProtoss
Fire Grow Cup
BSL: ProLeague
HBO vs Doodle
spx vs Tech
DragOn vs Hawk
Dewalt vs TerrOr
[ Show More ] Replay Cast
Replay Cast
Replay Cast
WardiTV Invitational
WardiTV Invitational
GSL Code S
Rogue vs GuMiho
Maru vs Solar
Replay Cast
GSL Code S
herO vs TBD
Classic vs TBD
The PondCast
Replay Cast
GSL Code S
WardiTV Invitational
Korean StarCraft League
CranKy Ducklings
WardiTV Invitational
Cheesadelphia
|
|