M. Ibrahim Hassan (F2025CS011)
Azam ur Rehman Aziz (F2025CS015)
M. Huzaifa Athar (F2025CS017)
M. Usman Ghani (F2025CS044)
Modus Ponens:
p → q
p
⁂ q
Hypothetical Syllogism:
p → q
q → r
⁂ p → r
Disjunctive Syllogism:
p v q
~p
⁂ q
Simplification:
p ^ q
⁂ p
or it could be
p ^ q
⁂ q