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 | ||
| ||
Next event in 2h 40m
[ Submit Event ] |
StarCraft 2 StarCraft: Brood War Dota 2 League of Legends Other Games Organizations
StarCraft 2 • Berry_CruncH261 StarCraft: Brood War• practicex 44 • Hupsaiya 40 • Laughngamez YouTube • sooper7s • AfreecaTV YouTube • intothetv • Kozan • Migwel • IndyKCrew • LaughNgamezSOOP League of Legends Other Games |
Sparkling Tuna Cup
AfreecaTV Starcraft Tea…
Tenacious Turtle Tussle
The PondCast
OSC
Replay Cast
OlimoLeague
Fire Grow Cup
OSC
Replay Cast
[ Show More ] SOOP
Ryung vs SHIN
Master's Coliseum
Fire Grow Cup
Master's Coliseum
Fire Grow Cup
ForJumy Cup
Online Event
Wardi Open
|
|