Skip to main content
Home
  • Home
  • Learn
    • Courses
      • Programming in C
      • Operating Systems
      • Mathematics
      • Digital Logic Design
      • Database Management System
      • Data Structures
      • Computer Organisation
      • Computer Networks
      • Compiler design
      • Algorithms
      • Theory of Computation
  • Practise
    • Doubts
    • Solved Examples
    • Virtual GATE
  • Quiz
  • Class Rooms
  • Blog
  • More
    • Reach to us
      • Contact Us
      • Request a Topic
      • Join us
      • Internship
      • Teach with Techtud
      • GATE 2018 Feedback
    • Your Interview
      • Professor's Interview
      • Research Scholar's Interview
      • Exam topper's interview
    • About
      • About Techtud
      • The Team
      • User Levels and Credentials
      • Benefits
      • Earn Techtud Tee
Back to Course Home
    Content in this chapter:
    • Propositional Logic Part6 [validity, satisfiability, logical implication,inference system]
    • Rules of inference
    • Example on Rules of Inference
    • Log in or register to post comments
    • 2189 reads

    Quick Links

    • Doubts

    About

    • The Team
    • User Levels & Credentials

    Reach to Us

    • Contact Us
    • Join Us
    • Request a Topic

    Media Coverage

    TOI
    YS
    BS

    Subscribe

    Proudly supported by OpenSense Labs