LPL You Try It 10.2: Tautological Consequence

preview_player
Показать описание
This goes through the second "You Try It" exercise in Language, Proof, and Logic section 10.2 on tautological consequence for quantification.
Рекомендации по теме