Search Results
Results for: 'Logic Project 3'

A video about how to do proofs where you write down SHOW statements that don't come from any particular derivation rule.

complex translations PHIL013AB
A four-minute video on how to do complex translations involving more than two subsentences.

truth table calculation PHIL 013AB
An eight-minute video about how to calculate a truth table for a complex statement.

spontaneous show proofs PHIL013AB
A video on how to do proofs where you write down SHOW statements that don't come from specific derivation rules.

Describing how my final project works and then showing a demo on it functioning

Carly's Final Project: Video Data
My final project catapult projecting a 1cm object that lands within 5cm of 2m.