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 Dota 2 League of Legends Heroes of the Storm Other Games Organizations Other Games Dota 2 StarCraft 2 StarCraft: Brood War
StarCraft 2 • Adnapsc2 StarCraft: Brood War• musti20045 • AfreecaTV YouTube • intothetv • Kozan • IndyKCrew • LaughNgamezSOOP • Migwel • sooper7s Other Games |
|
Patches Events
Replay Cast
Wardi Open
Afreeca Starleague
Jaedong vs Light
Monday Night Weeklies
Replay Cast
Sparkling Tuna Cup
Afreeca Starleague
Snow vs Flash
WardiTV Invitational
SHIN vs Nicoract
Solar vs Nice
GSL
Classic vs Cure
Maru vs Rogue
[ Show More ] GSL
SHIN vs Zoun
ByuN vs herO
OSC
OSC
Replay Cast
Escore
The PondCast
WardiTV Invitational
Zoun vs Ryung
Lambo vs ShoWTimE
Replay Cast
CranKy Ducklings
RSL Revival
SHIN vs Bunny
ByuN vs Shameless
WardiTV Invitational
Krystianer vs TriGGeR
Cure vs Rogue
BSL
Replay Cast
Sparkling Tuna Cup
RSL Revival
Cure vs Zoun
Clem vs Lambo
WardiTV Invitational
BSL
|
|
|