Examlex
Talk about:
-Thomas Cook
Truth-functional Compound
A compound statement whose truth value depends solely on the truth values of its components.
Quantifier
A logical tool that counts the instances within a discourse domain adhering to the conditions of an open formula.
Atomic Open Sentence
A type of statement in logic, which contains at least one variable, and becomes a proposition once the variables are replaced by specific values.
Compound
A substance formed from two or more elements chemically united in fixed proportions, or in logic, a sentence that combines two or more atomic sentences with logical connectives.