YoVDO

Symbolic Logic

Offered By: Chaffey College via California Community Colleges System

Tags

Formal Logic Courses Propositional Logic Courses Argument Analysis Courses Logical Reasoning Courses Truth-tables Courses

Course Description

Overview

Prerequisite: ENGL-1A. Advisory: Completion of PHIL-76. An introduction to symbolic methods of reasoning, covering sentential logic, natural deduction, and predicate logic. Students will translate ordinary language sentences and arguments into symbolic form and will evaluate symbolized arguments using truth tables, truth trees, and natural deduction. (C-ID PHIL 210) Transfer: CSU; UC

Related Courses

Introduction to Logic
Stanford University via Coursera Think Again: How to Reason and Argue
Duke University via Coursera Language, Proof and Logic
Stanford University via edX Artificial Intelligence: Knowledge Representation And Reasoning
Indian Institute of Technology Madras via Swayam Mathematical Logic and Algorithms Theory
Tomsk State University of Control Systems and Radioelectronics via iversity