Videos
Introduction
![](images/ThumbnailAristotle.jpg)
![](images/ThumbnailThePurposeofProof.jpg)
Boolean Logic
![](images/ThumbnailImplies.jpg)
![](images/ThumbnailTruthTableApp.jpg)
![](images/ThumbnailBooleanQueries.jpg)
![](images/ThumbnailDigitalDesign.jpg)
![](images/ThumbnailLogisim.jpg)
Boolean Logic Proofs
![](images/ThumbnailPremisesAreKey.jpg)
![](images/ThumbnailConverseAndContrapositive.jpg)
![](images/ThumbnailNecessaryAndSufficientConditions.jpg)
![](images/ThumbnailVariableSubstitution.jpg)
![](images/ThumbnailQueriumPart1.jpg)
![](images/ThumbnailQueriumPart2.jpg)
![](images/ThumbnailQueriumPart3.jpg)
![](images/ThumbnailBackToAristotle.jpg)
![](images/ThumbnailRelaxing.jpg)
![](images/ThumbnailWhoDrivesMe.jpg)
![](images/ThumbnailConditionalDisjunction.jpg)
![](images/ThumbnailElection.jpg)
![](images/ThumbnailConditionalization.jpg)
![](images/ThumbnailParty.jpg)
![](images/ThumbnailStayInAustin.jpg)
![](images/ThumbnailContradictoryPremises.jpg)
Predicate Logic
![](images/ThumbnailVariableNames.jpg)
![](images/ThumbnailBigConjunctionsBigDisjunctions.jpg)
![](images/ThumbnailDoesQuantifierOrderMatter.jpg)
![](images/ThumbnailMoreOnRepresentation.jpg)
![](images/ThumbnailCounterexamples.jpg)
Predicate Logic Proofs
![](images/ThumbnailLEM-1.jpg)
![](images/ThumbnailLEM-2.jpg)
![](images/ThumbnailSkolemFunctions.jpg)
![](images/ThumbnailThinkLayers.jpg)
![](images/ThumbnailQueriumPart4.jpg)
![](images/ThumbnailBarber.jpg)
![](images/ThumbnailAbsoluteValue.jpg)
![](images/ThumbnailFathersAndSons.jpg)
![](images/ThumbnailFirstClass.jpg)
![](images/ThumbnailDrugTest.jpg)
![](images/ThumbnailFunny.jpg)
![](images/ThumbnailAsleepInClass.jpg)
Practice Representing Claims in Logic
![](images/ThumbnailRepresentationNowThatWeCanProve.jpg)
![](images/ThumbnailTowersOfHanoiIntroAKC.jpg)
![](images/ThumbnailTowersOfHanoiSolution.jpg)
![](images/ThumbnailTowerOfHanoiSoftwareSpecs.jpg)
English Into Logic: Issues and Solutions
![](images/ThumbnailEnglishSemanticsAreHard.jpg)
![](images/ThumbnailCooperativePrinciple.jpg)
![](images/ThumbnailPresuppositions.jpg)
![](images/ThumbnailSoritesParadox.jpg)
A Richer Catalogue of Proof Techniques
![](images/ThumbnailTrainingWheels.jpg)
![](images/ThumbnailProofByContradiction.jpg)
![](images/ThumbnailContrapositiveAndPumping.jpg)
![](images/ThumbnailProofbyConstruction.jpg)
![](images/ThumbnailMathematicalInduction.jpg)
![](images/ThumbnailInduction1.jpg)
![](images/ThumbnailInduction2.jpg)
![](images/ThumbnailInductionTowers.jpg)
Sets
![](images/ThumbnailSetsBoxes.jpg)
![](images/ThumbnailSetsOfSets.jpg)
![](images/ThumbnailFiniteStateMachines.jpg)
![](images/ThumbnailJFLAPIntro.jpg)
![](images/ThumbnailJFLAPDemo.jpg)
![](images/ThumbnailSetsSenseAndNonsense.jpg)
![](images/ThumbnailSetsToLogic07Proof.jpg)
![](images/ThumbnailSetsToLogic05Proof.jpg)
![](images/ThumbnailSetIdentityProofs.jpg)
Relations
![](images/ThumbnailCompositionDescribesAPath.jpg)
![](images/ThumbnailCompositionEnrolledInWithInverse.jpg)
![](images/ThumbnailSoundex.jpg)
![](images/ThumbnailMoreSenseAndNonsense.jpg)
Functions
![](images/ThumbnailFunctionsAndPrograms.jpg)
![](images/ThumbnailPigeonHolePrinciple.jpg)
![]() |
![]() |
Alan Cline The University of Texas at Austin |