Search Results
Results for: 'Logic Pro X'

relational categoricals PHIL013
A video about translating relational categoricals, sentences where one or more categories are joined by a relation, such as "Some people love all cats."

A video about doing proofs, introducing how to do direct derivations, and the &I and &O rules.

conditional truth table PHIL013AB
A five-minute video explaining why the truth table for the conditional is the way it is.

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

truth table applications PHIL 013AB
An eleven-minute video on the things you can do with truth-tables. Covers tautology/contradiction/contingent, implication and equivalence, and argument validity.

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."

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