![]() |
Topic |
Mod-01 Lec-37 Semantics of Predicate Logic
![]() |
Lecture |
![]() |
Notes |
![]() |
Topic |
Mod-01 Lec-38 Truth, satisfiability, validity in Predicate Logic
![]() |
Lecture |
![]() |
Notes |
![]() |
Topic |
Mod-01 Lec-39 Formation Trees for wff’s in predicate Logic
![]() |
Lecture |
![]() |
Notes |
![]() |
Bookmarks |
0 Comments
Post a Comment