**TI83F* AppVariable file 12/24/08, 18:33- SGLGE02nav 89AAC3ED3BA5421E887F01ECE15CD61ASGLGE02.!SGLGE021  pruebas algebraicasrpruebas algebraicas:ÖUtilizan un grupo de pasos algebraicos para solucionar problemas y para justificar cada paso. axioma/axioma:ÖEnunciado que se acepta como verdadero. enunciado compuestoVenunciado compuesto:ÖDos o mŽs enunciados que estŽn conectados por las palabras y u o.  conclusi¦nfconclusi¦n:ÖParte de un enunciado condicional que sigue inmediatamente despu–s de la palabra entonces. enunciado condicional§enunciado condicional:ÖEnunciado de que algo es o serŽ verdadero siempre y cuando otra cosa tambi–n lo sea. El enunciado puede expresarse en la forma Si A, entonces B.  conjeturaKconjetura:ÖConclusi¦n a la que se llega mediante un razonamiento inductivo.  conjunci¦nUconjunci¦n:ÖEnunciado compuesto que se forma al unir dos enunciados con la palabra y.  antžtesiswantžtesis:ÖEnunciado formado por la negaci¦n de la hip¦tesis y la conclusi¦n del recžproco de un enunciado condicional.   recžprocosrecžproco: ÖEnunciado que se obtiene al intercambiar la hip¦tesis y la conclusi¦n de un enunciado condicional dado.   contraejemploIcontraejemplo:ÖCaso especžfico que demuestra la falsedad de un enunciado.  argumento deductivouargumento deductivo:ÖDemostraci¦n que consta del conjunto de pasos algebraicos que se usan para resolver un problema.  razonamiento deductivoŒrazonamiento deductivo:ÖProceso mediante el cual se utilizan hechos, reglas, definiciones o propiedades para llegar a una conclusi¦n vŽlida.   disyunci¦n[disyunci¦n:ÖEnunciado compuesto que se forma al unir dos o mŽs enunciados con la palabra o.  prueba formalNprueba formal:ÖPrueba en dos columnas que contiene enunciados y razonamientos.  hip¦tesis_hip¦tesis:ÖParte de un enunciado condicional que sigue inmediatamente despu–s de la palabra si. enunciado si- entoncesNenunciado si- entonces:ÖEnunciado condicional en la forma de Si A, entonces B. razonamiento inductivoDrazonamiento inductivo: ÖConclusi¦n basada en un modelo de ejemplos. prueba informal-prueba informal: ÖPrueba en forma de pŽrrafo. inversaeinversa: ÖEnunciado que se obtiene al negar la hip¦tesis y la conclusi¦n de un enunciado condicional. Ley de indiferenciawLey de indiferencia: ÖSi p  q es un enunciado condicional verdadero y p es verdadero, entonces q es verdadero tambi–n. Ley del silogismosLey del silogismo: ÖSi p  q y q  r son enunciados condicionales verdaderos, entonces Öp  r tambi–n es verdadero. equivalente l¦gicoDequivalente l¦gico: ÖEnunciados que poseen el mismo valor de verdad. negaci¦n#negaci¦n:ÖNegativa de un enunciado. demostraci¦n de pŽrrafo—demostraci¦n de pŽrrafo:ÖDemostraci¦n informal escrita en forma de pŽrrafo que explica por qu– una conjetura acerca de una situaci¦n dada es verdadera.  postulado¯postulado:ÖEnunciado que describe una relaci¦n fundamental entre los t–rminos primitivos de geometrža. Los postulados se aceptan como verdaderos sin necesidad de demostraci¦n.  demostraci¦nndemostraci¦n:ÖArgumento l¦gico en que cada enunciado estŽ basado en un enunciado que se acepta como verdadero. condicionales relacionados\condicionales relacionados:ÖDeclaraciones que se basan en una declaraci¦n condicional dados. enunciadEenunciad:ÖUna oraci¦n que puede ser falsa o verdadera, pero no ambas. teorema~teorema:ÖEnunciado que puede justificarse por razonamiento l¦gico y que debe demostrarse antes de ser aceptado como verdadero. tabla verdaderawtabla verdadera:ÖTabla que se utiliza para organizar de una manera conveniente los valores de verdad de los enunciados. valor verdaderoGvalor verdadero:ÖLa condici¦n de un enunciado de ser verdadero o falso.  demostraci¦n a dos columnasµdemostraci¦n a dos columnas:ÖAqu–lla que contiene enunciados y razones organizadas en dos columnas. Cada paso se llama enunciado y las propiedades que lo justifican son las razones.¼¯