AFM.LR.3Argumentos lógicos y razonamiento
Interpretar, representar y comunicar argumentos lógicos para explicar el razonamiento y justificar el pensamiento al resolver problemas y para explicar fenómenos de la vida real.
Aparece en: Matemáticas, Preparatoria
Expectativas
Representar e interpretar enunciados mediante simbolismo lógico.
AFM.LR.3.1Construir tablas de verdad que representen enunciados condicionales, bicondicionales y cuantificados; usar tablas de verdad para determinar si el enunciado es verdadero o falso, y usar diagramas de Venn para ilustrar la relación representada por dichas tablas de verdad.
AFM.LR.3.2Representar operaciones lógicas como AND, OR, NOT, NOR y XOR (OR exclusivo) usando simbolismo lógico; determinar si los enunciados que involucran estas operaciones son verdaderos o falsos, e interpretar dichos símbolos en español.
AFM.LR.3.3Aplicar modus ponens y modus tollens para analizar argumentos lógicos y determinar si son válidos, inválidos, una tautología o una contradicción.
AFM.LR.3.4Escribir la negación, el recíproco, el contrarrecíproco y el inverso de un enunciado condicional, y determinar el valor de verdad de cada uno.
Usar el sistema binario para representar e interpretar enunciados lógicos.
AFM.LR.3.5Representar la dicotomía entre "verdadero" y "falso" con 1s y 0s. Usar 1s y 0s para calcular si un enunciado es verdadero o falso construyendo circuitos de lógica booleana.
AFM.LR.3.6Convertir números binarios y hexadecimales a decimal, y convertir de binario a hexadecimal y viceversa. Sumar enteros binarios y usar el complemento a 2 para restar enteros binarios.
Cobertura en las Georgia Milestones
Ningún plan de las Georgia Milestones cita este estándar.