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 Super Smash Bros Heroes of the Storm Other Games summit1g12971 FrodaN3083 shahzam1225 C9.Mang0548 Livibee213 Maynarde192 WinterStarcraft167 Trikslyr113 ZombieGrub73 ViBE66 Westballz3 Organizations Other Games StarCraft 2 Other Games StarCraft 2 StarCraft: Brood War
StarCraft 2 • AfreecaTV YouTube StarCraft: Brood War• intothetv • Kozan • IndyKCrew • LaughNgamezSOOP • Laughngamez YouTube • Migwel • sooper7s Dota 2 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
|
|