Results for: 'Logic Pro X'
multiple quantifier translations PHIL013
A video on relational translations that involve more than one quantifier.
Popeye Gopher Spinach but Modern
My submission for Logic Project 3, using Popeye Gopher Spinach
files about assignment.
darius shaoul mu060 logic project
2nd affirmative speech - pro gun reform
This is the 2nd affirmative speech.
A video about doing proofs, introducing how to do direct derivations, and the &I and &O rules.
complex translations PHIL013AB
A four-minute video on how to do complex translations involving more than two subsentences.
sentential translations 1 PHIL013AB
A ten-and-a-half-minute video about how to do translations in sentential logic, using the basic connectives and phrases like "neither" and "unless."
A video about how to do proofs where you write down SHOW statements that don't come from any particular derivation rule.