Archive Notes
Search
Search
Dark mode
Light mode
Explorer
topicpredicatelogic
42 items with this tag.
Jun 18, 2026
Week 1. Intro to propositional logic and proofs
topicproof
topicpredicatelogic
topicpropositionallogic
typesummary
module4ccs1fc1
Jun 18, 2026
10. Mistakes in proofs
module4ccs1fc1
topicpropositionallogic
topicpredicatelogic
topicproof
topic
Jun 18, 2026
11. Proofs by induction
module4ccs1fc1
topicpropositionallogic
topicpredicatelogic
topicproof
topic
Jun 18, 2026
12. The Simple Two Colour Theorem
module4ccs1fc1
topicpropositionallogic
topicpredicatelogic
topicproof
topic
Jun 18, 2026
13. All horses have the same colour
module4ccs1fc1
topicpropositionallogic
topicpredicatelogic
topicproof
topic
Jun 18, 2026
2. Logical connectives
topicpropositionallogic
module4ccs1ela
module4ccs1fc1
topicpredicatelogic
topicproof
topic
Jun 18, 2026
3. Tautologies, Satisfiability and Consistency
module4ccs1fc1
topicpropositionallogic
topicpredicatelogic
topicproof
topic
Jun 18, 2026
4. Logical equivalence
module4ccs1fc1
topicpropositionallogic
topicpredicatelogic
topicproof
topic
Jun 18, 2026
5. Logically correct arguments
module4ccs1fc1
topicpropositionallogic
topicpredicatelogic
topicproof
topic
Jun 18, 2026
6. Predicate logic basics
module4ccs1fc1
topicpropositionallogic
topicpredicatelogic
topicproof
topic
Jun 18, 2026
7. Quantifiers
module4ccs1fc1
topicpropositionallogic
topicpredicatelogic
topicproof
topic
Jun 18, 2026
8. Theorems and proofs
module4ccs1fc1
topicpropositionallogic
topicpredicatelogic
topicproof
topic
Jun 18, 2026
Universal generalisation
topicproof
topicpredicatelogic
topicpropositionallogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Universal instantiation
topicproof
topicpredicatelogic
topicpropositionallogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Universal quantifier
topicproof
topicpredicatelogic
topicpropositionallogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Well-formed formulae
module4ccs1ela
topicpropositionallogic
topicproof
topicpredicatelogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Tautology
topicpropositionallogic
module4ccs1ela
topicproof
topicpredicatelogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Theorem
topicproof
topicpredicatelogic
topicpropositionallogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Situation
topicproof
topicpredicatelogic
topicpropositionallogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Propositional Logic
topicproof
topicpredicatelogic
topicpropositionallogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Modus ponens
module4ccs1ela
topicpropositionallogic
topicproof
topicpredicatelogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Negation
topicpropositionallogic
module4ccs1ela
module4ccs1fc1
topicpredicatelogic
topicproof
typedefinition
Jun 18, 2026
Logical connective
module4ccs1ela
topicpropositionallogic
topicproof
topicpredicatelogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Logically correct
topicproof
topicpredicatelogic
topicpropositionallogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Logically equivalent
topicpropositionallogic
module4ccs1ela
topicproof
topicpredicatelogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Inductive definition
module4ccs1fc1
topicpredicatelogic
topicproof
topicpropositionallogic
module4ccs1ela
typedefinition
Jun 18, 2026
Inference rule
module4ccs1ela
topicproof
topicpredicatelogic
topicpropositionallogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Interpretation
module4ccs1ela
topicpropositionallogic
module4ccs1fc1
topicpredicatelogic
topicproof
typedefinition
Jun 18, 2026
Existential generalisation
topicproof
topicpredicatelogic
topicpropositionallogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Existential quantifier
topicproof
topicpredicatelogic
topicpropositionallogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Disjunction
topicpropositionallogic
module4ccs1ela
module4ccs1fc1
topicpredicatelogic
topicproof
typedefinition
Jun 18, 2026
Conditional statement
module4ccs1fc1
topicpredicatelogic
topicproof
topicpropositionallogic
module4ccs1ela
typedefinition
Jun 18, 2026
Conjunction
topicpropositionallogic
module4ccs1ela
module4ccs1fc1
topicpredicatelogic
topicproof
typedefinition
Jun 18, 2026
Consistent
topicproof
topicpredicatelogic
topicpropositionallogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Contradiction
topicpropositionallogic
module4ccs1ela
topicproof
topicpredicatelogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Axiom
module4ccs1ela
topicproof
topicpredicatelogic
topicpropositionallogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Biconditional statement
module4ccs1fc1
topicpredicatelogic
topicproof
topicpropositionallogic
module4ccs1ela
typedefinition
Jun 18, 2026
Argument
module4ccs1ela
topicpropositionallogic
topicproof
topicpredicatelogic
module4ccs1fc1
typedefinition
Jun 18, 2026
1. Why logic
module4ccs1fc1
topicpropositionallogic
topicpredicatelogic
topicproof
topic
Jun 18, 2026
9. Direct and indirect proofs
module4ccs1fc1
topicpropositionallogic
topicpredicatelogic
topicproof
topic
Jun 18, 2026
Proposition
module4ccs1ela
module4ccs1fc1
topicpredicatelogic
topicproof
topicpropositionallogic
typedefinition
Jun 18, 2026
Satisfiable
module4ccs1ela
topicpropositionallogic
topicproof
topicpredicatelogic
module4ccs1fc1
typedefinition