Python samples
Sample
- absorption_python_sample
- biconditional_elimination_1_python_sample
- biconditional_elimination_2_python_sample
- biconditional_introduction_python_sample
- conjunction_elimination_1_python_sample
- conjunction_elimination_2_python_sample
- conjunction_introduction_python_sample
- disjunction_introduction_1_python_sample
- disjunction_introduction_2_python_sample
- double_negation_elimination_python_sample
- double_negation_introduction_python_sample
- equal_terms_substitution_python_sample
- equality_commutativity_python_sample
- free_variable_python_sample
- inconsistency_introduction_1_python_sample
- inconsistency_introduction_2_python_sample
- inconsistency_introduction_3_python_sample
- modus_ponens_python_sample
- proof_by_contradiction_1_python_sample
- proof_by_contradiction_2_python_sample
- proof_by_refutation_1_python_sample
- proof_by_refutation_2_python_sample
- variable_substitution_python_sample