Academic Research Poster
Predicate Logic Evaluator
Project IDPT-S26-73DD82
Lead ResearcherShahwaiz Hussain
Student IDF25CSC066
DepartmentComputer Science
SemesterSemester 02
Abstract
Evaluates predicate logic statements involving quantifiers universal and existential symbols. Determines truth values across domains, aiding reasoning, verification, and understanding logical structures essential in mathematics, computer science, and artificial intelligence.
Research Team
Haseeb TariqF25CSC099
Muhammad SulemanF25CSC080
Internal Supervision
Principal SupervisorMs. Sadaf-Ul-Aish
Academic DivisionFaculty of Information Technology
Poster Actions
No document available.
Peer Feedback & Comments
▲0 Votes
Submit a Review
Peer Feedback & Comments
No reviews have been posted yet.