If you're seeing this message, it means we're having trouble loading external resources on our website.

If you're behind a web filter, please make sure that the domains *.kastatic.org and *.kasandbox.org are unblocked.

Main content

STANDARDS

 > 

US-AL

Math

Alabama Math

Applications of Finite Mathematics: Logical Reasoning

The validity of a statement or argument can be determined using the models and language of first order logic.

AFM.1

Not covered
Represent logic statements in words, with symbols, and in truth tables, including conditional, biconditional, converse, inverse, contrapositive, and quantified statements.
(Content unavailable)

AFM.2

Not covered
Represent logic operations such as and, or, not, nor, and x or (exclusive or) in words, with symbols, and in truth tables.
(Content unavailable)

AFM.3

Use truth tables to solve application-based logic problems and determine the truth value of simple and compound statements including negations and implications.

AFM.3.a

Not covered
Determine whether statements are equivalent and construct equivalent statements.
(Content unavailable)

AFM.4

Determine whether a logical argument is valid or invalid, using laws of logic such as the law of syllogism and the law of detachment.

AFM.4.a

Not covered
Determine whether a logical argument is a tautology or a contradiction.
(Content unavailable)

AFM.5

Not covered
Prove a statement indirectly by proving the contrapositive of the statement.
(Content unavailable)