Combining Texts
Ideas for
'The Evolution of Logic', 'Metaphysics: the logical approach' and 'Grundlagen (Foundations of Theory of Manifolds)'
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]
|