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 59m
[ Submit Event ] |
StarCraft 2 StarCraft: Brood War Sea 3435 Dota 2ggaemo 707 Leta 286 Pusan 175 Free 80 Light 75 Aegong 68 Terrorterran 55 Backho 41 Sharp 29 [ Show more ] League of Legends Counter-Strike Super Smash Bros Other Games Livibee776 WinterStarcraft735 ceh9695 Tasteless511 Mew2King177 Happy160 NuckleDu124 StateSC2104 Liquid`LucifroN101 PiGStarcraft54 Liquid`Ken9 Organizations StarCraft 2 StarCraft: Brood War StarCraft 2 StarCraft: Brood War
StarCraft 2 • Berry_CruncH178 StarCraft: Brood War• aXEnki • intothetv • Gussbus • Kozan • IndyKCrew • LaughNgamez Trovo • Laughngamez YouTube • Migwel • Poblha |
Kung Fu Cup
ESL Pro Tour
OSC
ESL Pro Tour
PassionCraft
ESL Pro Tour
World Team League
ESL Pro Tour
Korean StarCraft League
Afreeca Starleague
hero vs Soulkey
[ Show More ] AfreecaTV Pro Series
Reynor vs Cure
ESL Pro Tour
World Team League
ESL Pro Tour
BSL
CSO Cup
Sparkling Tuna Cup
ESL Pro Tour
World Team League
ESL Pro Tour
BSL
ESL Open Cup
ESL Open Cup
ESL Open Cup
|
|