Search results
The purpose of this booklet is to give you a number of exercises on proposi-tional, first order and modal logics to complement the topics and exercises covered during the lectures of the course on mathematical logic.
Peter Smith, Introduction to Formal Logic (CUP, 2nd edition) Exercises 14: Tautologies (a) Which of the following w s are tautologies, which are contradictions, and which are neither? (1) :((::Q^::P) _:(P^Q)) Since (::Q^::P) is equivalent to (P^Q), this w is equivalent to one of the form :( _: ),
logic and reasoning abilities, however, you can use 501 Challenging Logic and Reasoning Problems by itself. Use the answer key at the end of the book not only to find out if you got the right answer, but also to learn how to tackle similar kinds of questions next time. Every answer is explained. Make sure you under-
Understand the concept/Logic with LK Logic!! Educational, Entertaining, knowledgeable, Fun and Facts videos!! For GCSE, IGCSE, CBSE, SSC, ICSE - British, American, Australian, French, Indian,...
Peter Smith, Introduction to Formal Logic (CUP, 2nd edition) Exercises 12: Truth functions and truth tables Give truth tables for the following w s of a PL language { i.e. calculate the value of the w for every assignment of values to the atoms. Use the usual shortcuts, i.e. if a conjunct is false, ignore
LOGICAL CONNECTIVES The words "and" "or" "but" "if...then" are examples of logical connectives. They are words that can be used to connect two or more simple statements to form a more complicated compound statement. Examples of compound statements: "I am taking a math class but I'm not a math major."
In the left columns in each table there are links to PDFs to sets of end-of-chapter exercises for IFL2 (the numbers correspond to chapters, so there are gaps corresponding to chapters without exercises). The question-sets may, however, also be useful to others using different textbooks.
