![]() |
| 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