Logic 101 (#36): Introduction to Proofs

Logic 101 (#37): Killer Proof Strategy #1 (DeMorgan's Everything!)

Руководство для начинающих по формальной логике (и зачем она вам нужна)

Introduction to Proof Theory I: Sequent Calculus

Logic 101 Full Course

A Short Course on Natural Deduction: Fitch-style proofs for Propositional and Predicate Logic

Lecture 1: Predicates, Sets, and Proofs

Symbolic Logic 7: Rules of Implication, Intro to Proofs

ВАМ НУЖНА МАТЕМАТИЧЕСКАЯ ЛОГИКА!

Введение в пропозициональную логику

Точка зрения: что вы увидите во время захвата искусственным интеллектом

Semantics (2024) Lectures

Что такое правильно сформулированная формула (WFF)? | Основы символической логики

Logical Arguments - Modus Ponens & Modus Tollens

Как заставить свой разум учить всё, что вы хотите | Секрет Фейнмана

The soundness and completeness of logic

Пропозициональная логика: полный ускоренный курс

Теория приближений — Алексей Савватеев / ПостНаука

Natural Deduction Proofs: practise examples | Attic Philosophy

Symbolic Logic II: Rules of Inference (part a)

Как проводить доказательства методом естественной дедукции | Attic Philosophy