Skip to main content
Casper's user avatar
Casper's user avatar
Casper's user avatar
Casper
  • Member for 8 years, 7 months
  • Last seen more than a month ago
4 votes
Accepted

*NOT* [quantifier]. Why is *NOT* [for every] equivalent to [there is]?

4 votes

Is the set $\tau := \left\{\vee, \wedge, 0\right\}$ adequate? Prove your answer

3 votes

How do we prove that something is unprovable?

2 votes
Accepted

Derivative of function defined on only rational numbers

2 votes

Trying to find a contradiction for a certain proof (basic)

2 votes

mathematization of infinity

2 votes
Accepted

'if then if and only if' question

2 votes

Is it valid? predicate logic

2 votes
Accepted

Kleene's three-valued logic and tautology

1 vote

symbol for true statement

1 vote

Bijective proof involving floor functions

1 vote

Trouble working out course work module precentages.

1 vote
Accepted

1-1, onto from [0,1] to (0,1]

1 vote
Accepted

How to interpret two variables in one inequality?

1 vote

English Sentence To First Order Logic

0 votes

Is $a>b\iff \neg(b\geq a)$ true in constructive maths?

0 votes
Accepted

Uniform continuity preserved under extension of function

0 votes

How to rule out counter-examples like Minkowski's question mark function

0 votes

Terminology: absolute/unconditional/uncountable additivity