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 firebathero Dota 2Sea actioN GuemChi Barracks Mini Soma Hyun hero Last [ Show more ] Counter-Strike Heroes of the Storm Other Games Organizations StarCraft: Brood War StarCraft 2 StarCraft: Brood War
StarCraft 2 StarCraft: Brood War Dota 2 |
|
LAN Event
ByuN vs Zoun
TBD vs TriGGeR
Clem vs TBD
IPSL
JDConan vs WIZARD
WolFix vs Cross
BSL 21
spx vs rasowy
HBO vs KameZerg
Cross vs Razz
dxtr13 vs ZZZero
OSC
OSC
Wardi Open
Replay Cast
WardiTV Korean Royale
Replay Cast
Kung Fu Cup
Classic vs Solar
herO vs Cure
Reynor vs GuMiho
ByuN vs ShoWTimE
[ Show More ] Tenacious Turtle Tussle
The PondCast
RSL Revival
Solar vs Zoun
MaxPax vs Bunny
Kung Fu Cup
WardiTV Korean Royale
Replay Cast
RSL Revival
Classic vs Creator
Cure vs TriGGeR
Kung Fu Cup
CranKy Ducklings
RSL Revival
herO vs Gerald
ByuN vs SHIN
Kung Fu Cup
BSL 21
Tarson vs Julia
Doodle vs OldBoy
eOnzErG vs WolFix
StRyKeR vs Aeternum
Sparkling Tuna Cup
RSL Revival
Reynor vs sOs
Maru vs Ryung
Kung Fu Cup
WardiTV Korean Royale
|
|
|