Term: predicate calculus: a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
Broader: logic: a system of reasoning | Unrelated: woad: a blue dyestuff obtained from the woad plant
Broader: logic: a system of reasoning | Unrelated: utilitarianism: doctrine that the useful is the good; especially as elaborated by Jeremy Bentham and James Mill; the aim was said to be the greatest happiness for the greatest number
Broader: logic: a system of reasoning | Unrelated: stiffening: the process of becoming stiff or rigid
Broader: logic: a system of reasoning | Unrelated: action: the series of events that form a plot
Broader: logic: a system of reasoning | Unrelated: parietomastoid suture: the suture between the parietal and the temporal bones
Broader: logic: a system of reasoning | Unrelated: bar fly: a drinker who frequents bars
Broader: logic: a system of reasoning | Unrelated: orthoepist: a practitioner of orthoepy (especially one of the 17th or 18th century scholars who proposed to reform English spelling so it would reflect pronunciation more closely)
Broader: logic: a system of reasoning | Unrelated: iguanid: lizards of the New World and Madagascar and some Pacific islands; typically having a long tail and bright throat patch in males
Broader: logic: a system of reasoning | Unrelated: cassette tape: a cassette that contains magnetic tape
Broader: logic: a system of reasoning | Unrelated: popular music: any genre of music having wide appeal (but usually only for a short time)