1. |
PREMISE
02:21
|
|||
2. |
TRUTHVALUE
02:22
|
|||
3. |
NEGATION
01:30
|
|||
4. |
ASSUMPTION
01:06
|
|||
5. |
TRUTHTABLE
02:53
|
|||
6. |
CONDITIONAL
03:56
|
|||
7. |
MODUSPONENS
02:05
|
|||
8. |
CONDITIONALINTRODUCTION
02:21
|
|||
9. |
REDUCTIO
01:15
|
|||
10. |
CONJUNCTION
01:19
|
|||
11. |
DISJUNCTION
01:15
|
|||
12. |
UNIVERSALINTRODUCTION
01:12
|
|||
13. |
UNIVERSALELIMINATION
02:28
|
|||
14. |
CONTRADICTION
02:30
|
First Order Predicate Logic recommends:
If you like First Order Predicate Logic, you may also like:
Bandcamp Daily your guide to the world of Bandcamp