Please Login To Continue

Rules of Inferences

Lesson 11 of 31 • 24 upvotes • 14:13mins

Avatar

Ansha P

Continue on app
1

Introduction.

8:42mins

2

Learn the Connectives

10:37mins

3

Tautology, Contradiction, Contingency

9:44mins

4

Important Laws

8:57mins

5

Problems on Tautology, Contradictions and Contingency

11:08mins

6

Problems on Tautology, Contradictions and Contingency

8:38mins

7

Problems on Tautology, Contradictions and Contingency

9:41mins

8

Important Equivalences

10:05mins

9

Simplification

8:32mins

10

Translation from English to Propositional Logic

11:09mins

11

Rules of Inferences

14:13mins

12

First Order Logic

8:59mins

13

Syntax - First Order Logic

8:22mins

14

Quantifiers

9:56mins

15

Quantifiers with Connectives

9:36mins

16

Translation

9:17mins

17

Translation from English

11:13mins

18

Translation from English

10:38mins

19

GATE 2008 Question

9:00mins

20

GATE 2014 Question

12:05mins

21

GATE 2017 Question

8:10mins

22

GATE 2017

10:21mins

23

Gate questions from FOL Translation

9:47mins

24

GATE 2011 Question

10:12mins

25

Gate questions

9:58mins

26

Gate questions

8:19mins

27

Gate questions

8:39mins

28

Gate questions

8:24mins

29

FOL - Equivalences , Rules of Inferences

9:18mins

30

Gate 2016 Question

13:23mins

31

Gate 2016 Questions

9:46mins

Crack GATE - Iconic Pro with Unacademy

Get subscription and access unlimited live and recorded courses from India's best educators
Structured syllabus
Structured syllabus
Daily live classes
Daily live classes
Ask doubts
Ask doubts
Tests & practice
Tests & practice

More from Ansha P

thumbnail
EnglishCS & IT

An Overview of Minimum Spanning Trees

Ansha P

Similar Plus Courses

Unacademy is India’s largest online learning platform. Download our apps to start learning


Starting your preparation?

Call us and we will answer all your questions about learning on Unacademy

Call +91 8585858585
Company
About usShikshodayaCareersBlogsPrivacy PolicyTerms and Conditions
Products
Learner appLearner appEducator appEducator appParent appParent app