Mathematical logic

(logic and mathematics) abstract, theoretical organization of terms and implicit relationships that is used as a tool for the analysis of the co…

(mathematics, logic) such that the arguments or roles can be interchanged; "the arguments of the symmetric relation, ‘is a sister of,’ are inter…

(logic and mathematics) a relation such that it holds between an element and itself

(logic and mathematics) a relation such that it holds between an element and itself

(logic and mathematics) a relation between three elements such that if it holds between the first and second and it also holds between the secon…

a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true

a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true

a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things

any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems.; "An axiomatic system is said to be con…

(logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident

(logic) an inference that follows directly from the proof of another proposition

(logic) what is predicated of the subject of a proposition; the second term in a proposition is predicated of the first term by means of the cop…

(logic) a statement that is necessarily false; "the statement ‘he is brave and he is not brave’ is a contradiction"

(logic) a statement that is necessarily false; "the statement ‘he is brave and he is not brave’ is a contradiction"

(logic) a proposition that is true if and only if another proposition is false

a formal series of statements showing that if one thing is true something else necessarily follows from it

(logic) a statement that affirms or denies something and is either true or false

(logic) a statement that is necessarily true; "the statement ‘he is brave or he is not brave’ is a tautology"

having similarity in size, shape, and relative position of corresponding parts

having similarity in size, shape, and relative position of corresponding parts

(mathematics) any of five axioms that are generally recognized as the basis for Euclidean geometry

(mathematics) any of five axioms that are generally recognized as the basis for Euclidean geometry

(mathematics) any of five axioms that are generally recognized as the basis for Euclidean geometry

a contradiction between two statements that seem equally reasonable

the proposition arrived at by logical reasoning (such as the proposition that must follow from the major and minor premises of a syllogism)

a proposition obtained by conversion

proof by a process of argument or a series of proposition proving an asserted conclusion

a subsidiary proposition that is assumed to be true in order to prove another proposition

proof by a process of argument or a series of proposition proving an asserted conclusion

(logic) a statement that contradicts itself; "‘I always lie’ is a paradox because if it is true it must be false"

(logic) a proposition that asserts something about some (but not all) members of a class

(logic) a proposition that is accepted as true in order to provide a basis for logical reasoning

(logic) a proposition that is accepted as true in order to provide a basis for logical reasoning

the proposition arrived at by logical reasoning (such as the proposition that must follow from the major and minor premises of a syllogism)

a proposition deducible from basic postulates

(logic) a proposition that asserts something of all members of a class

only one line can be drawn through a point parallel to another line

a straight line can be drawn between any two points

all right angles are equal

any terminated straight line can be projected indefinitely

a circle with any radius can be drawn around any point

only one line can be drawn through a point parallel to another line

a statement that is assumed to be true and from which a conclusion can be drawn; "on the assumption that he has been injured, we can infer that…

(statistics) the difficulty of applying Bayes' theorem is that the probabilities of the different causes are seldom known, in which case it may…

a statement that is assumed to be true and from which a conclusion can be drawn; "on the assumption that he has been injured, we can infer that…

a statement that is assumed to be true and from which a conclusion can be drawn; "on the assumption that he has been injured, we can infer that…