Skip to main content
Philosophy
Leon's user avatar
Leon's user avatar
Leon's user avatar
Leon
  • Member for 10 years, 3 months
  • Last seen more than a month ago
Profile Activity
Stats
347
reputation
14k
reached
0
answers
8
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
13
bronze badges
Top tags
0
Score
8
Posts
100
Posts %
0
Score
1
Posts
12
Posts %
0
Score
1
Posts
12
Posts %
0
Score
1
Posts
12
Posts %
Top posts
question
5
How to deal with ¬∃ (negated existential quantifier) in a proof?
Aug 24, 2015
question
4
Using natural deduction rules give a formal proof
Oct 13, 2014
question
3
Logical Consequence and Tarski's World
Oct 29, 2014
question
3
Why is propositional logic decidable?
Nov 14, 2015
question
2
If the semantic entailment relation u ⊨ v holds, is u ⊢ v valid?
Nov 14, 2015
question
2
Expressing a sentence in predicate logic
Oct 15, 2015
question
2
Language Logic and Proof Q. 6.26
Sep 3, 2014
question
2
Conditional disjunction equivalence proof using FItch
Oct 9, 2014
Top network posts
View all network posts
160
RESTful - What should a DELETE response body contain
69
Cross project management using service account
25
Spring Oauth2. Password encoder is not set in DaoAuthenticationProvider
20
@PreAuthorize(permitAll) still requires authentication
19
How to compress/minimize size of JSON/Jsonify with Flask in Python?