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

Ако си зад уеб филтър, моля, увери се, че домейните *. kastatic.org и *. kasandbox.org са разрешени.

Основно съдържание

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)