SlideShare una empresa de Scribd logo
1 de 28
Estudiante: Deisbis Raúl González Miranda
C.I. V.-13.797.127
Sección:ESD131-SAIAC
UNIVERSIDAD FERMIN TORO
DEPARTAMENTO DE ING. MANTENIMIENTO MECANICO
SEDE CABUDARE.
MODALIDAD SAIA
CABUDARE, 11 DE JULIO DE 2017
 En el ámbito de la lógica, una tautología es
una fórmula de un sistema que resulta
verdadera para cualquier interpretación. En
otras palabras, se trata de una expresión
lógica que es verdadera para todos los
posibles valores de verdad de sus
componentes atómicos. Para saber si una
fórmula dada es una tautología, se debe
construir una tabla de verdad.
 La construcción de una tabla de verdad es un
método efectivo para determinar si una fórmula
cualquiera es una tautología o no.
 Siendo “P” el conjunto de proposiciones, y
a,b,c,d,e,f,… se puede definir la operación
nularia como aquella operación matemática en la
que el operador no necesita argumento para que
se pueda calcular un valor, por la que sin
argumentos o independientemente de los
argumentos, a una variable ”a” de “P"se le asigna
el valor verdadero.
 En razonamiento formal, la Adjunción
Lógica entre dos proposiciones, a y b, es
un conector lógico cuyo valor de la
verdad resulta en verdadero sólo si la
condición a es verdadero y la condición b es
falsa, y es falso de cualquier otro caso.
 En razonamiento formal, la adjunción
opuesta entre dos proposiciones, a y b, es
un conector lógico cuyo valor de la
verdad resulta en verdadero sólo si la
condición a es falsa y la condición b es
verdadera, y es falso de cualquier otro caso.
Existen diferentes contextos dónde se utiliza la
implicación opuesta y puede expresarse:
 En matemáticas y lógica, un bicondicional,
(también llamado equivalencia o doble
implicación, en ocasiones abreviado en
español como ssi), es una proposición de la
forma «P si y solo si Q» y es verdadero en el
caso de que ambos componentes tengan el
mismo valor de verdad.

 En lógica, el condicional estricto es
un condicional material sobre el que opera
un operador de necesidad. Dadas
dos proposiciones cualquiera A y B, la fórmula
A → B dice que A implica materialmente B,
mientras que {displaystyle Box (Ato B)} dice
que A implica estrictamente B.
 El condicional material, conocido
como condicional, condicional funcional de
verdad, o imprecisamente como implicación
material, es una conectiva lógica que conecta
dos proposiciones. En lógica proposicional, el
condicional material es una función de
verdad binaria, que se vuelve falsocuando B es
falsa siendo A verdadera, y se
vuelve verdadero en cualquier otro caso.
 Es importante no confundir el concepto
de condicional material con el de implicación
lógica. La confusión es exacerbada porque
los símbolos son imprecisamente usados
como expresiones equivalentes por muchos,
cuando realmente no lo son. Aunque en
conversaciones del día a día la diferencia no
tiene mayor impacto, la diferencia sutil entre
ambos conceptos es significativa en el
entendimiento correcto de la lógica
proposicional.
 Algunas de las propiedades formales del
condicional material son:
 Distributividad:
 Transitividad:
 Conmutatividad de antecedentes:
 Idempotencia:
 Preservación de la verdad:
 En razonamiento formal, una conjunción
lógica entre dos proposiciones es un conector
lógico cuyo valor de la verdad resulta
en cierto sólo si ambas proposiciones son
ciertas, y en falso de cualquier otra
forma. Existen diferentes contextos donde se
utiliza la conjunción lógica.
 En razonamiento formal, una conjunción
opuesta (también conocida como el trazo de
Sheffer ó negación alternativa) entre dos
proposiciones es un conector lógico cuyo valor
de la verdad resulta en falsosolo si ambas
proposiciones son ciertas, y en cierto de
cualquier otra forma. La conjunción opuesta es
la negación de la conjunción lógica.

 En electrónica, una puerta NAND es
una puerta lógica que implementa la
conjunción opuesta.
Proviene de un vocablo griego (ταυτολογία,
"decir lo mismo") y que hace referencia a
la repetición de un mismo pensamiento a
través de distintas expresiones. Una
tautología, para la retórica, es una afirmación
redundante.
 se trata de una expresión lógica que es
verdadera para todos los posibles valores de
verdad de sus componentes atómicos.
 En el ámbito de la lógica, una tautología es
