User:Lord Farin/Long-Term Projects/MLCS

= Processing of 'Mathematical Logic for Computer Science (3e)' =





First page it covers: Definition:Statement.

First page covered by Appendices: Definition:Set.

A book extensively and rigorously building the basic foundations of logic.

Progress thus far
Initial set-up complete. --Lord_Farin (talk) 22:26, 15 February 2013 (UTC)

Appendix covered up to $\text{A}.4$, stopped at Definition:Cartesian Product/General Definition. --Lord_Farin (talk) 23:19, 15 February 2013 (UTC)

Appendix covered. --Lord_Farin (talk) 09:20, 16 February 2013 (UTC)

Up to Definition:Language of Propositional Logic/Alphabet/Sign/Connective. --Lord_Farin (talk) 15:48, 16 February 2013 (UTC)

Up to $\S 2.2.4$, Definition:Consequent. --Lord_Farin (talk) 13:24, 19 February 2013 (UTC)

Up to $\S 2.3.2$, Definition:Proper Well-Formed Part. &mdash; Lord_Farin (talk) 15:53, 25 February 2014 (UTC)

Up to $\S 2.3.3$, Conjunction with Contradiction. &mdash; Lord_Farin (talk) 15:13, 26 February 2014 (UTC)

"", Contradictory Antecedent. &mdash; Lord_Farin (talk) 15:50, 27 February 2014 (UTC)

Finished $\S 2.3.3$ with Conjunction Equivalent to Negation of Implication of Negative/Formulation 1. &mdash; Lord_Farin (talk) 09:56, 28 February 2014 (UTC)

Up to $\S 2.5.1$, Satisfiable iff Negation is Falsifiable. &mdash; Lord_Farin (talk) 10:53, 4 March 2014 (UTC)

Up to $\S 2.5.3$, Unsatisfiable Set minus Tautology is Unsatisfiable. &mdash; Lord_Farin (talk) 19:23, 5 March 2014 (UTC)

Missing Proofs
None atm

Skipped thus far (that is, what needs to be done still)
Nothing

Other things

 * Equivalence of Definitions of Semantic Equivalence for Boolean Interpretations