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-FL

Math

Florida B.E.S.T. Math

High School: Logic and Discrete Theory: Develop an understanding of the fundamentals of propositional logic, arguments and methods of proof.

Translate propositional statements into logical arguments using propositional variables and logical connectives.
(Content unavailable)
Determine truth values of simple and compound statements using truth tables.
(Content unavailable)
Identify and accurately interpret “if…then,” “if and only if,” “all” and “not” statements. Find the converse, inverse and contrapositive of a statement.
(Content unavailable)
Represent logic operations, such as AND, OR, NOT, NOR, and XOR, using logical symbolism to solve problems.
(Content unavailable)
Determine whether two propositions are logically equivalent.
(Content unavailable)
Apply methods of direct and indirect proof and determine whether a logical argument is valid.
(Content unavailable)
Identify and give examples of undefined terms; axioms; theorems; proofs, including proofs using mathematical induction; and inductive and deductive reasoning.
(Content unavailable)
Construct proofs, including proofs by contradiction.
Construct logical arguments using laws of detachment, syllogism, tautology, contradiction and Euler Diagrams.
(Content unavailable)