Ideas para una presentación de Matemáticas Lógica

Lógica matemática o la lógica simbólica , los intentos de reescribir reclamaciones argumentativos como ecuaciones. Como su nombre indica , la lógica matemática utiliza varios símbolos para sustituir a elementos de una demanda , en particular los elementos existenciales o conjuntivos tales como " y", " o " y " no " . Debido a que la lógica matemática se casa con los principios de la argumentación de los principios de las fórmulas matemáticas , es importante establecer con rapidez en una audiencia el conocimiento básico de cada uno, antes de tratar de resolver problemas de lógica matemática , o usar la lógica matemática para determinar la lógica de un argumento. Establecer Básica contenido argumentativo

simples argumentativos , demandas existenciales constituyen la base de las matemáticas o de la lógica simbólica. Existencial se refiere a las declaraciones acerca de algo , tal como existe en el mundo. Por ejemplo; " Juan es soltero " es una afirmación existencial sobre el mundo , ya que postula una teoría o argumento sobre algún elemento del mundo, a saber, el estado civil de Juan. Premisas y conclusiones acumulan simples afirmaciones argumentativos . Cuando se toman en conjunto , los locales son las declaraciones que demuestran una conclusión , que es la verdad probada de una serie de premisas . Por ejemplo; " 1 . Licenciatura son hombres no casados ​​. 2 . Juan es soltero . 3 . Por lo tanto , Juan es un hombre soltero . " En esta frase, " 1 " y "2 " representan los locales , mientras que el " 3 " representa la conclusión.
Establecer básico Simbolismo

Al introducir los elementos más simples de una argumento - premisas y conclusiones - que es importante establecer los símbolos básicos más a menudo desplegadas y comprendidas por los lógicos matemáticos , en este caso " P" y " P " "P ", acertadamente , simboliza " premisa ", mientras que " Q ", confusamente , simboliza " conclusión". Además, las instalaciones suelen incluir números junto con el P , mientras que las conclusiones tienden a recibir cartas adicionales posteriores. Por ejemplo; P1 , P2, P3 para el primero , segundo y tercero premisa , y Q , R , S para el primero , segundo y tercero conclusión. Aunque existen muchas teorías sobre el significado etimológico de P y Q como las cartas comunes de la lógica matemática - de la declaración " la mente de su Ps y Qs " a posibles abreviaturas de los términos latinos " por " y " quod " - ninguno verdaderamente cuentas o explica por qué P y Q se consideran tan comúnmente el simbolismo básico de la premisa y la conclusión .
Alterar argumentativo Formulario

matemáticas y lógica simbólica tiende a confiar en If /Then conectados estructuras para argumentos, afirmaciones más bien simples de los locales . Por ejemplo; en lugar de " P1 : Bachillerato son hombres solteros P2 : . Juan es soltero Q : . John es un hombres no casados ​​", una representación matemática o lógica simbólica del mismo argumento se sustituyen en consecuencia: "P1 : Si los solteros son hombres no casados ​​, y P2 : Si Juan es soltero , entonces Q : Juan es un hombre soltero P1 y P2 es verdad es verdad, por lo tanto, Q " Esto además como sustitutos Si P1 y P2 , entonces Q. P1 y P2 , por lo tanto Q.
.
introduciendo nuevos símbolos

la etapa final en la introducción de las matemáticas o la lógica simbólica requiere la sustitución de otros símbolos con el fin de eliminar por completo las palabras escritas. Mientras que algunos lógicos matemáticos o simbólicos emplean símbolos matemáticos simples como " + ", "-" y " = ", otros emplean símbolos altamente específicas únicas para las matemáticas o la lógica simbólica como disciplina. A los efectos de su presentación, considere el uso de símbolos con los que el público ya está familiarizado . Por ejemplo; reescribir " Si P1 y P2 , entonces Q. P1 y P2, por lo tanto, Q " como " P1 + P2 = P P1. P2. Q. " El uso de las letras mayúsculas para enfatizar el sentido de este argumento lógico simbólico, estos símbolos leen : "SI solteros son hombres no casados ​​, y Juan es soltero, entonces Juan es un hombre soltero solteros son hombres no casados ​​Juan es soltero TANTO, John . . . es un hombre soltero . "