| Ross's Filename (no extension) | L&P Filename (no extension) |
|---|---|
| DIG1 | intro_statements_DIG_1 |
| DIG2 | intro_premisesandconclusions_DIG_1 |
| DIG3 | intro_goodarguments_DIG_1 |
| DIG4 | sent_syntax_compoundformulaeandsymbolization_conjunction_DIG_1 |
| DIG5 | sent_syntax_compoundformulaeandsymbolization_disjunction_DIG_1 |
| DIG6 | sent_syntax_compoundformulaeandsymbolization_theconditional_DIG_1 |
| DIG7 | sent_syntax_compoundformulaeandsymbolization_DIG_1 |
| DIG8 | sent_syntax_formalsyntax_DIG_1 |
| DIG9 | sent_syntax_formalsyntax_DIG_2 |
| DIG10a DIG10b DIG10c DIG10d |
sent_semantics_truthvalueassignmentsandtruthconditions_DIG_1a sent_semantics_truthvalueassignmentsandtruthconditions_DIG_1b sent_semantics_truthvalueassignmentsandtruthconditions_DIG_1c sent_semantics_truthvalueassignmentsandtruthconditions_DIG_1d |
| DIG11 | sent_semantics_truthandformulae_DIG_1 |
| DIG12 | sent_semantics_truthandformulae_DIG_2 |
| *DIG13 | sent_semantics_truthandformulae_DIG_3 |
| DIG14a DIG14b |
sent_semantics_argumentsandvalidity_DIG_1a sent_semantics_argumentsandvalidity_DIG_1b |
| DIG15 | sent_semantics_truthtrees_DIG_1 |
| DIG16 | sent_semantics_truthtrees_DIG_2 |
| *DIG17 | sent_derivations_introductionrules_conjunction_DIG_1 |
| *DIG18 | sent_derivations_introductionrules_disjunction_DIG_1 |
| *DIG19 | sent_derivations_introductionrules_theconditional_DIG_1 |
| *DIG20 | sent_derivations_eliminationrules_theconditional_DIG_1 |
| *DIG21 | sent_derivations_eliminationrules_conjunction_DIG_1 |
| *DIG22 | sent_derivations_eliminationrules_disjunction_DIG_1 |
| DIG23 | sent_indirectrules_negationintroduction_DIG_1 |
| DIG24 | sent_indirectrules_negationelimination_DIG_1 |
| DIG25 | sent_indirectrules_doublenegation_DIG_1 |
| *DIG26 | sent_indirectrules_findingcontradictions_DIG_1 |
| DIG27 | sent_indirectrules_findingcontradictions_DIG_2 |
| *DIG28 | sent_elementarymetamathematics_basicnotions_logicalconsequence_DIG_1 |
| *DIG29 | sent_elementarymetamathematics_basicnotions_logicalequivalence_DIG_1 |
| DIG30 | sent_elementarymetamathematics_basicnotions_thebiconditional_DIG_1 |
| DIG31 | sent_elementarymetamathematics_basicnotions_thebiconditional_DIG_2 |
| *DIG32-1 | sent_elementarymetamathematics_truthfunctionalcompleteness_normalform_DIG_1 |
| *DIG32-2 | sent_elementarymetamathematics_truthfunctionalcompleteness_theuniversalstrokes_DIG_1 |
| DIG33 | pred_syntaxandsemanticsone_thebasics_predicatesandterms_DIG_1 |
| DIG34 | pred_syntaxandsemanticsone_formalsyntax_DIG_1 |
| DIG35 | pred_syntaxandsemanticsone_translation_DIG_1 |
| DIG36 | pred_syntaxandsemanticsone_semantics_DIG_1 |
| DIG37a DIG37b DIG37c DIG37d |
pred_syntaxandsemanticsone_formalsemantics_LBD_1a pred_syntaxandsemanticsone_formalsemantics_LBD_1b pred_syntaxandsemanticsone_formalsemantics_LBD_1c pred_syntaxandsemanticsone_formalsemantics_LBD_1d |
| DIG38 | pred_syntaxandsemanticstwo_quantifiersandindividualvariables_DIG_1 |
| DIG39 | pred_syntaxandsemanticstwo_formalsyntax_scope_DIG_1 |
| DIG40 | pred_syntaxandsemanticstwo_formalsyntax_substitutioninstance_DIG_1 |
| DIG41 | pred_syntaxandsemanticstwo_translation_DIG_1 |
| DIG42 | pred_syntaxandsemanticstwo_translation_DIG_2 |
| DIG43a DIG43b |
pred_syntaxandsemanticstwo_formalsemantics_DIG_1a pred_syntaxandsemanticstwo_formalsemantics_DIG_1b |
| DIG44 | pred_syntaxandsemanticstwo_propertiesofformulae_DIG_1 |
| DIG45 | pred_syntaxandsemanticstwo_argumentsvalidityandcounterexamples_DIG_1 |
| DIG46 | pred_derivations_eliminatinguniversalquantifiers_DIG_1 |
| DIG47 | pred_derivations_introducingexistentialquantifiers_DIG_1 |
| DIG48a DIG48b DIG48c |
pred_derivations_eliminatingexistentialquantifiers_DIG_1a pred_derivations_eliminatingexistentialquantifiers_DIG_1b pred_derivations_eliminatingexistentialquantifiers_DIG_1c |
| DIG49a DIG49b DIG49c DIG49d |
pred_derivations_introducinguniversalquantifiers_DIG_1a pred_derivations_introducinguniversalquantifiers_DIG_1b pred_derivations_introducinguniversalquantifiers_DIG_1c pred_derivations_introducinguniversalquantifiers_DIG_1d |
| DIG50 | pred_derivedrules_prenexnormalform_DIG_1 |
| DIG51 | pred_identityandfunctions_syntaxandsemanticsofidentity_DIG_1 |
| DIG52 | pred_identityandfunctions_quantityterms_DIG_1 |
| DIG53 | pred_identityandfunctions_definitedescriptions_DIG_1 |
| DIG54 | pred_identityandfunctions_propertiesofrelations_DIG_1 |