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.
Formal systemTheoryAxiomTheoremConditional proofPostulateAxiom schemeInference rulePropositional logicAnalysisAxiom schemaLogicSymbolic logicNatural deductionFirst-order logicProof by exampleFormal logicParaconsistent logicMetatheoremProofPredicate logicFormation ruleSchemaPostulationProof by exhaustionSyllogismPremiseProsyllogismDeduction theoremFirst truthArgumentDeductionConclusionAntitheoremFormulaSynthesisIntensional logicDeductive closurePolysyllogismTautologyAxiomizationThesisAxiomaticsTerm logicConverseEx falso quod libetLemmaClassical logicPropositionConsecutionInterpretationRatio formalisSufficient conditionWell-formed formulaAnalogismDialecticFormal validityEpisyllogismValuationEcthesisDescription logicLogical constantSuperordinationSubjectLaw of noncontradictionTruth valuePrecisificationConstatationFormal ontologyAssumptionDoxastic logicTermSuppositumDefineeAntecedentModelApagogeEnthymemePositive logicSentential logicNecessary conditionDeductivismFigureSelf-contradictionQuantificationLogical connectiveDeductive reasoningTrivialismStrict implicationMetaphysicsTheorumArgumentationConjunctionSimpleSimplificationLogickPredicate calculusEvidenceMemberSemantic tableau