Logic - Fitch-style Natural Deduction Proofs #43 & 42

Поділитися
Вставка
  • Опубліковано 6 лис 2024

КОМЕНТАРІ • 3

  • @theemptylive1739
    @theemptylive1739 10 місяців тому +1

    The explanation for fitch-style existential instantiation around 27:40 was incredibly helpful, thanks!

    • @dodecahedra
      @dodecahedra  10 місяців тому

      Existential ELIMINATION

  • @vetox2845
    @vetox2845 Рік тому +1

    thanks for carrying my homework