"Teach a child WHAT to think and you make him a slave of knowledge; But teach a child HOW to THINK and you make knowledge his slave" from Logic for Filipinos

Home

Assignment

Activity

Lecture

Quiz Results

for your comments, feedback or suggestions.

Introduction to Symbolic Logic

Introduction to Logic

Aristotelian logic

Philosophy

Propositional Logic Terms and Symbols

This course is a science of correct inference using the

Aristotelian logic with special symbols to avoid

ambiguity of ordinary language.

The principles and methods of symbolic logic are used in

determining the validity and invalidity of arguments.

The standard methods of truth tables ,

rule of inference and replacement , conditional

and indirect method of proof are included

Course Outline

  Class Schedule

I.  Introduction

     a. Philosophy

     b. Logic

II. Proposition form and truth tables

      a. The symbols for conditional assessments

      b. Truth functions

      c. The symbol for conjunctions

      d. Truth functions

      e. The symbol for disjunction

      f. Symbols for negation and other punctuation

III. Other Propositional Forms

     a. The symbol for bi-conditional

      b. Tautologies, contradictory, and contingent

      c. Material Equivalence

IV. Argument form and validity

     a. Truth- table construction

      b. Validity of truth- functional arguments

      c. Proof of invalidity

V. Method of Deduction

      a. Rules of inference

VI. The Rules of Displacement

Day                     Time           Room      Sec
Friday            8:00-11:30        402            A
Friday            1:00-4:30          402            B
Friday            5:00-8:30          402            C