MyFinder is a unique search engine with a simple privacy concept in mind. We log your searches but none of the data, it's that simple.
Truth tableLogical conjunctionAxiomatic systemPropositional logicLogical matrixInclusive orConnectionAxiom of unionTautologyLogical connectiveCompletenessIntersectionCategorical propositionUniversal quantifierBoolean functionTruth treeComplete boolean algebraBoolean algebraClauseFormulaClassInclusion functionTruth valuePropositional functionTransitive setLogical consequenceEquivalence classClassical logicComplete measureExtensionTheoryBoolean networkAxiom of pairingIntensional definitionPrinciple of compositionalityClosureGroupSymbolic logicCanonical normal formPartitionAlgebraConjunctive normal formAxiom of extensionalityAxiom of regularityTruth functionComparison of topologiesClosure operatorOperadPrinciple of bivalenceGenerating set of a groupLogic gateConstructible universeConnected relationSystem of equationsSet-builder notationElementary equivalenceSymmetric groupProof systemDisjunctive normal formConstructive logicBoolean logicAlgebra of setsAlgebraic structureSubsetBoolean expressionPropositional variableExtensionalityExistential theory of the realsConsistencyImplicationContextPredicate logicFormal languagePartition of a setAnalytic function of a matrixElementary functionRule of inferenceFirst-order logicBoolean domainQuantifierExpressionCountable additivityPropositional formulaAxiom schemaConditional proofExtensional definitionUnconditionalBorel setIndicator functionAlgebraic expressionComplete graphSurjective functionArithmetic functionCategoryTheoremProof by contradictionAxiom schemeCartesian productChoice functionSurjection