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 the excluded middleLaw of double negationDisjunctive syllogismPrinciple of explosionIntuitionistic logicDe morgan's lawLaw of identityExclusive disjunctionInclusive disjunctionAlternationPropositional calculusContradictionFormal logicProof by contradictionExclusive orContrapositiveTernary logicBoolean atomMathematical logicLogicPropositional constantMaximalLöb's theoremUniversal quantifierZero-order logicLogical calculusTrilemmaHerbrand's theoremNot operatorMonadic second-order logicEquivalenceFalsumBoolean algebraBiconditionalQuantum logicElementary equivalenceGödel's incompleteness theoremLinear logicCompletenessMany-valued logicZero-one lawTruth tableConstructive logicBoolean logicSecond-order logicTruth treeLogicismNot functionHorn clausePrime formulaBinaryTruth functionHorseshoeBarcan formulaDisjunctionFuzzy logicExistential quantifierAxiomatic systemPons asinorumBoolean variableDouble turnstileDisjunctive normal formCorner quoteParamodulationUniverse of discoursePresburger arithmeticConsensus theoremEuclid's lemmaDegreeLeibniz's lawConservative extensionEquisatisfiabilityConjunctive normal formCircleMany-sorted logicQuantifierTildeDe morgan algebraKripke modelRussell's paradoxPigeonhole principleSequentPropositionPeano arithmeticBinary operationReductio ad absurdumArithmetical setConnectiveMathematical inductionSkolemizationTheoremStructuralityPasch's axiomHeyting algebraClosed formulaGödel numberCertain eventWedgePrenexCanonical disjunctive normal form