una fórmula de un sistema que resulta
verdadera para cualquier interpretación.
 Para saber si una fórmula dada es una
tautología, se debe construir una tabla de
verdad.
 Esta es la tabla de verdad de la fórmula p ∧ q. Como se ve, esta
fórmula solo es verdadera bajo una interpretación: aquella en la
que ambas fórmulas atómicas son verdaderas. Una tautología es
una fórmula que es verdadera para todas las interpretaciones
posibles de las fórmulas atómicas. Por lo tanto, p ∧ q no es una
tautología. En cambio, la siguiente tabla de verdad muestra una
fórmula que sí lo es:
 Si una fórmula tiene n fórmulas atómicas distintas, entonces
tiene 2n interpretaciones posibles. En muchos casos, por lo
tanto, las tablas de verdad pueden ser muy grandes. Lo
importante, sin embargo, es que dado que la lógica
proposicional no admite fórmulas infinitamente largas, el
número de interpretaciones posibles siempre será finito, y por lo
tanto siempre será posible decidir si una fórmula cualquiera es
una tautología o no.
 Es habitual que las tautologías sean
consideradas como un error en el lenguaje o
una falta de estilo.
 Por ejemplo: la oración “Puedo confirmar que el
acusado es culpable ya que vi el asesinato con mis
propios ojos”presenta una aclaración innecesaria
acerca del uso de sus ojos, dado que no podría haber
visto por otro medio; del mismo modo, el énfasis de
la palabra “propios” puede omitirse absolutamente.
 Otros ejemplos muy comunes de tautología se
pueden apreciar en las siguientes oraciones: “Voy a
subir arriba a buscar un libro y vuelvo”, “Tengo que
salir afuera para regar las plantas”. Siempre que se
sube es hacia arriba; del mismo modo, salir implica
trasladarse fuera de un lugar, por lo cual dichas
aclaraciones carecen de sentido y resultan
innecesarias para la comprensión.
 perogrullada o verdad de Perogrullo:
 Cuando la tautología supone una explicación
redundante que no aporta un nuevo
conocimiento
 POR EJEMPLO: “Soy lo que soy”.
 pleonasmo.
 Expresión en la que aparecen términos
redundantes
 Si la tabla de verdad es siempre falsa, será
una contradicción.
 Se entiende por proposición contradictoria, o
contradicción, aquella proposición que en
todos los casos posibles de su tabla de
verdad su valor siempre es F. Dicho de otra
forma, su valor F no depende de los valores
de verdad de las proposiciones que la
forman, sino de la forma en que están
establecidas las relaciones sintácticas de unas
con otras. Sea el caso:
 En lógica, una contradicción es una
incompatibilidad entre dos o
más proposiciones. Por ejemplo, las
oraciones «llueve y no llueve» y «ni llueve ni
truena, pero llueve y truena» expresan
contradicciones.
 En lógica proposicional, una contradicción se
define como una fórmula que resulta falsa
para cualquier interpretación, es decir para
cualquier asignación de valores de
verdad que se haga a sus fórmulas atómicas.
 Dada esta definición, toda contradicción es la
negación de una tautología, y toda tautología
es la negación de una contradicción
 Esto es una función o relación de variables
lógicas o booleanas es una tautología si es
equivalente al valor verdadero para todos los
posibles valores de sus variables.
 Si la tabla de verdad de la proposición es
siempre verdadera, independientemente de la
verdad o falsedad de las proposiciones
simples, entonces la expresión es tautológica.
 Si la tabla de verdad es siempre falsa, será
una contradicción.
 Si es verdadera y falsa, la proposición es
una contingencia.
 •TAUTOLOGÍA: Una proposición compuesta es una tautología si es
verdadera para todas las asignaciones de valores de verdad para sus
proposiciones componentes. Dicho de otra forma, su valor V no depende
de los valores de verdad de las proposiciones que la forman, sino de la
forma en que están establecidas las relaciones sintácticas de unas con
otras. Sea el caso:
 •CONTRADICCIÓN: Se entiende por proposición contradictoria, o
contradicción, aquella proposición que en todos los casos posibles de su
tabla de verdad su valor siempre es F. Dicho de otra forma, su valor F no
depende de los valores de verdad de las proposiciones que la forman,
sino de la forma en que están establecidas las relaciones sintácticas de
unas con otras. Sea el caso:
 •CONTINGENCIA: Se entiende por verdad contingente, o verdad de
