|
Material Implication (rule Of Inference)
In propositional logic, material implication is a valid rule of replacement that allows for a conditional statement to be replaced by a disjunction in which the antecedent is negated. The rule states that ''P implies Q'' is logically equivalent to ''not-P or Q'' and that either form can replace the other in logical proofs. In other words, if P is true, then Q must also be true, while if Q is true, then P cannot be true either; additionally, when P is not true, Q may be either true or false. P \to Q \Leftrightarrow \neg P \lor Q Where "\Leftrightarrow" is a metalogical symbol representing "can be replaced in a proof with," and P and Q are any given logical statements. To illustrate this, consider the following statements: * P: Sam ate an orange for lunch * Q: Sam ate a fruit for lunch Then, to say, "Sam ate an orange for lunch" "Sam ate a fruit for lunch" (P \to Q). Logically, if Sam did not eat a fruit for lunch, then Sam also cannot have eaten an orange for lunch (b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rule Of Replacement
In logic, a rule of replacementMoore and Parker is a transformation rule that may be applied to only a particular segment of an logical expression, expression. A logical system may be constructed so that it uses either axioms, rules of inference, or both as transformation rules for Well-formed formula, logical expressions in the system. Whereas a rule of inference is always applied to a whole logical expression, a rule of replacement may be applied to only a particular segment. Within the context of a logical proof, logically equivalent expressions may replace each other. Rules of replacement are used in propositional logic to manipulate propositions. Common rules of replacement include de Morgan's laws, Commutative property, commutation, Associative property, association, Distribution (logic), distribution, double negation, Transposition (logic), transposition, Material implication (rule of inference), material implication, logical equivalence, Exportation (logic), exportation, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metalogic
Metalogic is the study of the metatheory of logic. Whereas ''logic'' studies how logical systems can be used to construct valid and sound arguments, metalogic studies the properties of logical systems.Harry GenslerIntroduction to Logic Routledge, 2001, p. 336. Logic concerns the truths that may be derived using a logical system; metalogic concerns the truths that may be derived ''about'' the languages and systems that are used to express truths. Hunter, Geoffrey, Metalogic: An Introduction to the Metatheory of Standard First-Order Logic', University of California Press, 1973 The basic objects of metalogical study are formal languages, formal systems, and their interpretations. The study of interpretation of formal systems is the branch of mathematical logic that is known as model theory, and the study of deductive systems is the branch that is known as proof theory. Overview Formal language A ''formal language'' is an organized set of symbols, the symbols of which precis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Truth Table
A truth table is a mathematical table used in logic—specifically in connection with Boolean algebra, boolean functions, and propositional calculus—which sets out the functional values of logical expressions on each of their functional arguments, that is, for each combination of values taken by their logical variables. In particular, truth tables can be used to show whether a propositional expression is true for all legitimate input values, that is, logically valid. A truth table has one column for each input variable (for example, P and Q), and one final column showing all of the possible results of the logical operation that the table represents (for example, P XOR Q). Each row of the truth table contains one possible configuration of the input variables (for instance, P=true Q=false), and the result of the operation for those values. See the examples below for further clarification. Ludwig Wittgenstein is generally credited with inventing and popularizing the truth table ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Law Of Excluded Middle
In logic, the law of excluded middle (or the principle of excluded middle) states that for every proposition, either this proposition or its negation is true. It is one of the so-called three laws of thought, along with the law of noncontradiction, and the law of identity. However, no system of logic is built on just these laws, and none of these laws provides inference rules, such as modus ponens or De Morgan's laws. The law is also known as the law (or principle) of the excluded third, in Latin ''principium tertii exclusi''. Another Latin designation for this law is ''tertium non datur'': "no third ossibilityis given". It is a tautology. The principle should not be confused with the semantical principle of bivalence, which states that every proposition is either true or false. The principle of bivalence always implies the law of excluded middle, while the converse is not always true. A commonly cited counterexample uses statements unprovable now, but provable in the future ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Contraposition
In logic and mathematics, contraposition refers to the inference of going from a conditional statement into its logically equivalent contrapositive, and an associated proof method known as Proof by contrapositive, proof by contraposition. The contrapositive of a statement has its Antecedent (logic), antecedent and consequent Inverse (logic), inverted and Conversion (logic), flipped. Material conditional, Conditional statement P \rightarrow Q. In Logical connective, formulas: the contrapositive of P \rightarrow Q is \neg Q \rightarrow \neg P . If ''P'', Then ''Q''. — If not ''Q'', Then not ''P''. ''"''If ''it is raining,'' then ''I wear my coat" —'' "If ''I don't wear my coat,'' then ''it isn't raining."'' The law of contraposition says that a conditional statement is true if, and only if, its contrapositive is true. The contrapositive ( \neg Q \rightarrow \neg P ) can be compared with three other statements: ;Inverse (logic), Inversion (the inverse), \neg P \rightarrow \ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fruit
In botany, a fruit is the seed-bearing structure in flowering plants that is formed from the ovary after flowering. Fruits are the means by which flowering plants (also known as angiosperms) disseminate their seeds. Edible fruits in particular have long propagated using the movements of humans and animals in a symbiotic relationship that is the means for seed dispersal for the one group and nutrition for the other; in fact, humans and many animals have become dependent on fruits as a source of food. Consequently, fruits account for a substantial fraction of the world's agricultural output, and some (such as the apple and the pomegranate) have acquired extensive cultural and symbolic meanings. In common language usage, "fruit" normally means the seed-associated fleshy structures (or produce) of plants that typically are sweet or sour and edible in the raw state, such as apples, bananas, grapes, lemons, oranges, and strawberries. In botanical usage, the term "fruit" also i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orange (fruit)
An orange is a fruit of various citrus species in the family (biology), family Rutaceae (see list of plants known as orange); it primarily refers to Citrus × sinensis, ''Citrus'' × ''sinensis'', which is also called sweet orange, to distinguish it from the related ''Citrus × aurantium'', referred to as bitter orange. The sweet orange reproduces asexually (apomixis through nucellar embryony); varieties of sweet orange arise through mutations. The orange is a Hybrid (biology), hybrid between pomelo (''Citrus maxima'') and Mandarin orange, mandarin (''Citrus reticulata''). The chloroplast genome, and therefore the maternal line, is that of pomelo. The sweet orange has had its full Whole genome sequencing, genome sequenced. The orange originated in a region encompassing Southern China, Northeast India, and Myanmar, and the earliest mention of the sweet orange was in Chinese literature in 314 BC. , orange trees were found to be the most Tillage, cultivated fruit tree in the wo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Statement (logic)
In logic, the term statement is variously understood to mean either: #a meaningful declarative sentence that is true or false, or #a proposition. Which is the ''assertion'' that is made by (i.e., the meaning of) a true or false declarative sentence. In the latter case, a statement is distinct from a sentence in that a sentence is only one formulation of a statement, whereas there may be many other formulations expressing the same statement. Overview Philosopher of language, Peter Strawson advocated the use of the term "statement" in sense (b) in preference to proposition. Strawson used the term "Statement" to make the point that two declarative sentences can make the same statement if they say the same thing in different ways. Thus in the usage advocated by Strawson, "All men are mortal." and "Every man is mortal." are two different sentences that make the same statement. In either case a statement is viewed as a truth bearer. Examples of sentences that are (or make) tr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symbol (formal)
A logical symbol is a fundamental concept in logic, tokens of which may be marks or a configuration of marks which form a particular pattern. Although the term "symbol" in common use refers at some times to the idea being symbolized, and at other times to the marks on a piece of paper or chalkboard which are being used to express that idea; in the formal languages studied in mathematics and logic, the term "symbol" refers to the idea, and the marks are considered to be a token instance of the symbol. In logic, symbols build literal utility to illustrate ideas. Overview Symbols of a formal language need not be symbols ''of'' anything. For instance there are logical constants which do not refer to any idea, but rather serve as a form of punctuation in the language (e.g. parentheses). Symbols of a formal language must be capable of being specified without any reference to any interpretation of them. A symbol or string of symbols may comprise a well-formed formula if it is consis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Negation
In logic, negation, also called the logical complement, is an operation that takes a proposition P to another proposition "not P", written \neg P, \mathord P or \overline. It is interpreted intuitively as being true when P is false, and false when P is true. Negation is thus a unary logical connective. It may be applied as an operation on notions, propositions, truth values, or semantic values more generally. In classical logic, negation is normally identified with the truth function that takes ''truth'' to ''falsity'' (and vice versa). In intuitionistic logic, according to the Brouwer–Heyting–Kolmogorov interpretation, the negation of a proposition P is the proposition whose proofs are the refutations of P. Definition ''Classical negation'' is an operation on one logical value, typically the value of a proposition, that produces a value of ''true'' when its operand is false, and a value of ''false'' when its operand is true. Thus if statement is true, then \neg P (pr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Propositional Calculus
Propositional calculus is a branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic. It deals with propositions (which can be true or false) and relations between propositions, including the construction of arguments based on them. Compound propositions are formed by connecting propositions by logical connectives. Propositions that contain no logical connectives are called atomic propositions. Unlike first-order logic, propositional logic does not deal with non-logical objects, predicates about them, or Quantifier (logic), quantifiers. However, all the machinery of propositional logic is included in first-order logic and higher-order logics. In this sense, propositional logic is the foundation of first-order logic and higher-order logic. Explanation Logical connectives are found in natural languages. In English for example, some examples are "and" (logical conjunction, conjunction), "or" (lo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Antecedent (logic)
An antecedent is the first half of a hypothetical proposition, whenever the if-clause precedes the then-clause. In some contexts the antecedent is called the ''protasis''. Examples: * If P, then Q. This is a nonlogical formulation of a hypothetical proposition. In this case, the antecedent is P, and the consequent is Q. In an implication, if \phi implies \psi then \phi is called the antecedent and \psi is called the consequent.Sets, Functions and Logic - An Introduction to Abstract Mathematics, Keith Devlin, Chapman & Hall/CRC Mathematics, 3rd ed., 2004 Antecedent and consequent are connected via logical connective to form a proposition. * If X is a man, then X is mortal. "X is a man" is the antecedent for this proposition. * If men have walked on the moon, then I am the king of France. Here, "men have walked on the moon" is the antecedent. Let y=x+1. If x=1 then y=2 See also * Consequent * Affirming the consequent (fallacy) * Denying the antecedent (fallacy) * Necessity ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
