Combining Texts
Ideas for
'The Roots of Reference', 'The Evolution of Logic' and 'Nihilism without Self-Contradiction'
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]
|