Tag Deduction Theorem

Tagged Works

Classical Sentential Logic: Based on Logical Equivalence
1

Using the Tag

FrankJLucatelli (1)

Aliases and Translations

Includes: Deduction Theorem, deduction theorem