2024-2025 Academic Catalog 
    
    Sep 12, 2024  
HELP
2024-2025 Academic Catalog

PHL 4200 - Symbolic Logic II


Credit Hour(s): 3

Course Description: Standard notations, principles of inference, formal systems, and methods of proof. Focus on first-order predicate logic. Students who have taken PHL 3230 cannot take PHL 4200.

Prerequisite(s): Undergraduate level PHL 3200 Minimum Grade of D

Course Level: Undergraduate
Schedule Type(s): Lecture

Grade Mode: Standard
Catalog Navigation
  Catalog Home
  Programs of Study - Alphabetical
  Programs of Study - Department/School
  Other Programs
  Graduation Planning Strategies (GPS) - Alphabetical
  Course Descriptions
  About Wright State University
  Accreditation
  Academic Calendar
  Admission
  Policies and Resources
  Academic Information
  Academic Program Requirements
  Academic Services
  Academic Standards
  Degree/Certificate Requirements
  Enrollment Information
  Student Rights and Responsibilities
  Wright State Core Program
  The Wright State Core Requirements
  Business, Raj Soin College of
  Engineering and Computer Science, College of
  Health, Education, and Human Services, College of
  Liberal Arts, College of
  Science and Mathematics, College of
  Graduate Programs and Honors Studies, College of
  Medicine, Boonshoft School of
  Lake Campus