Archive Notes

module4ccs1ela

78 items with this tag.

Jun 18, 2026
Week 3. Introduction to propositional logic
Jun 18, 2026
Week 4. Syntactical Transformations
Jun 18, 2026
Week 5. Important Semantical Notions
Jun 18, 2026
Week 6. Checking the validity of arguments
- typesummary
- module4ccs1ela
Jun 18, 2026
Week 7. Natural Deduction
- typesummary
- module4ccs1ela
Jun 18, 2026
4CCS1ELA Elementary Logic with Applications
- module4ccs1ela
Jun 18, 2026
1. Transformations using Logical Equivalence
Jun 18, 2026
2. Disjunctive Normal Form
Jun 18, 2026
202110181002 SGT
Jun 18, 2026
3. Conjunctive Normal Form
Jun 18, 2026
Tutorial list 2
Jun 18, 2026
1. Complete sets of connectives, truth-functions and substitutions
Jun 18, 2026
2. Quine's method and satisfiability
Jun 18, 2026
3. Logical consequence
Jun 18, 2026
Tutorial list 3
Jun 18, 2026
1. Introduction to Informal Proofs
- module4ccs1ela
Jun 18, 2026
2. Forward Reasoning Systems
- module4ccs1ela
Jun 18, 2026
Tutorial list 4
- module4ccs1ela
Jun 18, 2026
1. Natural Deduction Rules
- module4ccs1ela
Jun 18, 2026
2. Examples using the basic rules
- module4ccs1ela
Jun 18, 2026
3. Introducing variant rules
- module4ccs1ela
Jun 18, 2026
Tutorial List 5
- module4ccs1ela
Jun 18, 2026
Supplemental Exercise List 1
- module4ccs1ela
Jun 18, 2026
1. Getting started with propositional logic
Jun 18, 2026
2. Reading and evaluating formulae
Jun 18, 2026
202110211114 LGT
Jun 18, 2026
3. Types of formula and logical equivalence
Jun 18, 2026
Tutorial list 1
Jun 18, 2026
2. Logical connectives
Jun 18, 2026
Uniform substitution of formulae
Jun 18, 2026
Variant disjunction elimination rules
- module4ccs1ela
- typedefinition
Jun 18, 2026
Variant implication elimination rules
- module4ccs1ela
- typedefinition
Jun 18, 2026
Variant implication introduction rules
- module4ccs1ela
- typedefinition
Jun 18, 2026
Variant negation elimination rules
- module4ccs1ela
- typedefinition
Jun 18, 2026
Well-formed formulae
Jun 18, 2026
Tautology
Jun 18, 2026
Truth-function
Jun 18, 2026
Soundness of a proof system
- module4ccs1ela
- typedefinition
Jun 18, 2026
Subcomputation box
- module4ccs1ela
- typedefinition
Jun 18, 2026
Set of all models
Jun 18, 2026
Proof sequence
- module4ccs1ela
- typedefinition
Jun 18, 2026
Proof
- module4ccs1ela
- typedefinition
Jun 18, 2026
Premise
- module4ccs1ela
- typedefinition
Jun 18, 2026
Model
Jun 18, 2026
Modus ponens
Jun 18, 2026
Natural Deduction elimination of disjunction
- module4ccs1ela
- typedefinition
Jun 18, 2026
Natural Deduction introduction of disjunction
- module4ccs1ela
- typedefinition
Jun 18, 2026
Natural Deduction introduction of implication
- module4ccs1ela
- typedefinition
Jun 18, 2026
Natural Deduction rules for biconditional
- module4ccs1ela
- typedefinition
Jun 18, 2026
Natural Deduction rules for conjunction
- module4ccs1ela
- typedefinition
Jun 18, 2026
Natural Deduction rules for negation
- module4ccs1ela
- typedefinition
Jun 18, 2026
Natural Deduction
- module4ccs1ela
- typedefinition
Jun 18, 2026
Negation
Jun 18, 2026
Literal
Jun 18, 2026
Logical connective
Jun 18, 2026
Logical consequence
Jun 18, 2026
Logically equivalent
Jun 18, 2026
Inductive definition
Jun 18, 2026
Inference rule
Jun 18, 2026
Interpretation
Jun 18, 2026
Invalid argument
Jun 18, 2026
Deduction Theorem
- module4ccs1ela
- typedefinition
Jun 18, 2026
Disjunction
Jun 18, 2026
Disjunctive Normal Form
Jun 18, 2026
Distributive laws (Logic)
Jun 18, 2026
Conditional statement
Jun 18, 2026
Conjunction
Jun 18, 2026
Conjunctive Normal Form
Jun 18, 2026
Consequence relation
- module4ccs1ela
- typedefinition
Jun 18, 2026
Contingency
Jun 18, 2026
Contradiction
Jun 18, 2026
Complete Set of Connectives
Jun 18, 2026
Completeness of a proof system
- module4ccs1ela
- typedefinition
Jun 18, 2026
Axiom
Jun 18, 2026
Biconditional statement
Jun 18, 2026
Argument
Jun 18, 2026
Proposition
Jun 18, 2026
Satisfiable

Created with Quartz v5.0.0 © 2026

GitHub
Discord Community