Συγγραφέας: Peter Smith, Hermann Weyl
Peter Smith, Hermann Weyl: Formal Logic (pdf, 69 pages)
A PL argument φ1, φ1, . . . φn, so ψ is tautologically valid if ψ is true on every possible valuation of the relevant atoms where all of φ1, φ1, . . . φn are true. |
