sentence connective
11Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… …
12Coast Tsimshian language — Coast Tsimshian Sm algyax Spoken in Canada, United States Region northwest British Columbia, southeast Alaska Ethnicity Tsimshian people …
13Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… …
14If and only if — Iff redirects here. For other uses, see IFF (disambiguation). ↔ ⇔ ≡ Logical symbols representing iff. In logic and related fields such as mathematics and philosophy, if and only if (shortened iff) is a biconditional logical connective between… …
15Interpretation (logic) — An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until …
16Counterfactual conditional — For other uses, see Counterfactual (disambiguation). A counterfactual conditional, subjunctive conditional, or remote conditional, abbreviated cf, is a conditional (or if then ) statement indicating what would be the case if its antecedent were… …
17Truth function — Truth functional redirects here, for the truth functional conditional, see Material conditional. In mathematical logic, a truth function is a function from a set of truth values to truth values. Classically the domain and range of a truth… …
18Entailment — For other uses, see Entail (disambiguation). In logic, entailment is a relation between a set of sentences (e.g.,[1] meaningfully declarative sentences or truthbearers) and a sentence. Let Γ be a set of one or more sentences; let S1 be the… …
19Implicational propositional calculus — In mathematical logic, the implicational propositional calculus is a version of classical (two valued) propositional calculus which uses only one connective, called implication or conditional. In formulas, this binary operation is indicated by… …
20logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher …
