Advertisement
Published in:
2020 | OriginalPaper | Chapter
10. Just Supposing: Proof and Consequence
Author : David Makinson
Published in: Sets, Logic and Maths for Computing
Publisher: Springer International Publishing
Abstract
In the last two chapters we learned some of the basics of propositional and quantificational logic and, in particular, the relations of logical implication that they provide. In this chapter, we look at how simple logical implications may be put together to make a deductively valid argument, or proof. At first glance, this may seem trivial: just string them together! But although it starts like that, it goes well beyond and is, indeed, quite subtle.
