Search Results
Results for: 'predicate logic'
![](/wowza/users/m/c/mcweiner/thumbs/xF9Z1auiBihTzimC77W5.jpg)
introduction to relational translations PHIL013
An introduction to relational logic, with an explanation of relations and how to translate relational sentences with no quantifiers or one quantifier.
![](/wowza/users/m/c/mcweiner/thumbs/GyboUICmiG4KmJxyhFtq.jpg)
negated quantifier proofs PHIL013AB
A video on how to do proofs with negated quantifiers. Introduces two new rules, ~AO and ~EO, and discusses how to do proofs where you need to SHOW negated quantifiers (you have to do ID).
![](/wowza/users/m/c/mcweiner/thumbs/jOVRuZg943IddylzsXn7.jpg)
An eight-minute screencast on the concept of validity and other basic concepts in logic.
![](/wowza/users/m/c/mcweiner/thumbs/CiRShTut6dJrgSV4pUUW.jpg)
connectives and truth value calculation PHIL013AB
A nine-minute video on the connectives we will use in statement logic, and how to calculate truth-values with those connectives.
![](/wowza/users/d/f/dfeurzei/thumbs/8jPYC2U7V4rYOarYpH75.jpg)
MU 060 Logic MIIDI sequencing (1 of 2)
Introduction to MIDI seqeuncing project, reviewing the nature of MIDI and MIDI messages