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 | ||
| ||
StarCraft 2 StarCraft: Brood War Britney Dota 2Calm Mini Dewaltoss firebathero soO HiyA Hyun Bale NaDa [ Show more ] League of Legends Counter-Strike Heroes of the Storm Other Games FrodaN2140 B2W.Neo606 Beastyqt587 mouzStarbuck332 Livibee183 ToD167 KnowMe146 C9.Mang0137 Trikslyr132 RotterdaM108 Mew2King44
StarCraft 2 StarCraft: Brood War Other Games |
|
OSC
Replay Cast
OSC
Big Brain Bouts
Rex vs INexorable
GgMaChine vs HeRoMaRinE
Reynor vs herO
AI Arena Tournament
BSL: Ladder Tournament
Sparkling Tuna Cup
Patches Events
BSL Open Qualifier
BSL Open Qualifier
[ Show More ] WardiTV Weekly
PiGosaur Cup
The PondCast
|
|
|