num_pages: 304
description: For courses in Introduction to Logic and Formal Logic. This clearly written volume covers symbolization, proofs, counterexamples, and truth trees. These topics are presented in graded steps, beginning with the symbolization of categorical propositions and concluding with the properties of relations. This new edition includes 'PredLogic,' a CD-ROM-based tutorial for students.
language: English
title: Introduction to Logic: Predicate Logic
titlecomplete: Introduction to Logic: Predicate Logic
genres: Nonfiction, Logic, Philosophy
ratings_count: 34
publisher: Pearson