hecho, aquella proposición que puede ser verdadera o
falsa, (combinación entre tautología y contradicción) según los valores
de las proposiciones que la integran. Sea el caso:
 CONTADICCION  CONTINGENCIA

Más contenido relacionado

La actualidad más candente

Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]Henry Villalba
 
Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en MatemáticaWilbert Tapia
 
Conjuntos demostraciones
Conjuntos demostracionesConjuntos demostraciones
Conjuntos demostracionesRafa Cruz
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicosAra Narvaez
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica ProposicionalMaestroJCH
 
Derivadas de una función
Derivadas de una funciónDerivadas de una función
Derivadas de una funciónChristofer001
 
Lógica Matematica-Proposicional-Simbólica
Lógica Matematica-Proposicional-SimbólicaLógica Matematica-Proposicional-Simbólica
Lógica Matematica-Proposicional-SimbólicaMichael Castillo
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNPacheco Huarotto, Luis
 
1.clase introduccion-logica
1.clase introduccion-logica1.clase introduccion-logica
1.clase introduccion-logicalupitamartel
 
taller de la espol sobre la primera unidad
taller de la espol sobre la primera unidad taller de la espol sobre la primera unidad
taller de la espol sobre la primera unidad Luis Serrano
 
Problemas resueltos sobre inducción matemática
Problemas resueltos sobre inducción matemáticaProblemas resueltos sobre inducción matemática
Problemas resueltos sobre inducción matemáticaJ. Amauris Gelabert S.
 
Leyes de la logica e inferencias
Leyes de la  logica  e inferenciasLeyes de la  logica  e inferencias
Leyes de la logica e inferenciasMaria Gaitan
 
Disyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaDisyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaflakitacm
 

La actualidad más candente (20)

Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]
 
TAUTOLOGÍA .
TAUTOLOGÍA .TAUTOLOGÍA .
TAUTOLOGÍA .
 
Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en Matemática
 
Conjuntos demostraciones
Conjuntos demostracionesConjuntos demostraciones
Conjuntos demostraciones
 
Cuantificadores
CuantificadoresCuantificadores
Cuantificadores
 
Inferencia LóGica
Inferencia LóGicaInferencia LóGica
Inferencia LóGica
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica Proposicional
 
Derivadas de una función
Derivadas de una funciónDerivadas de una función
Derivadas de una función
 
Lógica Matematica-Proposicional-Simbólica
Lógica Matematica-Proposicional-SimbólicaLógica Matematica-Proposicional-Simbólica
Lógica Matematica-Proposicional-Simbólica
 
Identidades trigonometricas
Identidades trigonometricasIdentidades trigonometricas
Identidades trigonometricas
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
 
espacios vectoriales
espacios vectorialesespacios vectoriales
espacios vectoriales
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
1.clase introduccion-logica
1.clase introduccion-logica1.clase introduccion-logica
1.clase introduccion-logica
 
taller de la espol sobre la primera unidad
taller de la espol sobre la primera unidad taller de la espol sobre la primera unidad
taller de la espol sobre la primera unidad
 
Formas Proposicionales
Formas ProposicionalesFormas Proposicionales
Formas Proposicionales
 
Problemas resueltos sobre inducción matemática
Problemas resueltos sobre inducción matemáticaProblemas resueltos sobre inducción matemática
Problemas resueltos sobre inducción matemática
 
Leyes de la logica e inferencias
Leyes de la  logica  e inferenciasLeyes de la  logica  e inferencias
Leyes de la logica e inferencias
 
Disyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaDisyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativa
 

Similar a Tautologia y contraddicciones

Similar a Tautologia y contraddicciones (20)

Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Logica matematica 3 rodrigo andres hoyos perdomo
Logica matematica 3 rodrigo andres hoyos perdomoLogica matematica 3 rodrigo andres hoyos perdomo
Logica matematica 3 rodrigo andres hoyos perdomo
 
Logica matematica modalidad
Logica matematica modalidad Logica matematica modalidad
Logica matematica modalidad
 
Introducción a la lógica de programación
Introducción a la lógica de  programaciónIntroducción a la lógica de  programación
Introducción a la lógica de programación
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Logica 2009
Logica 2009Logica 2009
Logica 2009
 
Logica formal
Logica formalLogica formal
Logica formal
 
Introduccin a la logica
Introduccin a la logicaIntroduccin a la logica
Introduccin a la logica
 
Introduccin a la logica
Introduccin a la logicaIntroduccin a la logica
Introduccin a la logica
 
