Mathematics
sequitur's user avatar
sequitur's user avatar
sequitur's user avatar
sequitur
  • Member for 10 years, 3 months
  • Last seen this week
Profile Activity
Stats
1,049
reputation
9k
reached
41
answers
8
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
10
bronze badges
Top tags
View all tags
50
Score
39
Posts
80
Posts %
27
Score
20
Posts
41
Posts %
13
Score
4
Posts
8
Posts %
12
Score
7
Posts
14
Posts %
5
Score
5
Posts
10
Posts %
4
Score
6
Posts
12
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
7
Is 1+1=2 logically equivalent to 99+1=100?
Mar 6
question
3
Very Simple Model Theory
Mar 29, 2015
question
3
Axiom of Dependent Choice and the von Neumann Universe
May 14, 2017
answer
3
Is the necessitation inference rule necessary?
Sep 9, 2022
answer
3
Is $C \to \neg C$ a "proper statement"?
Feb 11, 2017
answer
3
Problems with using validity symbol ⊨ "vacuously", as in "X ⊨" and "⊨ A"
Jun 4, 2017
answer
3
By convention, what are the tautologies and the consequence relation of modal logics?
Aug 16, 2021
question
2
Example of nilpotent matrix
Oct 31, 2016
answer
2
Does it follow that □ ~ ( A → B)?
Mar 9
answer
2
Prove that the following argument is invalid
Jan 31

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.