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: 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: glyceraldehyde: a sweet crystalline aldehyde formed by the breakdown of sugars
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: heidelberg man: a type of primitive man who lived in Europe
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: presence: the immediate proximity of someone or something
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: duck down: down of the duck
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: clutch: a tense critical situation
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: marinade: mixtures of vinegar or wine and oil with various spices and seasonings; used for soaking foods before cooking
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: parainfluenza virus: a virus that causes upper respiratory infection (including the common cold and bronchiolitis); most often in children
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: globe pepper: round sweet pepper
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: general agreement on tariffs and trade: a United Nations agency created by a multinational treaty to promote trade by the reduction of tariffs and import quotas
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: slip coach: a railway car at the end of the train; it can be detached without stopping the train