Set theory and logic Last updated Save as PDF Page ID34088 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