Georgia HomeroomAFM.LR.3Logical Arguments and Reasoning
Interpret, represent, and communicate logical arguments to explain reasoning and justify thinking when solving problems and to explain real-life phenomena.
Appears in: Mathematics, High School
Expectations
Represent and interpret statements using logical symbolism.
AFM.LR.3.1Construct truth tables that represent conditional, biconditional, and quantified statements; use truth tables to determine whether the statement is true or false and use Venn diagrams to illustrate the relationship represented by these truth tables.
AFM.LR.3.2Represent logic operations such as AND, OR, NOT, NOR, and XOR (exclusive OR) using logical symbolism, determine whether statements involving these operations are true or false, and interpret such symbols into English.
AFM.LR.3.3Apply modus ponens and modus tollens to analyze logical arguments to determine whether it is valid, invalid, a tautology, or a contradiction.
AFM.LR.3.4Write the negation, converse, contrapositive, and inverse of a conditional statement and find the truth of each.
Use binary to represent and interpret logical statements.
AFM.LR.3.5Represent the dichotomy between “true” and “false” with 1s and 0s. Use 1s and 0s to calculate whether a statement is true or false by constructing Boolean logic circuits.
AFM.LR.3.6Convert binary and hexadecimal numbers into decimal, and convert from binary to hexadecimal, and vice versa. Add binary integers and use 2’s complement to subtract binary integers.
Georgia Milestones coverage
No Georgia Milestones blueprint cites this standard.