introduction to symbolic logic 4

Introduction to Symbolic Logic questions

sample question:

Construct a derivation for each of the those four arguments: 【X Y 】/【 (~Y) (~X)】


The following is my symbolization of a simplified version of Hume’s argument for inductive skepticism