Term: propositional logic: a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
Broader: symbolic logic: any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity | Unrelated: bacteriolysis: dissolution or destruction of bacteria
Broader: symbolic logic: any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity | Unrelated: dithyramb: a wildly enthusiastic speech or piece of writing
Broader: symbolic logic: any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity | Unrelated: catoptrophorus: willet
Broader: symbolic logic: any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity | Unrelated: first: an honours degree of the highest class
Broader: symbolic logic: any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity | Unrelated: amphibian genus: any genus of amphibians
Broader: symbolic logic: any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity | Unrelated: zigzag goldenrod: a variety of goldenrod
Broader: symbolic logic: any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity | Unrelated: carassius: goldfish
Broader: symbolic logic: any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity | Unrelated: monopoly: (economics) a market in which there are many buyers but only one seller
Broader: symbolic logic: any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity | Unrelated: pork-and-veal goulash: made with sauerkraut and caraway seeds and served with sour cream
Broader: symbolic logic: any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity | Unrelated: depreciation charge: an amount periodically charged to expense or against revenue in compensation for depreciation of property