Logical consequence

thumb|The Pythagorean theorem has at least 370 known proofs.

An argument is one or more premises—sentences, statements, or propositions—directed towards arriving at a logical conclusion. The purpose of an argument is to give reasons for one's thinking and understanding via justification, explanation, or persuasion. As a series of logical steps, arguments are intended to determine or show the degree of truth or acceptability of a logical conclusion.

Inferences are steps in logical reasoning, moving from premises to logical consequences; etymologically, the word infer means to "carry forward". Inference is theoretically traditionally divided into deduction and induction, a distinction that dates at least to Aristotle (300s BC). Deduction is inference deriving logical conclusions from premises known or assumed to be true, with the laws of valid inference being studied in logic. Induction is inference from particular evidence to a universal conclusion. A third type of inference is sometimes distinguished, notably by Charles Sanders Peirce, c

logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right

fundamental concept in logic

concept in logic

A result (also called upshot) is the outcome or consequence of a sequence of actions or events. Possible results include gain, injury, value, and victory. Some types of results include the outcome of an action, the final value of a calculation, and the outcome of a vote.

A consequent is the second half of a hypothetical proposition. In the standard form of such a proposition, it is the part that follows "then". In an implication, if P implies Q, then P is called the antecedent and Q is called the consequent. In some contexts, the consequent is called the apodosis.

mathematical logical symbol

logical contradictions centred on the difference between natural language and logic theory

property of many logical systems that if a sentence follows deductively from a given set of sentences then it also follows deductively from any superset of those sentences

concept in natural language processing

Technique used by interviewers

mathematical symbol

mathematical symbol