User:Lord Farin/Sandbox/BOC

Basson - O'Connor - Introduction to Symbolic Logic
This page describes my working through the following source:



I will stop once the coverage has allowed for proving completeness and soundness results for Propositional Logic as covered in this book.

Current

 * 20171016: Started working on replacing the current mess of definitions and theorems from different areas on substitution in PropLog and PredLog. The page User:Lord_Farin/Sandbox/Definition:Substitution (Formal Systems) intends to integrate and replace the following:


 * 20171011: Refactored coverage of formal grammar by introducing Definition:Language of Propositional Logic/Basson-O'Connor. Definition:Natural Deduction is still to do. Current page is Definition:Metalanguage. &mdash; Lord_Farin (talk) 16:21, 11 October 2017 (EDT)
 * 20171009: Got to Definition:Natural Deduction. The hard part starts here. It should be considered to split the axiomatic/theorem status for every tautology for every source. This is painstaking but may be necessary for consistent coverage. &mdash; Lord_Farin (talk) 17:15, 9 October 2017 (EDT)
 * 20171009: Made a start. Got to $\S 3.5$, Definition:Tautology before having to change anything. &mdash; Lord_Farin (talk) 15:56, 9 October 2017 (EDT)