Re:Tor exit node operator gets raided by police
by icebraining on Wednesday April 06, 2016 @04:02AM
(#11437359)
Nah, the type is correct, it's just that the value is false, hence the conclusion will also be false, even for a valid logical argument.
[ Parent
| on HN ]
Re:Tor exit node operator gets raided by police
by philipov on Thursday April 07, 2016 @08:29AM
(#11446684)
I mean the type of the conclusion is wrong. If our argument includes premises of type Hypothetical then we may only make conclusions of type Implication, of the form "If <Hypotheticals are True> then <Fact>."