Predicate Logic Practice
96904
Predicate Calculus Practice
36114
conjunction of disjunctions and disjunction of conjunctions
108292
Precedence between implication and bi-implication
104871
Direct cut-elimination for natural deduction.
96504
First-Order Logic vs. Second-Order Logic
87855
Construction of the pre-addition
17966
Representing the statement using Quantifiers
141020
Prolog count the number of times a predicate is true
147556
Express logic puzzles with proposition calculus notation
36615
Rule-based creation of sub-lists
98848
A nice introduction to forcing
128032
Solving SAT by converting to disjunctive normal form
3119
Distribution of Universal Quantifiers
79695
Logical operators OR AND in condition and order of conditions in WHERE
48368
Prove using Natural Deduction in predicate logic $(\forall x\ P(x))\to Q ⊢ \exists x (P(x)\to Q)$
12186
How does predicate logic handle contradictory statements about something that does not exist?
140682
Proving a property of a Logic Formal Language