Search Results
Results for: 'Logic Project 3'

PHYS021 Term Project trial video better angle
Index card is exactly 2 m away from contraption, which is behind origin.

conditional derivation proofs PHIL 013C
A nine-minute video about conditional derivation, a new kind of rule. Listen closely for a special appearance from a squeaky raccoon.

Introduction to proofs PHIL 013AB
A video on what proofs are, which explains the concept of simple derivation, and how to do proofs with one proof rule, Modus Ponens.

introduction to predicate proofs PHIL013AB
A video introducing predicate proofs and the first two predicate proof rules, AO and EI.