**TI83F* AppVariable file 04/05/07, 11:52Ó Â SGLGE02Â À nav 89AAC3ED3BA5421E887F01ECE15CD61ASGLGE02.SGLGE021  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. contrapositivo|contrapositivo:ÖEnunciado formado por la negaci¦n de la hip¦tesis y la conclusi¦n del recžproco de un enunciado condicional. inversotinverso: ÖEnunciado formado por la negaci¦n tanto de la hip¦tesis como de la conclusi¦n de un enunciado condicional.  contraejemploIcontraejemplo:ÖCaso especžfico que demuestra la falsedad de un enunciado.  razonamiento deductivoŒrazonamiento deductivo:ÖProceso mediante el cual se utilizan hechos, reglas, definiciones o propiedades para llegar a una conclusi¦n vŽlida.   disyunci¦nOdisyunci¦n:ÖEnunciado compuesto formado al unir dos segmentos con la palabra o.   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. inversotinverso: ÖEnunciado formado por la negaci¦n tanto de la hip¦tesis como de la conclusi¦n de un enunciado condicional. negaci¦n#negaci¦n:ÖNegativa de un enunciado. prueba del pŽrrafobprueba del pŽrrafo:ÖArgumento l¦gico que se emplea para validar una conjetura en forma de pŽrrafo.  postulateKpostulate:ÖA rule of geometry that is accepted as being true without proof. prueba?prueba:ÖArgumento l¦gico que se usa para validar una conjetura.  enunciadoQenunciado:ÖOraci¦n que es verdadera o falsa, pero no ambas cosas simultŽneamente. teorema~teorema:ÖEnunciado que puede justificarse por razonamiento l¦gico y que debe demostrarse antes de ser aceptado como verdadero. tabla de validezAtabla de validez:ÖForma conveniente de organizar valores vŽlidos. valores de verdad@valores de verdad:ÖNaturaleza verdadera o falsa de un enunciado. prueba de dos columnasjprueba de dos columnas:ÖArgumento deductivo que contiene enunciados y razones organizados en dos columnas.OÆ