metascribe commented on Understanding Symbolic Logic by Virginia Klenk
Have finally reached Unit 7 again, which covers the proof method for demonstrating argument validity. The proof method involves applying replacement rules and rules of inference on formulae to show that a conclusion does indeed follow from some set of premises with shared operands. Glad I finished taking notes on the previous Unit chapter so I can move on with reading.