School of Arts:: The University of Jordan :: Symbolic Logic 2303414

  School of Arts - Department of Philosophy

Administrative Staff Study Plans Research Courses Programs Academic Staff Strategy Dept. Home

( Symbolic Logic 2303414 )

  • Course Description :
    Tuth-functional connectives; rules of equivalence and inference; modes of the formal proof; “all“ and “some“; logical truths involving quantifiers; rules of generalization and specification and their use in demonstration; properties of relations; symbolizing details; proving invalidity
  • Pre Request :
  • Credit Hour :
  • Department : Philosophy
  • Program :
  • Course Level :Bachelor
  • Course Outline :