Validity of LTL formulas in a given transition system
49795
Validity of LTL formulas in a given transition system
65910
Reflexivity of equivalence relations
82739
Why is $\alpha \rightarrow \forall x(\alpha)$ not generally correct in first-order logic?
79969
Proof that a formula $\theta$ is valid if and only if $\forall x \theta$ is valid
31389
consistency of ZF\{Power Set axiom}
146984
Prove: Full Rank and a solution os linear system
52976
Product rule intuition
150451
Logic soundness and completeness
85157
Does a smooth "transition function" with bounded derivatives exist?
17951
Acceptance-Rejection Method Acceptance Probability Proof
60953
How could we formalize the introduction of new notation?
97410
Deriving transition matrix from infinitesimal generator, continuous time Markov chain
147556
Express logic puzzles with proposition calculus notation
106799
Proof Verification: Converse of Intermediate Value Theorem
123704
Mathematical explanation for the Repertoire Method
42590
Understanding implication in logic truth tables (excerpt from textbook)
145759
formal proof from calulus