Combining Texts
Ideas for
'The Evolution of Logic', 'Remarks on axiomatised set theory' and 'Equality and Partiality'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
1 idea
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / c. Derivation rules of PL
13500
|
Conditional Proof: infer a conditional, if the consequent can be deduced from the antecedent [Hart,WD]
|