Set theory and logic Last updated Mar 3, 2020 Page ID34088 Save as PDF set11 pr3.pg First order logic First order logicPredicatesProofsSemantics of quantifiersTranslationFunctionsImage and inverse imageInjective, surjective, bijectiveFuzzy logicMisc.Operations on setsBoolean operations on setsCardinalityMembership tablesPower setsProductsVenn diagramsPattern matchingNon-numericNumericPropositional logicBoolean circuitsOperations on propositionsRules of inferenceTranslationTruth tablesPuzzlesMisc.Relations between setsEquivalence relationsProperties of relationsSubset