Custom Search

Formal Methods Index

relations and functions;
applications to specification.

Logic:

propositions,
truth tables,
logical operators,
basic logical equivalences.

Predicate calculus:

universal and existential qualifiers.