Logicamatematica herney guzman
Logicamatematica herney guzmanLogicamatematica herney guzman
Logicamatematica herney guzman
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Proposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesProposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de Proposiciones
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Capítulo i logica
Capítulo i  logicaCapítulo i  logica
Capítulo i logica
 
Capitulo2: Elementos de lógica proposicional
Capitulo2: Elementos de lógica proposicionalCapitulo2: Elementos de lógica proposicional
Capitulo2: Elementos de lógica proposicional
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematica
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematica
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematica
 
Trabajo de logica matematica modalidad.
Trabajo de logica matematica modalidad.Trabajo de logica matematica modalidad.
Trabajo de logica matematica modalidad.
 

Más de Deisbis Gonzalez

SISTEMAS DE COLADA,colada,tipos de sistema de colada, fluidez del metal fundi...
SISTEMAS DE COLADA,colada,tipos de sistema de colada, fluidez del metal fundi...SISTEMAS DE COLADA,colada,tipos de sistema de colada, fluidez del metal fundi...
SISTEMAS DE COLADA,colada,tipos de sistema de colada, fluidez del metal fundi...Deisbis Gonzalez
 
tipos de moldes usados en la fundición como también arenas de moldeo , moldeo...
tipos de moldes usados en la fundición como también arenas de moldeo , moldeo...tipos de moldes usados en la fundición como también arenas de moldeo , moldeo...
tipos de moldes usados en la fundición como también arenas de moldeo , moldeo...Deisbis Gonzalez
 
Deisbis raul gonzalez miranda c
Deisbis raul gonzalez miranda cDeisbis raul gonzalez miranda c
Deisbis raul gonzalez miranda cDeisbis Gonzalez
 
Mapa conceptual de ejercicio legal de la ingenieria deontologia y etica
Mapa conceptual de ejercicio legal de la ingenieria deontologia y eticaMapa conceptual de ejercicio legal de la ingenieria deontologia y etica
Mapa conceptual de ejercicio legal de la ingenieria deontologia y eticaDeisbis Gonzalez
 
Torsion3 iforme de entrega
Torsion3 iforme de entregaTorsion3 iforme de entrega
Torsion3 iforme de entregaDeisbis Gonzalez
 
Actividad#05 laboratorio de materiales (1)
Actividad#05 laboratorio de materiales (1)Actividad#05 laboratorio de materiales (1)
Actividad#05 laboratorio de materiales (1)Deisbis Gonzalez
 
Informe para entrega por saia (1)
Informe para entrega por saia (1)Informe para entrega por saia (1)
Informe para entrega por saia (1)Deisbis Gonzalez
 
I nforme 01 unidad flexion (3)
I nforme 01 unidad flexion (3)I nforme 01 unidad flexion (3)
I nforme 01 unidad flexion (3)Deisbis Gonzalez
 
Asignacion a entregar de Maquinas Hidraulicas
 Asignacion a entregar de Maquinas Hidraulicas Asignacion a entregar de Maquinas Hidraulicas
Asignacion a entregar de Maquinas HidraulicasDeisbis Gonzalez
 
Trabajo de turbomaquinas trabajo final (1)
Trabajo de turbomaquinas trabajo final (1)Trabajo de turbomaquinas trabajo final (1)
Trabajo de turbomaquinas trabajo final (1)Deisbis Gonzalez
 
Parcial 02 ciencias de materiales ilovepdf-compressed
Parcial 02 ciencias de materiales ilovepdf-compressedParcial 02 ciencias de materiales ilovepdf-compressed
Parcial 02 ciencias de materiales ilovepdf-compressedDeisbis Gonzalez
 

Más de Deisbis Gonzalez (20)

SISTEMAS DE COLADA,colada,tipos de sistema de colada, fluidez del metal fundi...
SISTEMAS DE COLADA,colada,tipos de sistema de colada, fluidez del metal fundi...SISTEMAS DE COLADA,colada,tipos de sistema de colada, fluidez del metal fundi...
SISTEMAS DE COLADA,colada,tipos de sistema de colada, fluidez del metal fundi...
 
tipos de moldes usados en la fundición como también arenas de moldeo , moldeo...
tipos de moldes usados en la fundición como también arenas de moldeo , moldeo...tipos de moldes usados en la fundición como también arenas de moldeo , moldeo...
tipos de moldes usados en la fundición como también arenas de moldeo , moldeo...
 
Deisbis raul gonzalez miranda c
Deisbis raul gonzalez miranda cDeisbis raul gonzalez miranda c
Deisbis raul gonzalez miranda c
 
