Natural Deduction using Strict Implication

Natural Deduction using Strict Implication

Rating
3
Reviews
3
Natural Deduction using Strict Implication
Natural Deduction using Strict Implication
Natural Deduction using Strict Implication
Natural Deduction using Strict Implication

App details

Release date

2019-08-10

Last update

2022-07-07

Product ID

9N3B5NB9PKGX

Categories

Education

About Natural Deduction using Strict Implication

Natural Deduction for modal logic S5 only using C.I.Lewis’ Strict Implication.

Key features

  • Proof generator
  • Proof checker (proof assistant)
  • Validity checking
  • Random tasks