Combining Texts
Ideas for
'fragments/reports', 'Dialectic of Enlightenment' and 'The Evolution of Logic'
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]
|