Sentence Logic

From RainroseWiki
Jump to navigation Jump to search

Natural deduction

Elimination rules

Introduction rules