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

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
 
Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicionalMariexis Cova
 
PRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDADPRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDADjuniorfernandoo
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicosAra Narvaez
 
1.clase introduccion-logica
1.clase introduccion-logica1.clase introduccion-logica
1.clase introduccion-logicalupitamartel
 
Negación de proposiciones con cuantificadores
Negación de proposiciones con cuantificadoresNegación de proposiciones con cuantificadores
Negación de proposiciones con cuantificadoresAntoKizz Caztro
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicionalelisa pizano
 
Cuantificador universal y existencial
Cuantificador universal y existencialCuantificador universal y existencial
Cuantificador universal y existencialChristianFernando24
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadpaquitogiron
 
Ejemplos de logica proposicional
Ejemplos de logica proposicionalEjemplos de logica proposicional
Ejemplos de logica proposicionalamarilisrivas94
 
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
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionWendy Estupiñan
 

La actualidad más candente (20)

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
 
Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicional
 
Inferencia logica
Inferencia logicaInferencia logica
Inferencia logica
 
PRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDADPRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDAD
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
 
LóGica Proposicional
LóGica ProposicionalLóGica Proposicional
LóGica Proposicional
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
1.clase introduccion-logica
1.clase introduccion-logica1.clase introduccion-logica
1.clase introduccion-logica
 
Negación de proposiciones con cuantificadores
Negación de proposiciones con cuantificadoresNegación de proposiciones con cuantificadores
Negación de proposiciones con cuantificadores
 
TAUTOLOGÍA .
TAUTOLOGÍA .TAUTOLOGÍA .
TAUTOLOGÍA .
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
 
Cuantificador universal y existencial
Cuantificador universal y existencialCuantificador universal y existencial
Cuantificador universal y existencial
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdad
 
1 enunciados y proposiciones 6
1 enunciados y proposiciones 61 enunciados y proposiciones 6
1 enunciados y proposiciones 6
 
Ejemplos de logica proposicional
Ejemplos de logica proposicionalEjemplos de logica proposicional
Ejemplos de logica proposicional
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
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
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacion
 
inferencias logicas
inferencias logicasinferencias logicas
inferencias logicas
 

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

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
 
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
 
Imperialismo informal en Europa y el imperio
Imperialismo informal en Europa y el imperioImperialismo informal en Europa y el imperio
Imperialismo informal en Europa y el imperiomiralbaipiales2016
 
Registro Auxiliar - Primaria 2024 (1).pptx
Registro Auxiliar - Primaria  2024 (1).pptxRegistro Auxiliar - Primaria  2024 (1).pptx
Registro Auxiliar - Primaria 2024 (1).pptxFelicitasAsuncionDia
 
ORGANIZACIÓN SOCIAL INCA EN EL TAHUANTINSUYO.pptx
ORGANIZACIÓN SOCIAL INCA EN EL TAHUANTINSUYO.pptxORGANIZACIÓN SOCIAL INCA EN EL TAHUANTINSUYO.pptx
ORGANIZACIÓN SOCIAL INCA EN EL TAHUANTINSUYO.pptxnandoapperscabanilla
 
Estrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcciónEstrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcciónLourdes Feria
 
Qué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativaQué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativaDecaunlz
 
PIAR v 015. 2024 Plan Individual de ajustes razonables
PIAR v 015. 2024 Plan Individual de ajustes razonablesPIAR v 015. 2024 Plan Individual de ajustes razonables
PIAR v 015. 2024 Plan Individual de ajustes razonablesYanirisBarcelDelaHoz
 
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICABIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICAÁngel Encinas
 
Programacion Anual Matemática5 MPG 2024 Ccesa007.pdf
Programacion Anual Matemática5    MPG 2024  Ccesa007.pdfProgramacion Anual Matemática5    MPG 2024  Ccesa007.pdf
Programacion Anual Matemática5 MPG 2024 Ccesa007.pdfDemetrio Ccesa Rayme
 
Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Lourdes Feria
 
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VS
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VSOCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VS
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VSYadi Campos
 
actividades comprensión lectora para 3° grado
actividades comprensión lectora para 3° gradoactividades comprensión lectora para 3° grado
actividades comprensión lectora para 3° gradoJosDanielEstradaHern
 
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdfSELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdfAngélica Soledad Vega Ramírez
 
La empresa sostenible: Principales Características, Barreras para su Avance y...
La empresa sostenible: Principales Características, Barreras para su Avance y...La empresa sostenible: Principales Características, Barreras para su Avance y...
La empresa sostenible: Principales Características, Barreras para su Avance y...JonathanCovena1
 
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
 

Último (20)

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
 
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
 
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
 
Power Point: Fe contra todo pronóstico.pptx
Power Point: Fe contra todo pronóstico.pptxPower Point: Fe contra todo pronóstico.pptx
Power Point: Fe contra todo pronóstico.pptx
 
Imperialismo informal en Europa y el imperio
Imperialismo informal en Europa y el imperioImperialismo informal en Europa y el imperio
Imperialismo informal en Europa y el imperio
 
Registro Auxiliar - Primaria 2024 (1).pptx
Registro Auxiliar - Primaria  2024 (1).pptxRegistro Auxiliar - Primaria  2024 (1).pptx
Registro Auxiliar - Primaria 2024 (1).pptx
 
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.
 
ORGANIZACIÓN SOCIAL INCA EN EL TAHUANTINSUYO.pptx
ORGANIZACIÓN SOCIAL INCA EN EL TAHUANTINSUYO.pptxORGANIZACIÓN SOCIAL INCA EN EL TAHUANTINSUYO.pptx
ORGANIZACIÓN SOCIAL INCA EN EL TAHUANTINSUYO.pptx
 
Estrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcciónEstrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcción
 
Qué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativaQué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativa
 
PIAR v 015. 2024 Plan Individual de ajustes razonables
PIAR v 015. 2024 Plan Individual de ajustes razonablesPIAR v 015. 2024 Plan Individual de ajustes razonables
PIAR v 015. 2024 Plan Individual de ajustes razonables
 
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICABIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
 
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
 
Programacion Anual Matemática5 MPG 2024 Ccesa007.pdf
Programacion Anual Matemática5    MPG 2024  Ccesa007.pdfProgramacion Anual Matemática5    MPG 2024  Ccesa007.pdf
Programacion Anual Matemática5 MPG 2024 Ccesa007.pdf
 
Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...
 
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VS
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VSOCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VS
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VS
 
actividades comprensión lectora para 3° grado
actividades comprensión lectora para 3° gradoactividades comprensión lectora para 3° grado
actividades comprensión lectora para 3° grado
 
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdfSELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
 
La empresa sostenible: Principales Características, Barreras para su Avance y...
La empresa sostenible: Principales Características, Barreras para su Avance y...La empresa sostenible: Principales Características, Barreras para su Avance y...
La empresa sostenible: Principales Características, Barreras para su Avance y...
 
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...
 

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