LPL You Try It 6.1c: Conjunction Elimination Shortcut

preview_player
Показать описание
This goes through the third "You Try It" exercise in Language, Proof, and Logic section 6.1, demonstrating a conjunction elimination shortcut in Fitch.
Рекомендации по теме