slides - Kwarc
slides - Kwarc
slides - Kwarc
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
What is a Logic?<br />
◮ A logic is a specific formalization of propositions and truth<br />
◮ Two uses of logics:<br />
◮ as a foundation of mathematics<br />
◮ as a specification and interface language in mathematics and<br />
computer science<br />
◮ No best formalization, a multitude of logics in use<br />
6