Search Results
Results for: 'relational logic'
![](/wowza/users/m/c/mcweiner/thumbs/jiKZ67HNCmcyWdR3wJlD.jpg)
predicate proofs existential out PHIL013AB
A video on how to use the rule EO (existential out) in proofs in predicate logic.
![](/wowza/users/m/c/mcweiner/thumbs/i38AiQ5fuUMCrbchjRoh.jpg)
sentential translations 1 PHIL013AB
A video on how to translate sentences from English to our notation using the five main connectives