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.
Existential quantifierQuantifierExistential generalizationUniversal quantificationPredicate calculusUniversal quantifierLogical connectiveUniverse of discourseTruth valueExistence theoremQuantizationPropositional functionUnconditionalPropositional variableAxiomatic systemExistential instantiationDefinite descriptionPredicate logicHigher-order logicExistential theory of the realsBounded quantificationFormulaScopePropositional logicMaterial implicationCategorical propositionAxiom schemaExtensional definitionDescriptive knowledgeFirst-order logicAxiom schemePredicateIntensional logicIntensional definitionAxiom of unionTautologyMetavariableAxiom of extensionalityClauseLogical conjunctionConditional proofDouble negationMonadic second-order logicDomain of discourseTransitive setAxiom of pairingQuantum stateDefinitenessHypothetical syllogismStrict conditionalAxiom of infinityTranscendental equationFixed-point theoremsPropositionAlgebraic expressionLogical consequenceImplicationPropositional formulaBertrand's postulateSurjectionInitial and terminal objectsFunctional completenessSchemaSkolem functionCount nounModal logicNecessity and sufficiencyEquivalence classAxiom of regularityEvidentialityPrinciple of bivalenceProper nameProvability logicProbability measureEquationPredicativeAttributive verbRule of inferenceQuantum logicOrdinary differential equationLarge cardinalSymbolic logicGrammatical numberExtensionalityMonadic predicate logicBoolean expressionConstructive logicSatisfiabilityAdpositional phrasePrinciple of compositionalityLogical formBoolean algebraContextTheoremConjunction introductionLogical biconditionalTransfinite numberDisjunctive syllogismBoolean variableType theory