Logic 108 -

The use of FM allows researchers to provide mathematical proof that system compliance meets desired cyber security properties.

: Focuses on the structure of arguments (e.g., if A then B; A; therefore B). : Dealing with everyday language, identifying logical fallacies

Understanding Logic 108: Foundations of Advanced Reasoning and System Control