Statements with rare counter-examples
29142
Examples of patterns that eventually fail
103342
Why should we care about syntactic proofs if we can show semantically that statements are true?
12186
How does predicate logic handle contradictory statements about something that does not exist?
50148
Real-life examples of common distributions
115560
Exclusion in formation of comparative statements
77297
Counterexample for $A,B\triangleleft G,G/A\cong B \Rightarrow G/B\cong A$
122015
"This statement is false" - Propositional Logic
79131
List of generally believed conjectures which cannot all be true
116112
Examples of 'almost' vector spaces where unitary law fails
6535
Proof of for-all / there-exists "negation"?
118858
Is there any way to negate a Predicate?
4434
"Least Astonishment" and the Mutable Default Argument
17966
Representing the statement using Quantifiers
17224
Write ‘There is exactly 1 person…’ without the uniqueness quantifier
46250
Fallacy limit problem - Where is the mistake?
98634
What is a counterexample for If $x\in\overline{A},$ $x$ is not necessarily a limit of a sequence in $A$?
61489
Is there a statement whose undecidability is undecidable?