Glossary for COM1305 – Mathematics for Computing I

Front

What is a Proposition?

Back

A declarative sentence that is either true or false.

Front

What is a Predicate?

Back

A sentence that contains a variable and becomes a proposition when the variable is replaced.

Front

What are Quantifiers?

Back

Symbols ( ∃, ∀ ) used to express propositions over a domain.

Front

What is a Set?

Back

A collection of distinct elements.

Front

What does Union (∪) represent in set theory?

Back

All elements in either of two sets.

Front

What does Intersection (∩) represent in set theory?

Back

Elements common to both sets.

Front

What is a Complement (A′) in set theory?

Back

Elements not in set A.

Front

What is a Subset (⊆)?

Back

Set A is a subset of B if every element in A is also in B.

Front

What is Boolean Algebra?

Back

A mathematical structure dealing with binary values and logical operations.

Front

What is an AND Gate (∧)?

Back

Output is true if all inputs are true.