Video lecture 9 CONDITIONAL PROOF

preview_player
Показать описание

Рекомендации по теме
Комментарии
Автор

Sir kasama po ba 'to sa prelim exams?

ixanagi_
Автор

Sir may tanong po ako, sa 16:48 po ginamit ung simplification and ang P ay si A->B at Q ay A->C. Sabi po sa rules of inference ang conclusion po ng P^Q ay P .
Bakit po ginamit na P ang A->C?
Pwede po bang baliktarin and gawin P ang A->C?
Tsaka po pwede pong mag apply ng multiple rules sa iisang premise?

johnpaul