Term: propositional logic: a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
Candidate hypernym: 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 → 1
Candidate hypernym: bacteriolysis: dissolution or destruction of bacteria → 0
Candidate hypernym: dithyramb: a wildly enthusiastic speech or piece of writing → 0
Candidate hypernym: catoptrophorus: willet → 0
Candidate hypernym: first: an honours degree of the highest class → 0
Candidate hypernym: amphibian genus: any genus of amphibians → 0
Candidate hypernym: zigzag goldenrod: a variety of goldenrod → 0
Candidate hypernym: carassius: goldfish → 0
Candidate hypernym: monopoly: (economics) a market in which there are many buyers but only one seller → 0
Candidate hypernym: pork-and-veal goulash: made with sauerkraut and caraway seeds and served with sour cream → 0
Candidate hypernym: depreciation charge: an amount periodically charged to expense or against revenue in compensation for depreciation of property → 0