'Language, Proof and Logic: Chapter 6, Sections 6.1-6.6 Overview

preview_player
Показать описание
This video provides a general overview of the rules for introducing or eliminating connectives (negation, conjunction, and disjunction), and an overview of generating and eliminating contradictions.
Рекомендации по теме
Комментарии
Автор

Thank you so much for making these available. These videos have been a great supplement to the official LPL videos and my school's online recordings.

jamesoconnor
Автор

Very helpful thank you! Much clearer than the textbook explanations.

AlexTheGreatish