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.
Law of excluded middleTruth valueCategorical propositionDouble negationRedundancy theory of truthFunctional completenessLogical equivalenceBoolean algebraLogical conjunctionCorrespondence theory of truthLaw of noncontradictionTautologyTrivialismPropositional variableBoolean domainProof by contradictionLogical formPrinciple of compositionalityLogical consequenceLogical biconditionalDescriptive knowledgeIf and only ifRule of inferenceSyllogismCompactness theoremTruth tableExclusive orContrapositionMonadic predicate calculusPrinciple of explosionIdentityLogical norAxiomatic systemExistential quantificationSatisfiabilityCompletenessPropositional formulaBoolean satisfiability problemClauseBoole's inequalityLogical constantExistential generalizationConverseTransfer principleSelf-evidenceHypothetical syllogismPrincipal valueSemantic theory of truthNegation normal formClosed-world assumptionQuantizationApodicticityExact testLikelihood principleExistential theory of the realsDiscrete uniform distributionModus tollensNegationNecessity and sufficiencyCoherence theory of truthOne-to-oneConjunction introductionSoundnessClassLaw of total probabilityBoolean functionSyntaxDialectical monismCriteria of truthEvidentialityMutual exclusivityThree-valued logicConfirmation holismPositivismLogical connectivePower of a testDefinitenessBounded quantificationPermutation matrixPartition of a setSemantics of logicMethod of analytic tableauxResolutionFixed-point theoremsIdentity functionFunctionInjective functionAffirmation and negationReceived view of theoriesBoolean expressionOpen-world assumptionFinite measureSubstance theoryConditional proofInitial and terminal objectsAlethic modalityEquivalence relationConjunctive normal formAntisymmetric relationAtomic formula