I took a formal logic class last year and this is very reminiscent of the content taught, might be helpful to anyone struggling with this if you try learning some preliminary formal logic on youtube