Mapa conceptual de ejercicio legal de la ingenieria deontologia y etica
Mapa conceptual de ejercicio legal de la ingenieria deontologia y eticaMapa conceptual de ejercicio legal de la ingenieria deontologia y etica
Mapa conceptual de ejercicio legal de la ingenieria deontologia y etica
 
Informe practica#09 (1)
Informe practica#09 (1)Informe practica#09 (1)
Informe practica#09 (1)
 
Fatiga informe a entregar
Fatiga informe a entregarFatiga informe a entregar
Fatiga informe a entregar
 
Torsion3 iforme de entrega
Torsion3 iforme de entregaTorsion3 iforme de entrega
Torsion3 iforme de entrega
 
Actividad#05 laboratorio de materiales (1)
Actividad#05 laboratorio de materiales (1)Actividad#05 laboratorio de materiales (1)
Actividad#05 laboratorio de materiales (1)
 
Actividad #03
Actividad #03Actividad #03
Actividad #03
 
Informe para entrega por saia (1)
Informe para entrega por saia (1)Informe para entrega por saia (1)
Informe para entrega por saia (1)
 
I nforme 01 unidad flexion (3)
I nforme 01 unidad flexion (3)I nforme 01 unidad flexion (3)
I nforme 01 unidad flexion (3)
 
Ensayo metalografico
Ensayo metalograficoEnsayo metalografico
Ensayo metalografico
 
Informe practica#09
Informe practica#09Informe practica#09
Informe practica#09
 
Cambio climático
Cambio climáticoCambio climático
Cambio climático
 
Actividad #03
Actividad #03Actividad #03
Actividad #03
 
Asignacion a entregar de Maquinas Hidraulicas
 Asignacion a entregar de Maquinas Hidraulicas Asignacion a entregar de Maquinas Hidraulicas
Asignacion a entregar de Maquinas Hidraulicas
 
Biomas
BiomasBiomas
Biomas
 
Trabajo de turbomaquinas trabajo final (1)
Trabajo de turbomaquinas trabajo final (1)Trabajo de turbomaquinas trabajo final (1)
Trabajo de turbomaquinas trabajo final (1)
 
R ecreacion
R ecreacionR ecreacion
R ecreacion
 
Parcial 02 ciencias de materiales ilovepdf-compressed
Parcial 02 ciencias de materiales ilovepdf-compressedParcial 02 ciencias de materiales ilovepdf-compressed
Parcial 02 ciencias de materiales ilovepdf-compressed
 

Último

proyecto de mayo inicial 5 añitos aprender es bueno para tu niño
proyecto de mayo inicial 5 añitos aprender es bueno para tu niñoproyecto de mayo inicial 5 añitos aprender es bueno para tu niño
proyecto de mayo inicial 5 añitos aprender es bueno para tu niñotapirjackluis
 
ACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLA
ACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLAACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLA
ACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLAJAVIER SOLIS NOYOLA
 
Ejercicios de PROBLEMAS PAEV 6 GRADO 2024.pdf
Ejercicios de PROBLEMAS PAEV 6 GRADO 2024.pdfEjercicios de PROBLEMAS PAEV 6 GRADO 2024.pdf
Ejercicios de PROBLEMAS PAEV 6 GRADO 2024.pdfMaritzaRetamozoVera
 
Estrategias de enseñanza-aprendizaje virtual.pptx
Estrategias de enseñanza-aprendizaje virtual.pptxEstrategias de enseñanza-aprendizaje virtual.pptx
Estrategias de enseñanza-aprendizaje virtual.pptxdkmeza
 
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURAFORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURAEl Fortí
 
Ley 21.545 - Circular Nº 586.pdf circular
Ley 21.545 - Circular Nº 586.pdf circularLey 21.545 - Circular Nº 586.pdf circular
Ley 21.545 - Circular Nº 586.pdf circularMooPandrea
 
Registro Auxiliar - Primaria 2024 (1).pptx
Registro Auxiliar - Primaria  2024 (1).pptxRegistro Auxiliar - Primaria  2024 (1).pptx
Registro Auxiliar - Primaria 2024 (1).pptxFelicitasAsuncionDia
 
INSTRUCCION PREPARATORIA DE TIRO .pptx
INSTRUCCION PREPARATORIA DE TIRO   .pptxINSTRUCCION PREPARATORIA DE TIRO   .pptx
INSTRUCCION PREPARATORIA DE TIRO .pptxdeimerhdz21
 
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...Carlos Muñoz
 
