index.wiki (4922B)
1 %% vim: relativenumber nospell spelllang=en_us spellcapcheck= 2 %template math 3 %% let g:vimwiki_wikilocal_vars[1]['path_html'] = expand('%:p:h').'/../' 4 %% let g:vimwiki_wikilocal_vars[1]['template_path'] = '/Users/alex/Dropbox/vimwiki/templates/' 5 6 = Logic and Modeling = 7 Here's the [[http://avigad.github.io/logic_and_proof/propositional_logic.html|online book]]. 8 9 Also, [[local:../logic-modelling.apkg|here's my Anki deck]]. 10 11 [[The one-page cheat sheet]]. 12 13 - [[propositional-logic#Propositional logic|Propositional logic]] 14 - [[propositional-logic#Propositional logic#Notation review|Notation review]] 15 - [[propositional-logic#Propositional logic#Rules of inference|Rules of inference]] 16 - [[propositional-logic#Propositional logic#Forward and backward reasoning|Forward and backward reasoning]] 17 - [[propositional-logic#Propositional logic#Proof by contradiction|Proof by contradiction]] 18 - [[propositional-logic#Propositional logic#Vocab definitions|Vocab definitions]] 19 - [[propositional-logic#Propositional logic#Classical reasoning|Classical reasoning]] 20 - [[propositional-logic#Propositional logic#Syntax vs Semantics|Syntax vs Semantics]] 21 - [[propositional-logic#Propositional logic#Soundness and completeness|Soundness and completeness]] 22 - [[first-order-logic#First order logic|First order logic]] 23 - [[first-order-logic#First order logic#Functions, predicates, relations|Functions, predicates, relations]] 24 - [[first-order-logic#First order logic#Quantifiers, binding|Quantifiers, binding]] 25 - [[first-order-logic#First order logic#Quantifiers, binding#Natural deduction rules|Natural deduction rules]] 26 - [[first-order-logic#First order logic#Relativization and sorts|Relativization and sorts]] 27 - [[first-order-logic#First order logic#Models|Models]] 28 - [[first-order-logic#First order logic#Interpreting formulas without quantifiers|Interpreting formulas without quantifiers]] 29 - [[first-order-logic#First order logic#Interpretation of formulas with quantifiers and free variables|Interpretation of formulas with quantifiers and free variables]] 30 - [[first-order-logic#First order logic#Interpreting terms in model with environment|Interpreting terms in model with environment]] 31 - [[first-order-logic#First order logic#Semantical entailment in predicate logic|Semantical entailment in predicate logic]] 32 - [[first-order-logic#First order logic#Logical equivalence|Logical equivalence]] 33 - [[first-order-logic#First order logic#Satisfiability, validity, consistency|Satisfiability, validity, consistency]] 34 - [[first-order-logic#First order logic#Translating into predicate logic|Translating into predicate logic]] 35 - [[first-order-logic#First order logic#Rules for quantifiers and connectives|Rules for quantifiers and connectives]] 36 - [[first-order-logic#First order logic#Semantics of first order logic|Semantics of first order logic]] 37 - [[sets#Sets|Sets]] 38 - [[sets#Sets#Relations|Relations]] 39 - [[sets#Sets#Relations#Order types|Order types]] 40 - [[sets#Sets#Natural numbers & induction|Natural numbers & induction]] 41 - [[sets#Sets#Recursive definitions|Recursive definitions]] 42 - [[modal-logic#Modal logic|Modal logic]] 43 - [[modal-logic#Modal logic#Truth in worlds|Truth in worlds]] 44 - [[modal-logic#Modal logic#Truth in Kripke models|Truth in Kripke models]] 45 - [[modal-logic#Modal logic#Semantic implication/entailment|Semantic implication/entailment]] 46 - [[modal-logic#Modal logic#Frames|Frames]] 47 - [[meta-theorems-of-predicate-logic#Meta-Theorems of Predicate Logic|Meta-Theorems of Predicate Logic]] 48 - [[definability-and-undefinability-results#Definability and Undefinability results|Definability and Undefinability results]] 49 - [[definability-and-undefinability-results#Definability and Undefinability results#for model cardinality|for model cardinality]] 50 - [[definability-and-undefinability-results#Definability and Undefinability results#for reachability|for reachability]] 51 - [[definability-and-undefinability-results#Definability and Undefinability results#General overview|General overview]] 52 - [[decidability-and-undecidability#Decidability and Undecidability|Decidability and Undecidability]] 53 - [[decidability-and-undecidability#Decidability and Undecidability#Decision problems|Decision problems]] 54 - [[decidability-and-undecidability#Decidability and Undecidability#Decision problems#Termination problem|Termination problem]] 55 - [[decidability-and-undecidability#Decidability and Undecidability#Decision problems#Post's Correspondence Problem|Post's Correspondence Problem]] 56 - [[decidability-and-undecidability#Decidability and Undecidability#Undecidability of Validity and Provability|Undecidability of Validity and Provability]] 57 - [[decidability-and-undecidability#Decidability and Undecidability#Undecidability of Satisfiability|Undecidability of Satisfiability]] 58 - [[incompleteness-theorem#Incompleteness theorem|Incompleteness theorem]]