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 | ||
| ||
SC Evo Complete
SEL Fall '24 Group C/D
Sparkling Tuna Cup
Weekly #73
Krystianer vs GeraldLIVE!
[ Submit Event ] |
StarCraft 2 StarCraft: Brood War Britney 33908 Dota 2Calm 3835 Sea 3024 Rain 2237 Horang2 2054 Soulkey 1183 Pusan 1071 BeSt 622 Mini 522 sorry 280 [ Show more ] Counter-Strike Other Games Organizations Counter-Strike StarCraft 2 Dota 2 StarCraft 2 StarCraft: Brood War
StarCraft 2 • StrangeGG 67 StarCraft: Brood War• MindelVK 38 • Adnapsc2 26 • LaughNgamezSOOP • sooper7s • Migwel • Laughngamez YouTube • Kozan • IndyKCrew • intothetv • AfreecaTV YouTube League of Legends |
PassionCraft
Online Event
BSL: ProLeague
Mihu vs kogeT
Sziky vs JDConan
Acropolis
Acropolis
Wardi Open
Replay Cast
Replay Cast
Tenacious Turtle Tussle
The PondCast
[ Show More ] Replay Cast
Replay Cast
SC Evo Complete
CSO Cup
Replay Cast
Sparkling Tuna Cup
SC Evo Complete
|
|