MODUS PONENDO PONENS (PP) p → q “Si llueve, entonces las calles se mojan” (premisa) p “Llueve” (premisa) __________________________________________________ q “Luego, las calles se mojan” (conclusión) El condicional o implicación es aquella operación que establece entre dos enunciados una relación de...
1083 Palabras | 5 Páginas
Leer documento completoModus tollens. En lógica el modus tollendo tollens, también llamado modus tollens y generalmente abreviado MTT o MT, es una regla de inferencia que tiene la siguiente forma: Si A, entonces B No B Por lo tanto, no A Por ejemplo, un razonamiento que sigue la forma del modus tollens podría ser: Si está soleado, entonces es de día. No es de día. Por lo tanto, no está soleado. Falsasionismo. El modus tollens es central al modelo falsacionista de la ciencia propuesto por Karl Popper en...
581 Palabras | 3 Páginas
Leer documento completo Leyes de Lógica y reglas de inferencia Versión 1.03 OCT. 2010 CONTENIDO Leyes de Lógica y reglas de inferencia 1 1.Leyes de Lógica o Leyes de álgebra de proposiciones; 3 2.Simplificación de Fórmulas 4 3. Reglas de Inferencias 5 1.Leyes de Lógica o Leyes de álgebra de proposiciones; Las Proposiciones verifican ciertas propiedades conocidas como Leyes del Algebra de Proposiciones. Estas propiedades son las siguientes ...
932 Palabras | 4 Páginas
Leer documento completoMODUS PONENDO PONENS (PP) p→q “Si llueve, entonces las calles se mojan” p “Llueve” __________________________________________________ q “Luego, las calles se mojan” (premisa) (premisa) (conclusión) El condicional o implicación es aquella operación que establece entre dos enunciados una relación de causa-efecto. La regla „ponendo ponens‟ significa, “afirmando afirmo” y en un condicional establece, que si el antecedente (primer término, en este caso p) se afirma, necesariamente se afirma el consecuente...
1054 Palabras | 5 Páginas
Leer documento completoModus Ponens Notación formal La regla del modus ponens puede escribirse en subsiguiente notación: donde ⊢ es un símbolo metalógico que significa que Q es una consecuencia sintáctica de P → Q y P en algún sistema lógico; o como la afirmación de una tautología verdad-funcional o teorema de la lógica proposicional: donde P, y Q son proposiciones expresadas en algún sistema formal. Explicación[editar] La forma de argumento tiene dos premisas (hipótesis). La primera premisa es la "si-entonces" o reclamación...
1307 Palabras | 6 Páginas
Leer documento completoModus ponenso o razonamiento directo En lógica, modus ponens (en latín, modo que afirmando afirma), generalmente abreviado MP, es una regla de inferencia que tiene la siguiente forma: Si A, entonces B A Por lo tanto, B Por ejemplo, un razonamiento que sigue la forma del modus ponens podría ser: Si está soleado, entonces es de día. Está soleado. Por lo tanto, es de día. Otra manera más formal de presentar el modus ponens es: Y aún otra manera es a través de la notación del cálculo de...
703 Palabras | 3 Páginas
Leer documento completoseptiembre de 2010 Reglas de inferencia En lógica, especialmente en lógica matemática, una regla de inferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada conclusión. Estas relaciones sintácticas son usadas en el proceso de inferencia, por el que se llega a nuevas aserciones verdaderas a partir de otras ya conocidas. Las reglas también se aplican a la lógica informal y a las...
1159 Palabras | 5 Páginas
Leer documento completoTérminos de enlace o conectivas lógicas de las proposiciones: La lógica simbólica es una disciplina formal, que se ocupa de puras formas, totalmente desprovistas de contenidos y utilizan una proposición matemática. No hace referencia a ninguna clase de objeto. Cuando varios enunciados tienen el mismo significado decimos de ellos que expresan la misma proposición Ej.: "hace frío", "il fait froid", "it is cool". Son palabras diferentes y en distintos idiomas, pero tienen en común que quieren decir...
544 Palabras | 3 Páginas
Leer documento completo12/09/12 REGLA S DE INFERENCIA REGLAS DE INFERENCIA Carlos Escaño Fryganas Los Diez Mandamientos: ¿principios, reglas o criterios? MODUS PONENDO PONENS (PP) p→q “Si llueve, entonces las calles se mojan” (premisa) p “Llueve” (premisa) __________________________________________________ q “Luego, las calles se mojan” (conclusión) El condicional o implicación es aquella operación que establece entre dos enunciados una relación de causa-efecto. La regla ‘ponendo ponens’ significa, “afirmando...
1253 Palabras | 6 Páginas
Leer documento completoIntroducción En el presente trabajo, se detallarán lo que la lógica se suele definir como el estudio de la inferencia válida. Se llama inferencia al proceso de derivar una conclusión de un conjunto de premisas. Se dice que un argumento es válido si, en virtud únicamente de su estructura, la verdad de las premisas implica necesariamente la verdad de la conclusión. Inferencia Lógica La inferencia lógica es un mecanismo de derivación sintáctica que a partir...
1456 Palabras | 6 Páginas
Leer documento completoRegla de inferencia Una regla de inferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada conclusión. Estas relaciones sintácticas son usadas en el proceso de inferencia, por el que se llega a nuevas aserciones verdaderas a partir de otras ya conocidas. Las reglas también se aplican a la lógica informal y a las discusiones, pero la formulación es mucho más difícil...
1526 Palabras | 7 Páginas
Leer documento completoLas reglas de inferencia En un cálculo lógico, las reglas de inferencia o reglas de transformación son aquellos esquemas formales que nos permiten derivar unas fórmulas bien formadas (conclusiones) a partir de otras (premisas). Por ejemplo, la Regla de Eliminación del Condicional: A → B A ______ B nos permite derivar la fórmula “p v q” de las fórmulas “p → (p v q)” y “p”. Las reglas de inferencia no...
790 Palabras | 4 Páginas
Leer documento completoReglas de inferencia. En un cálculo lógico, las reglas de inferencia o reglas de transformación son aquellos esquemas formales que nos permiten derivar unas fórmulas bien formadas (conclusiones) a partir de otras (premisas). Por ejemplo, la Regla de Eliminación del Condicional: A → B A ______ B nos permite derivar la fórmula “p v q” de las fórmulas “p → (p v q)” y “p”. Las...
1292 Palabras | 6 Páginas
Leer documento completoTautología, contradicción e inferencia en lógica Asignatura: Matemáticas discretas Tautología Una tautología es una expresión lógica que es verdadera para todos los posibles valores de verdad de sus componentes atómicos. En lógica se entiende por tautología aquella proposición cuya tabla de verdad da siempre el valor de verdad (V) en todos los casos posibles de los valores de verdad (V, F) de cada una de las proposiciones que la integran, o de un modo más sencillo: la supuesta explicación...
1408 Palabras | 6 Páginas
Leer documento completoINFERENCIA LOGICA OBJETIVOS El alumno, al final de la unidad, deberá: 1. Distinguir el cálculo de Predicados del cálculo Proposicional. 2. Distinguirá los sujetos o argumentos y los predicados. 3. Sabrá usar los cuantificadores. 4. Sabrá simbolizar el lenguaje natural. 5. Distinguirá: variables, constantes y su alcance. 6. Tendrá un conocimiento adecuado de las Leyes del cálculo de Predicados. 7. Sabrá usar las formas y reglas válidas de Demostración...
1662 Palabras | 7 Páginas
Leer documento completoLÓGICA MATEMÁTICA ROFESOR: JOHN JAIRO HERRERA INFERERENCIAS LÓGICAS 1. MODUS PONENDO PONENS (M.P.P) 1.1 p→q P --------q 1.2 ~p → ~q 1.3 p 1.4 pΛq →r 1.5 ~p → q ~p ------------q 1.6 p→qΛr p --------------qΛr ~p -----------~q p → ~q ------------~q pΛq --------------r 2. MODUS TOLLENDO TOLLENS (M.T.T) 2.1 p→q ~q -------------- 2.2 pΛq ~r →r 2.3 p → ~q ~~q -------------------- -------------------- ~p ~( p Λ q ) ~p 3...
574 Palabras | 3 Páginas
Leer documento completoGlosario de conceptos básicos de lógica Mtro. Juan Carlos Arias Vázquez Universidad Veracruzana Academia Mexicana de Lógica A.C. Juancarlos1969@hotmail.com SAVION, Leah, Brain Power, Symbolic Logia For The Novice, Indiana University, 2003. Glosario General de los conceptos clave para el Módulo de las Habilidades de pensamiento Crítico y Creativo Lógica: es una ciencia que estudia y evalúa los argumentos correctos y provee de técnicas para distinguir la forma correcta o incorrecta...
620 Palabras | 3 Páginas
Leer documento completoINFERENCIA LÓGICA La inferencia lógica es un mecanismo de derivación sintáctica que a partir de un conjunto dado de fórmulas permite derivar nuevas fórmulas, utilizando operaciones que se denominan reglas de inferencia. El conjunto inicial de fórmulas son sentencias válidas en un cierto lenguaje y se les llama axiomas. Los axiomas junto a las reglas de inferencia constituyen lo que Frege denomina un sistema formal. Mediante la inferencia lógica, es posible demostrar fórmulas sin necesidad de...
528 Palabras | 3 Páginas
Leer documento completoMODUS PONENS En lógica, modus ponendo ponens (en latín, modo que afirmando afirma), también llamado modus ponens y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma: Si A, entonces B A Por lo tanto, B Por ejemplo, un razonamiento que sigue la forma del modus ponens podría ser: Si está soleado, entonces es de día. Está soleado. Por lo tanto, es de día. Otra manera más formal de presentar el modus ponens es: Y aún otra manera es a través de...
1386 Palabras | 6 Páginas
Leer documento completoejemplos de modus ponensEn lógica, el modus Ponendo ponens (MPP o MP) es el razonamiento en el cual, en la primerapremisa se plantea un condicional, en la segunda se afirma el antecedente y, como conclusión,se afirma el consecuente.Ej.: 1a. premisa: Si tengo dinero entonces compro una bicicleta.2a. premisa: Tengo dineroConclusión: Compro una bicicleta.Es un modo válido de razonamiento. Modus ponendo ponens De Wikipedia, la enciclopedia libreSaltar anavegación, búsqueda Enlógica, el m odus ponendo ponens...
500 Palabras | 2 Páginas
Leer documento completoEl Proceso de Inferencia El proceso de inferencia es el que se da dentro del marco de deducción interna a partir de observar o escuchar algo. Tanto el observar como escuchar poseen un factor biológico como el ver o el oír y un factor lingüístico como el interpretar. Sea la persona que somos, deducción interna en la que estamos, la emocionalidad que transitamos y corporalmente demostramos (nuestra coherencia como seres humanos) es la interpretación que realizamos de los hechos...
934 Palabras | 4 Páginas
Leer documento completo1 Regla de Inferencia En lógica, especialmente en lógica matemática, una regla de inferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada conclusión. Estas relaciones sintácticas son usadas en el proceso de inferencia, por el que se llega a nuevas aserciones verdaderas a partir de otras ya conocidas. Las reglas también se aplican a la lógica informal y a las discusiones...
3627 Palabras | 15 Páginas
Leer documento completoMODUS TOLLENDO PONENS (TP) La disyunción, que se simboliza con el operador V, representa una elección entre dos enunciados. Ahora bien, en esa elección, forma parte de las posibilidades escoger ambos enunciados, es decir, la verdad de ambos enunciados no es incompatible, si bien, ambos no pueden ser falsos. ...
659 Palabras | 3 Páginas
Leer documento completoLógica JORNADA DE APOYO ACADÉMICO – Cead JOSÉ ACEVEDO Y GÓMEZ LÓGICA MATEMÁTICA – Sesión 1 (Octubre 4 del 2011) Nombres y Apellidos: _______________________________ Código: ______________________ Correo electrónico: _____________________________ Tradicional ____Campus Virtual___ PREGUNTAS DE SELECCIÓN MÚLTIPLE CON ÚNICA RESPUESTA A continuación, usted encontrará preguntas que se desarrollan en torno a un enunciado, problema o contexto, frente al cual, usted debe seleccionar aquella...
754 Palabras | 4 Páginas
Leer documento completoModus Ponendo Ponens (PP) 1 Si estudia, tendrá buenas calificaciones. 1 P -> Q P 2 Estudia 2 P P 3 Tendrá buenas calificaciones. 3 Q PP (1,2) Modus Tollendo Tollens (TT) 1 Si das buenos examenes, pasará de curso 1 P ->Q P 2 No pasa de curso 2 -Q P 3 No da buenos examenes...
550 Palabras | 3 Páginas
Leer documento completo1) Modus Ponendo Ponens (pp) Modus ponendo ponens En lógica, el modus ponendo ponens (en latín, modo que afirmando afirma), también llamado modus ponens y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma: Si A, entonces B A Por lo tanto, B Por ejemplo, un razonamiento que sigue la forma del modus ponens podría ser: Si está soleado, entonces es de día. Está soleado. Por lo tanto, es de día. Otra manera de presentar el modus ponens es: ...
1692 Palabras | 7 Páginas
Leer documento completoLógica. Por: Brenda Flórez Gutiérrez. Analista: Eduardo Yepes. Grado: Decimo. Asignatura: Humanidades. Colegio Julio Fontan. Bogotá D.C 03 de octubre del 2011. Punto de partida y de llegada. Si Carlos es mayor que Juan, pero no es cierto que Carlos no sea menor que Luis y Luis es mayor que María, ¿quien todos es mayor? Carlos. Cuerda es a guitarra, como lógica es a validez. La lógica es un conocimiento valido. 1 Recolección de la información. ¿Qué es la lógica y...
1398 Palabras | 6 Páginas
Leer documento completoIntroducción La lógica se suele definir como el estudio de la inferencia válida. Se llama inferencia al proceso de derivar una conclusión de un conjunto de supuestos (premisas). Se dice que un argumento es válido si, en virtud únicamente de su estructura, la verdad de las premisas implica necesariamente la verdad de la conclusión. Este es el punto de partida de muchos manuales de lógica, pero no será el nuestro. Por supuesto, no hay ningún desacuerdo real entre nuestro punto de vista y el...
1127 Palabras | 5 Páginas
Leer documento completoUNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA “UNAD” LÓGICA MATEMÁTICA Universidad Abierta y Nacional a Distancia UNAD TALLER N° 3 INFERENCIA LÓGICA 1. En los siguientes razonamientos diga qué ley de inferencia se utilizó para llegar a la conclusión obtenida (la conclusión es la proposición que va luego de “por lo tanto”). Identifique cada uno de las proposiciones simples y escriba en forma simbólica cada razonamiento. a. Razonamiento N° 1: “Si hoy es domingo viajo al parque deportivo....
1342 Palabras | 6 Páginas
Leer documento completoGUIA DE ESTUDIO DE LOGICA UNIDAD 1 1. ¿Qué es la lógica formal? 2. ¿Cuál es su objetivo de estudio? 3. Explica cada uno de los factores de pensamiento. 4. ¿Cuál es la diferencia entre lógica formal y teoría de conocimiento? 5. ¿Qué es logos? 6. ¿Desde qué punto de vista estudian al logos las siguientes ciencias? 7. ¿Cuál es la utilidad de la lógica en la vida cotidiana? 8. ¿Cuál es la utilidad de la lógica en la actividad científica? 9. ¿Qué es...
767 Palabras | 4 Páginas
Leer documento completoDEFINICIONES NECESARIAS, REGLAS DE DEDUCCION Y ARGUMENTACION INTEGRANTES: NAHEMIH GARCIA C.I 19.512.123 ROBERTH OVIEDO C.I 20.711.497 MAYCOOL SAEZ C.I 20302078 CARACAS, 18 de Agosto de 2010 Indice INTRODUCCION………………………………………………………… … 3 DEFINICIONES NECESARIAS....……………………………………… 4 a) PREMISAS……………………………………………………….. 4 b) CONCLUSION……………………………………………………... 4 c) ARGUMENTO……………………………………………………… 4 d) ARGUMENTO VALIDO……………………………………………..5 e) CONSECUENCIA LOGICA ENTRE LA PREMISA...
1664 Palabras | 7 Páginas
Leer documento completoLEYES DE LA LÓGICA LÓGICA Es la ciencia que expone las leyes, modos y formas del conocimiento científico. Se trata de una ciencia formal que no tiene contenido, sino que se dedica al estudio de las formas válidas de inferencia. Es decir, se trata del estudio de los metodos y los principios utilizados para distinguir el razonamiento correcto del incorrecto. LEYES LÓGICAS Todas aquellas proposiciones tautológicas son leyes de la lógica proposicional. Por ejemplo: 1 | 1 | 0 | 0 | 1 | 1...
1592 Palabras | 7 Páginas
Leer documento completoobservaremos los tipos de leyes de la lógica, lógica y teoría de conocimiento. En el tema de la lógica es muy importante resaltar este tema porque es un descubrimiento que ha transcendido y es muy importante tenerlo en cuenta. LEYES DE LA LÓGICA: La lógica matemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no valido un argumento dado. El razonamiento lógico se emplea en matemáticas para demostrar...
1242 Palabras | 5 Páginas
Leer documento completoLeyes de la Lógica: son expresiones formales o fórmulas Proposicionales cuya función veritativa es una tautología que se utiliza para organizar un cálculo axiomático. Principios Lógicos Básicos: En el cálculo de inferencia es necesario tener en cuenta los siguientes principios lógicos. 1- Identidad: esta ley permite hacer equivalencia entre dos proposiciones de un mismo argumento 2- No contradicción: una proposición no puede ser simultáneamente verdadera y falsa p Λ –p. 3- Tercer excluido:...
1231 Palabras | 5 Páginas
Leer documento completoPRINCIPALES LEYES LÓGICAS Para la simplificación de fórmulas del cálculo proposicional, son de suma utilidad las equivalencias o leyes lógicas. Su demostración se reduce a la confección de las correspondientes tablas de verdad (el resultado final de las mismas, siempre muestra una tautología). En la elaboración de las siguientes leyes, se ha supuesto que p, q y r son proposiciones que pueden asumir cualquier valor de verdad; mientras que V es una proposición verdadera y F es una proposición falsa...
826 Palabras | 4 Páginas
Leer documento completoLógica de Predicados Ing. Bruno López Takeyas Lógica de predicados • Lógica de predicados • Cálculo de predicados • Reglas de inferencia • Deducción proposicional • Demostración condicional • Demostración indirecta • Valores de certeza y Tautología Lógica de Predicados Ing. Bruno López Takeyas Lógica de predicados Lógica Sintaxis Sistema Semántica Simbólico Es una herramienta para estudiar el comportamiento de un sistema lógico. Además proporciona un criterio...
1001 Palabras | 5 Páginas
Leer documento completouna pera” Conjunción: Una conjunción lógica es, un operador lógico que resulta en verdadero si los dos operadores son verdaderos. Es un enunciado con dos o más elementos simultáneos. Una lámpara eléctrica se enciende si hay corriente eléctrica, el interruptor esta conectado, el fusible esta bien y la lámpara no esta fundida, en cualquier otro caso la lámpara no se encenderá. Para dos entradas A y B, la tabla de verdad de la función conjunción es: MODUS TOLLENDO TOLLENS (MT): ‘Tollendo tollens’...
713 Palabras | 3 Páginas
Leer documento completo La lógica se constituye prácticamente como disciplina autónoma, a partir de Aristóteles, quien la instauró como ciencia, elevándola al grado de saber supremo. Tal grado fue alcanzado debido a la importancia que se la atribuyó como método, como herramienta indispensable en el manejo de los procesos mentales. De ahí que se diga que el objeto sobre el cual trabaja la lógica, es el pensamiento, sus formas, es decir la manera como la mente consigna y ordena los datos provenientes de la naturaleza...
598 Palabras | 3 Páginas
Leer documento completoSYLLABUS LÓGICA MATEMÁTICA INFORMACIÓN GENERAL DEL CURSO ESCUELA O UNIDAD: SIGLA: ESCUELA DE CIENCIAS DE LA EDUCACIÓN ECEDU NIVEL: Profesional CAMPO DE FORMACIÓN: Formación Disciplinar Básico CURSO: Lógica matemática Código: 551105 DURACIÓN Y DEDICACIÓN: 18 semanas NUMERO DE CREDITOS: 2 CONOCIMIENTOS PREVIOS: El estudiante debe tener nociones generales básicas de la teoría de conjuntos...
1422 Palabras | 6 Páginas
Leer documento completoEquivalencia lógica En lógica, las sentencias p y q son lógicamente equivalentes si poseen el mismo contenido lógico. Sintácticamente, p y q son equivalentes si cada una puede probar a la otra. Semánticamente, p y q son equivalentes si ambas tienen el mismo valor de verdad en cada modelo. La equivalencia lógica de p y q a veces se denota o bien . Sin embargo, estos símbolos son también utilizados para denotar el bicondicional. La interpretación propia depende del contexto, y aunque ambos conceptos...
1301 Palabras | 6 Páginas
Leer documento completoLOGICA PROPOCISIONAL O SIMBOLICA 6.1 DEFINICION Y ELEMENTOS Lógica tradicional • Es una lógica de términos y de conceptos • Se expresa con el lenguaje común o neutral • Se simbolizan los términos distinguiendo sujeto y predicado asi como A, E, I, O • Solo permite analizar juicios de tipo S es P Lógica Proposicional • Es una lógica de proposiciones y de juicios • Se expresa con un lenguaje simbólico artificial • Se simbolizan las preposiciones sin distinguir sujeto ni predicado • Puede...
1143 Palabras | 5 Páginas
Leer documento completoLeyes de la Lógica: Las leyes lógicas, son proposiciones universales, necesarias, evidentes y verdaderas. Dichas leyes son cuatro, el principio de identidad, el de contradicción, el de tercero excluido y el de razón suficiente. El principio de identidad nos dice que una cosa es idéntica a si misma, lo que es, es; lo que no es, no es: A es A, o no A es no A El principio de contradicción nos dice que es imposible afirmar y negar que una cosa es y no es al mismo tiempo y bajo la misma circunstancia...
1253 Palabras | 6 Páginas
Leer documento completoanalizar o comparar el mundo que lo rodea o inventarse fantasías. 1.2 PENSAMIENTO Es el producto de un proceso psicológico. Es aquel que se desprende de las relaciones entre los objetos y procede de la propia elaboración del individuo. El pensamiento lógico es indispensable para solucionar los problemas cotidianos y para el avance de la ciencia, pues significa, sacar conclusiones de las premisas contenidas en ellas, pero no observables en forma directa. 2.1 CONTENIDO Y FORMAS DEL PENSAMIENTO En cada...
1528 Palabras | 7 Páginas
Leer documento completo´ LOGICA 1 La l´gica como ciencia, la l´gica formal y la l´gica usual. o o o a La l´gica como ciencia es el arte del buen pensar, el estudio sistem´tico del proceso o de razonamiento preciso. La l´gica usual es la que se usa normalmente, basada o en mecanismos objetivos. La l´gica formal es la que utiliza el lenguaje formal, o matem´tico. a 2 L´gica de proposiciones. C´lculo proposicional. o a Definici´n:(Proposici´n) Una proposici´n es una frase declarativa de la que se puede o o o afirmar,...
949 Palabras | 4 Páginas
Leer documento completoLeyes de la implicación – equivalencia logica El razonamiento o inferencia . Razonar es un proceso progresivo de la mente, que va de unas proposiciones ya conocidas llamadas premisas a otra nueva llamada conclusión. La conclusión está en parte contenida en las premisas, de modo que para que el razonamiento esté bien construido tiene que haber una relación de necesidad entre las premisas y la conclusión. La conclusión se deriva necesariamente de las premisas. Por ejemplo "Si estudio, aprendo...
1747 Palabras | 7 Páginas
Leer documento completorelacionado con la hermenéutica. En lógica, una deducción es un argumento donde la conclusión se infiere necesariamente de las premisas. En su definición formal, una deducción es una secuencia finita de fórmulas, de las cuales la última es designada como la conclusión (la conclusión de la deducción), y todas las fórmulas en la secuencia son, o bien axiomas, o bien premisas, o bien inferencias directas a partir de fórmulas previas en la secuencia por medio de reglas de inferencia. El código, en teoría de la...
1269 Palabras | 6 Páginas
Leer documento completoCORPORACION UNIFICADA NACIONAL DE EDUCACION SUPERIOR CUN DEPARTAMENTO DE CIENCIAS BASICAS: MATEMATICAS RESUMEN DE LAS LEYES DE INFERENCIA 9. Simplificación disyuntiva (SD) p p q 1. Modus Ponendo Ponens (PP) p p q p p q ~q ~p ~p ~q q q OTRAS LEYES LOGICAS DE APOYO 2. Modus tollendo tollens (TT) p q ~q ~p p q 10. Prueba del condicional p p q p p p q ~q p q ( q p) p o p q ~p q p 7. ley de la adición (LA) ...
1060 Palabras | 5 Páginas
Leer documento completodiferencian entre si B) Tiene elementos repetidos C) Los elementos pertenecen a un único conjunto D) Tiene elementos únicos 4. Cuando el tutor solicita en el encuentro tutorial de gran grupo que levanten la mano los estudiantes que matricularon lógica pero no ética, se estará realizando la operación de: A) Unión B) Diferencia C) Intersección D) Diferencia simétrica 5. Cuando en la asesoría de pequeño grupo colaborativo el tutor solicita que levanten la mano los estudiantes que estudiaron...
1323 Palabras | 6 Páginas
Leer documento completoPRINCIPALES LEYES LÓGICAS Para la simplificación de fórmulas del cálculo proposicional, son de suma utilidad las equivalencias o leyes lógicas. Su demostración se reduce a la confección de las correspondientes tablas de verdad (el resultado final de las mismas, siempre muestra una tautología). En la elaboración de las siguientes leyes, se ha supuesto que p, q y r son proposiciones que pueden asumir cualquier valor de verdad; mientras que V es una proposición verdadera y F es una proposición falsa...
826 Palabras | 4 Páginas
Leer documento completoLas reglas lgicas representan formas de razonamientos vlidos y elementales. Dichas reglas expresan la aplicacin de las leyes lgicas en las operaciones entre proposiciones. Por esta razn llevan el mismo nombre que las leyes tautolgicas, pero se formulan en un metalenguaje, por que refieren a la relacin entre las formas proposicionales. Las leyes se expresan en un lenguaje objeto, pues son las formas proposicionales mismas. En la formulacin de las reglas lgicas se utilizan las letra metalingsticas...
1338 Palabras | 6 Páginas
Leer documento completoEn las notas siguientes haremos un sumario de lo que consideramos debe conocer una persona (bien) educada sobre lógica. Después de revisar lo mínimo que se debe saber tanto de teoría como de aplicación, hablaremos un poco sobre lo que se hace para ayudar a la adquisición de tales habilidades en el Taller de Didáctica de la Lógica que se encuentra en su tercer año de trabajo. La lógica puede ser vista como un arte o técnica y también como una teoría o ciencia estricta. Esta dualidad es normal. ...
904 Palabras | 4 Páginas
Leer documento completoLa lógica: se constituye prácticamente como disciplina autónoma, a partir de Aristóteles, quien la instauró como ciencia, elevándola al grado de saber supremo. Tal grado fue alcanzado debido a la importancia que se la atribuyó como método, como herramienta indispensable en el manejo de los procesos mentales. De ahí que se diga que el objeto sobre el cual trabaja la lógica, es el pensamiento, sus formas, es decir la manera como la mente consigna y ordena los datos provenientes de la naturaleza. Posteriormente...
1223 Palabras | 5 Páginas
Leer documento completo≡ EJEMPLOS: Esta completo si y solo si tienes todas las actividades. Saldrás si y solo si acabaste tu tarea. Está lloviendo si y solo si está nublado. 3+2=5 si y solo si 4+4= Tablas de Verdad. •CONJUNCIÓN: La regla para establecer los criterios de verdad de la conectiva lógica conjunción es la siguiente: * Una conjunción de enunciados en los cuales todos son verdaderos, es verdadera. * Una conjunción de enunciados en donde no todos son verdaderos es falsa. * Lo que equivale a decir...
1659 Palabras | 7 Páginas
Leer documento completoLeyes de la Lógica: Las leyes lógicas, son proposiciones universales, necesarias, evidentes y verdaderas. Dichas leyes son cuatro, el principio de identidad, el de contradicción, el de tercero excluido y el de razón suficiente. El principio de identidad nos dice que una cosa es idéntica a si misma, lo que es, es; lo que no es, no es: A es A, o no A es no A El principio de contradicción nos dice que es imposible afirmar y negar que una cosa es y no es al mismo tiempo y bajo la misma...
1294 Palabras | 6 Páginas
Leer documento completoUnidad 1: FUNDAMENTOS DE ÁLGEBRA Clase 1.1: Lógica proposicional Lógica Proposicional Un enunciado es toda frase u oración que se realiza en el lenguaje común. Algunos enunciados son afirmaciones, órdenes, interrogaciones, exclamaciones, etc. Proposición: Una proposición es un enunciado que puede ser calificado, o bien como verdadero o bien como falso, pero no ambas a la vez. La inflación del Perú en el año 2011 fue menor al 3%. La economía se divide en microeconomía y macroeconomía...
973 Palabras | 4 Páginas
Leer documento completoInferencia Logica Inferencia Una inferencia es una evaluación que realiza la mente entre proposiciones. En lógica formal, son expresiones bien formadas de un lenguaje formal que, al ser relacionadas, permiten trazar una línea lógica de condición o implicación lógica entre las diferentes . De esta forma, parte de lo verdadero a lo falso: posible (como hipótesis) o conocida (como argumento) de alguna o algunas de ellas, puede deducirse la verdad o falsedad de alguna o algunas de las otras. Inferencia...
558 Palabras | 3 Páginas
Leer documento completoLógica Matemática Act. 10: TRABAJO COLABORATIVO No. 2 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA LÓGICA MATEMÁTICA Trabajo colaborativo No.2 Presenta: IVAN RICARDO CASTRO Tutor: PATRICIA LEGUIZAMON Noviembre 16 de 2011 Lógica Matemática Grupo 329 Lógica Matemática Act. 10: TRABAJO COLABORATIVO No. 2 INTRODUCCIÓN En el presente trabajo correspondientes a encontraremos determinados ejercicios matemáticos aplicaremos los conceptos razonamientos lógicos, donde ...
1685 Palabras | 7 Páginas
Leer documento completoSemana: V- Inferencia Lógica Sesión 1 y 2 1. Demostrar si los siguientes argumentos son reglas de inferencia válida a. p q b. ( p q ) r p r ( p r ) s ( s r ) s s q q s p r 2. Determinar la validez del siguiente argumento: “Si la economía peruana está en crisis entonces los capitalistas extranjeros no invertirán en el Perú. La economía peruana está en crisis porque no existe un ajuste estructural...
572 Palabras | 3 Páginas
Leer documento completoEn lógica, una regla de inferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada conclusión. Estas relaciones sintácticas son usadas en el proceso de inferencia, por el que se llega a nuevas aserciones verdaderas a partir de otras ya conocidas. Las reglas también se aplican a la lógica informal y a las discusiones, pero la formulación es mucho más difícil y polémica. Como...
2287 Palabras | 10 Páginas
Leer documento completorealidad Si Carlos es mayor que Juan, pero no es cierto que Carlos no sea menor que Luis yLuis es mayor que María, Quién de todos es mayor? Luis es el mayor de todos. Escribe dos oraciones con la palabra Lógica. Lógica es la situación de la guerra en nuestra nación. No me parece muy lógica la afirmación “el cielo esta en tus pies”. Recolección El cuadrado de la oposición proposicional El cuadrado de la oposición proposicional es un cuadrado que define las relaciones y las oposiciones...
1257 Palabras | 6 Páginas
Leer documento completo