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.
Predicate calculusFirst-order logicSubjectTermQuantificationDescription logicDiscoursePredicate logicFormulaPredicatePredicationExistential instantiationCategorical propositionMajor termLogicDiscursusImplicationPredicamentTerm logicRelevance logicPropositional logicPropositionRelatumSufficient conditionInterpretationIntensional logicInclusive orModalityMetadiscourseSymbolic logicCategoricalLogical connectiveStrict implicationConnotationFormal logicSource domainAttributeFigurePredicativeSentential logicValuationSuperordinationLogical constantRatio formalisPropositional variableQuantifierNecessary conditionAntecedentSelectionConcreteMaterial implicationImplicandLimitInformal logicSchemaParaconsistent logicTarget domainFormal systemSyllogismArgumentSemantic fieldMajor premiseIntensionDefineeReferentConceptual metaphorLogophorControlled vocabularyPremiseFormal validityPropositional functionDiscourse markerSignificateMonadic predicate logicDepthMode of discourseLiteralDisjunctSimplificationModelPrecisificationTheoremProof systemDisjunctivePredicandControlDoxastic logicFormation ruleSentence elementAntepredicamentExclusive orImportationExplicandumAddresseeTautologyAnalysisRelevance conditionalTheoryDiscourse analysisMember