Qué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativaQué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativaDecaunlz
 
MAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMarjorie Burga
 
Cuaderno de trabajo Matemática 3 tercer grado.pdf
Cuaderno de trabajo Matemática 3 tercer grado.pdfCuaderno de trabajo Matemática 3 tercer grado.pdf
Cuaderno de trabajo Matemática 3 tercer grado.pdfNancyLoaa
 
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.Alejandrino Halire Ccahuana
 
Programacion Anual Matemática4 MPG 2024 Ccesa007.pdf
Programacion Anual Matemática4    MPG 2024  Ccesa007.pdfProgramacion Anual Matemática4    MPG 2024  Ccesa007.pdf
Programacion Anual Matemática4 MPG 2024 Ccesa007.pdfDemetrio Ccesa Rayme
 
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptxACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptxzulyvero07
 
Sesión de aprendizaje Planifica Textos argumentativo.docx
Sesión de aprendizaje Planifica Textos argumentativo.docxSesión de aprendizaje Planifica Textos argumentativo.docx
Sesión de aprendizaje Planifica Textos argumentativo.docxMaritzaRetamozoVera
 

Último (20)

proyecto de mayo inicial 5 añitos aprender es bueno para tu niño
proyecto de mayo inicial 5 añitos aprender es bueno para tu niñoproyecto de mayo inicial 5 añitos aprender es bueno para tu niño
proyecto de mayo inicial 5 añitos aprender es bueno para tu niño
 
Unidad 3 | Metodología de la Investigación
Unidad 3 | Metodología de la InvestigaciónUnidad 3 | Metodología de la Investigación
Unidad 3 | Metodología de la Investigación
 
ACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLA
ACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLAACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLA
ACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLA
 
Medición del Movimiento Online 2024.pptx
Medición del Movimiento Online 2024.pptxMedición del Movimiento Online 2024.pptx
Medición del Movimiento Online 2024.pptx
 
Ejercicios de PROBLEMAS PAEV 6 GRADO 2024.pdf
Ejercicios de PROBLEMAS PAEV 6 GRADO 2024.pdfEjercicios de PROBLEMAS PAEV 6 GRADO 2024.pdf
Ejercicios de PROBLEMAS PAEV 6 GRADO 2024.pdf
 
Estrategias de enseñanza-aprendizaje virtual.pptx
Estrategias de enseñanza-aprendizaje virtual.pptxEstrategias de enseñanza-aprendizaje virtual.pptx
Estrategias de enseñanza-aprendizaje virtual.pptx
 
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURAFORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
 
Ley 21.545 - Circular Nº 586.pdf circular
Ley 21.545 - Circular Nº 586.pdf circularLey 21.545 - Circular Nº 586.pdf circular
Ley 21.545 - Circular Nº 586.pdf circular
 
Fe contra todo pronóstico. La fe es confianza.
Fe contra todo pronóstico. La fe es confianza.Fe contra todo pronóstico. La fe es confianza.
Fe contra todo pronóstico. La fe es confianza.
 
Registro Auxiliar - Primaria 2024 (1).pptx
Registro Auxiliar - Primaria  2024 (1).pptxRegistro Auxiliar - Primaria  2024 (1).pptx
Registro Auxiliar - Primaria 2024 (1).pptx
 
INSTRUCCION PREPARATORIA DE TIRO .pptx
INSTRUCCION PREPARATORIA DE TIRO   .pptxINSTRUCCION PREPARATORIA DE TIRO   .pptx
INSTRUCCION PREPARATORIA DE TIRO .pptx
 
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
 
Qué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativaQué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativa
 
MAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grande
 
Cuaderno de trabajo Matemática 3 tercer grado.pdf
Cuaderno de trabajo Matemática 3 tercer grado.pdfCuaderno de trabajo Matemática 3 tercer grado.pdf
Cuaderno de trabajo Matemática 3 tercer grado.pdf
 
Sesión de clase: Fe contra todo pronóstico
Sesión de clase: Fe contra todo pronósticoSesión de clase: Fe contra todo pronóstico
Sesión de clase: Fe contra todo pronóstico
 
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
 
Programacion Anual Matemática4 MPG 2024 Ccesa007.pdf
Programacion Anual Matemática4    MPG 2024  Ccesa007.pdfProgramacion Anual Matemática4    MPG 2024  Ccesa007.pdf
Programacion Anual Matemática4 MPG 2024 Ccesa007.pdf
 
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptxACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
 
