Examlex
List the irreflexive relations on the set {0, 1}.
Truth-functional Compound
A logical compound statement whose truth value is determined by the truth values of its component parts.
Quantifier
A symbol or word used in logic to express the quantity of specimens that a proposition pertains to, such as "all", "some", or "none".
Atomic Open Sentence
In logic, an open sentence containing no quantifiers or connectives, which may become a proposition when variables are substituted.
Compound
A substance formed from two or more elements chemically united in fixed proportions; or, in a linguistic context, a term made up of two or more words functioning as a single unit.
Q1: Construct a Turing machine that computes
Q4: Convert (101011)<sub>2</sub> to base
Q17: The relation R on {1, 2, 3,
Q23: List the symmetric relations on the set
Q29: 1, −1, 12!, −3!1 , 14!, −
Q37: Suppose that A = {1, 11, 01}
Q55: List the reflexive relations on the set
Q70: (123 mod 19 + 342 mod 19)
Q94: In K<sub>3,3</sub> let a and b be
Q113: Find the region-chromatic number for Gm,n (including