Sesión de aprendizaje Planifica Textos argumentativo.docx
Sesión de aprendizaje Planifica Textos argumentativo.docxSesión de aprendizaje Planifica Textos argumentativo.docx
Sesión de aprendizaje Planifica Textos argumentativo.docx
 

Tautologia y contraddicciones

  • 1. Estudiante: Deisbis Raúl González Miranda C.I. V.-13.797.127 Sección:ESD131-SAIAC UNIVERSIDAD FERMIN TORO DEPARTAMENTO DE ING. MANTENIMIENTO MECANICO SEDE CABUDARE. MODALIDAD SAIA CABUDARE, 11 DE JULIO DE 2017
  • 2.  En el ámbito de la lógica, una tautología es una fórmula de un sistema que resulta verdadera para cualquier interpretación. En otras palabras, se trata de una expresión lógica que es verdadera para todos los posibles valores de verdad de sus componentes atómicos. Para saber si una fórmula dada es una tautología, se debe construir una tabla de verdad.
  • 3.  La construcción de una tabla de verdad es un método efectivo para determinar si una fórmula cualquiera es una tautología o no.  Siendo “P” el conjunto de proposiciones, y a,b,c,d,e,f,… se puede definir la operación nularia como aquella operación matemática en la que el operador no necesita argumento para que se pueda calcular un valor, por la que sin argumentos o independientemente de los argumentos, a una variable ”a” de “P"se le asigna el valor verdadero.
  • 4.  En razonamiento formal, la Adjunción Lógica entre dos proposiciones, a y b, es un conector lógico cuyo valor de la verdad resulta en verdadero sólo si la condición a es verdadero y la condición b es falsa, y es falso de cualquier otro caso.
  • 5.  En razonamiento formal, la adjunción opuesta entre dos proposiciones, a y b, es un conector lógico cuyo valor de la verdad resulta en verdadero sólo si la condición a es falsa y la condición b es verdadera, y es falso de cualquier otro caso. Existen diferentes contextos dónde se utiliza la implicación opuesta y puede expresarse:
  • 6.  En matemáticas y lógica, un bicondicional, (también llamado equivalencia o doble implicación, en ocasiones abreviado en español como ssi), es una proposición de la forma «P si y solo si Q» y es verdadero en el caso de que ambos componentes tengan el mismo valor de verdad.
  • 7.   En lógica, el condicional estricto es un condicional material sobre el que opera un operador de necesidad. Dadas dos proposiciones cualquiera A y B, la fórmula A → B dice que A implica materialmente B, mientras que {displaystyle Box (Ato B)} dice que A implica estrictamente B.
  • 8.  El condicional material, conocido como condicional, condicional funcional de verdad, o imprecisamente como implicación material, es una conectiva lógica que conecta dos proposiciones. En lógica proposicional, el condicional material es una función de verdad binaria, que se vuelve falsocuando B es falsa siendo A verdadera, y se vuelve verdadero en cualquier otro caso.
  • 9.  Es importante no confundir el concepto de condicional material con el de implicación lógica. La confusión es exacerbada porque los símbolos son imprecisamente usados como expresiones equivalentes por muchos, cuando realmente no lo son. Aunque en conversaciones del día a día la diferencia no tiene mayor impacto, la diferencia sutil entre ambos conceptos es significativa en el entendimiento correcto de la lógica proposicional.
  • 10.  Algunas de las propiedades formales del condicional material son:  Distributividad:  Transitividad:  Conmutatividad de antecedentes:  Idempotencia:  Preservación de la verdad:
  • 11.  En razonamiento formal, una conjunción lógica entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en cierto sólo si ambas proposiciones son ciertas, y en falso de cualquier otra forma. Existen diferentes contextos donde se utiliza la conjunción lógica.
  • 12.  En razonamiento formal, una conjunción opuesta (también conocida como el trazo de Sheffer ó negación alternativa) entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en falsosolo si ambas proposiciones son ciertas, y en cierto de cualquier otra forma. La conjunción opuesta es la negación de la conjunción lógica. 
  • 13.  En electrónica, una puerta NAND es una puerta lógica que implementa la conjunción opuesta. Proviene de un vocablo griego (ταυτολογία, "decir lo mismo") y que hace referencia a la repetición de un mismo pensamiento a través de distintas expresiones. Una tautología, para la retórica, es una afirmación redundante.
  • 14.  se trata de una expresión lógica que es verdadera para todos los posibles valores de verdad de sus componentes atómicos.  En el ámbito de la lógica, una tautología es una fórmula de un sistema que resulta verdadera para cualquier interpretación.
  • 15.  Para saber si una fórmula dada es una tautología, se debe construir una tabla de verdad.
  • 16.  Esta es la tabla de verdad de la fórmula p ∧ q. Como se ve, esta fórmula solo es verdadera bajo una interpretación: aquella en la que ambas fórmulas atómicas son verdaderas. Una tautología es una fórmula que es verdadera para todas las interpretaciones posibles de las fórmulas atómicas. Por lo tanto, p ∧ q no es una tautología. En cambio, la siguiente tabla de verdad muestra una fórmula que sí lo es:  Si una fórmula tiene n fórmulas atómicas distintas, entonces tiene 2n interpretaciones posibles. En muchos casos, por lo tanto, las tablas de verdad pueden ser muy grandes. Lo importante, sin embargo, es que dado que la lógica proposicional no admite fórmulas infinitamente largas, el número de interpretaciones posibles siempre será finito, y por lo tanto siempre será posible decidir si una fórmula cualquiera es una tautología o no.
  • 17.  Es habitual que las tautologías sean consideradas como un error en el lenguaje o una falta de estilo.
  • 18.  Por ejemplo: la oración “Puedo confirmar que el acusado es culpable ya que vi el asesinato con mis propios ojos”presenta una aclaración innecesaria acerca del uso de sus ojos, dado que no podría haber visto por otro medio; del mismo modo, el énfasis de la palabra “propios” puede omitirse absolutamente.  Otros ejemplos muy comunes de tautología se pueden apreciar en las siguientes oraciones: “Voy a subir arriba a buscar un libro y vuelvo”, “Tengo que salir afuera para regar las plantas”. Siempre que se sube es hacia arriba; del mismo modo, salir implica trasladarse fuera de un lugar, por lo cual dichas aclaraciones carecen de sentido y resultan innecesarias para la comprensión.
  • 19.  perogrullada o verdad de Perogrullo:  Cuando la tautología supone una explicación redundante que no aporta un nuevo conocimiento  POR EJEMPLO: “Soy lo que soy”.
  • 20.  pleonasmo.  Expresión en la que aparecen términos redundantes
  • 21.  Si la tabla de verdad es siempre falsa, será una contradicción.  Se entiende por proposición contradictoria, o contradicción, aquella proposición que en todos los casos posibles de su tabla de verdad su valor siempre es F. Dicho de otra forma, su valor F no depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que están establecidas las relaciones sintácticas de unas con otras. Sea el caso:
  • 22.  En lógica, una contradicción es una incompatibilidad entre dos o más proposiciones. Por ejemplo, las oraciones «llueve y no llueve» y «ni llueve ni truena, pero llueve y truena» expresan contradicciones.
  • 23.  En lógica proposicional, una contradicción se define como una fórmula que resulta falsa para cualquier interpretación, es decir para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas.
  • 24.  Dada esta definición, toda contradicción es la negación de una tautología, y toda tautología es la negación de una contradicción  Esto es una función o relación de variables lógicas o booleanas es una tautología si es equivalente al valor verdadero para todos los posibles valores de sus variables.
  • 25.
  • 26.  Si la tabla de verdad de la proposición es siempre verdadera, independientemente de la verdad o falsedad de las proposiciones simples, entonces la expresión es tautológica.  Si la tabla de verdad es siempre falsa, será una contradicción.  Si es verdadera y falsa, la proposición es una contingencia.
  • 27.  •TAUTOLOGÍA: Una proposición compuesta es una tautología si es verdadera para todas las asignaciones de valores de verdad para sus proposiciones componentes. Dicho de otra forma, su valor V no depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que están establecidas las relaciones sintácticas de unas con otras. Sea el caso:  •CONTRADICCIÓN: Se entiende por proposición contradictoria, o contradicción, aquella proposición que en todos los casos posibles de su tabla de verdad su valor siempre es F. Dicho de otra forma, su valor F no depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que están establecidas las relaciones sintácticas de unas con otras. Sea el caso:  •CONTINGENCIA: Se entiende por verdad contingente, o verdad de hecho, aquella proposición que puede ser verdadera o falsa, (combinación entre tautología y contradicción) según los valores de las proposiciones que la integran. Sea el caso:
  • 28.  CONTADICCION  CONTINGENCIA