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 negativa
flakitacm
 
14003263 problemas-resueltos-de-conjuntos
14003263 problemas-resueltos-de-conjuntos14003263 problemas-resueltos-de-conjuntos
14003263 problemas-resueltos-de-conjuntos
Carlos Alberto Mongui
 

La actualidad más candente (20)

EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
 
Conjunto ejercicios-y-teoria
Conjunto ejercicios-y-teoriaConjunto ejercicios-y-teoria
Conjunto ejercicios-y-teoria
 
Ejemplos de logica proposicional
Ejemplos de logica proposicionalEjemplos de logica proposicional
Ejemplos de logica proposicional
 
proposiciones lógicas -matematica basica
  proposiciones  lógicas -matematica basica  proposiciones  lógicas -matematica basica
proposiciones lógicas -matematica basica
 
Leyes De Lógica
Leyes De LógicaLeyes De Lógica
Leyes De Lógica
 
TAUTOLOGÍA .
TAUTOLOGÍA .TAUTOLOGÍA .
TAUTOLOGÍA .
 
PRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDADPRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDAD
 
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
 
DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.
DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.
DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
Negación de proposiciones con cuantificadores
Negación de proposiciones con cuantificadoresNegación de proposiciones con cuantificadores
Negación de proposiciones con cuantificadores
 
14003263 problemas-resueltos-de-conjuntos
14003263 problemas-resueltos-de-conjuntos14003263 problemas-resueltos-de-conjuntos
14003263 problemas-resueltos-de-conjuntos
 
Modus Ponendo Ponens
Modus Ponendo PonensModus Ponendo Ponens
Modus Ponendo Ponens
 
Modus Tollendo y Modus Ponendo
Modus Tollendo y Modus PonendoModus Tollendo y Modus Ponendo
Modus Tollendo y Modus Ponendo
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
conjuntos y subconjuntos
conjuntos y subconjuntosconjuntos y subconjuntos
conjuntos y subconjuntos
 

Similar a Tautologia y contraddicciones

Capítulo i logica
Capítulo i  logicaCapítulo i  logica
Capítulo i logica
lemonroy
 

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
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Logicamatematica herney guzman
Logicamatematica herney guzmanLogicamatematica herney guzman
Logicamatematica herney guzman
 
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
 

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

Las Preguntas Educativas entran a las Aulas CIAESA Ccesa007.pdf
Las Preguntas Educativas entran a las Aulas CIAESA  Ccesa007.pdfLas Preguntas Educativas entran a las Aulas CIAESA  Ccesa007.pdf
Las Preguntas Educativas entran a las Aulas CIAESA Ccesa007.pdf
Demetrio Ccesa Rayme
 
Estrategia Nacional de Refuerzo Escolar SJA Ccesa007.pdf
Estrategia Nacional de Refuerzo Escolar  SJA  Ccesa007.pdfEstrategia Nacional de Refuerzo Escolar  SJA  Ccesa007.pdf
Estrategia Nacional de Refuerzo Escolar SJA Ccesa007.pdf
Demetrio Ccesa Rayme
 
Bitacora de Inteligencia Artificial y Herramientas Digitales HD4 Ccesa007.pdf
Bitacora de Inteligencia Artificial  y Herramientas Digitales HD4  Ccesa007.pdfBitacora de Inteligencia Artificial  y Herramientas Digitales HD4  Ccesa007.pdf
Bitacora de Inteligencia Artificial y Herramientas Digitales HD4 Ccesa007.pdf
Demetrio Ccesa Rayme
 

Último (20)

04.UNIDAD DE APRENDIZAJE III CICLO-Cuidamos nuestro medioambiente (1).docx
04.UNIDAD DE APRENDIZAJE III CICLO-Cuidamos nuestro medioambiente (1).docx04.UNIDAD DE APRENDIZAJE III CICLO-Cuidamos nuestro medioambiente (1).docx
04.UNIDAD DE APRENDIZAJE III CICLO-Cuidamos nuestro medioambiente (1).docx
 
Las Preguntas Educativas entran a las Aulas CIAESA Ccesa007.pdf
Las Preguntas Educativas entran a las Aulas CIAESA  Ccesa007.pdfLas Preguntas Educativas entran a las Aulas CIAESA  Ccesa007.pdf
Las Preguntas Educativas entran a las Aulas CIAESA Ccesa007.pdf
 
TÉCNICAS OBSERVACIONALES Y TEXTUALES.pdf
TÉCNICAS OBSERVACIONALES Y TEXTUALES.pdfTÉCNICAS OBSERVACIONALES Y TEXTUALES.pdf
TÉCNICAS OBSERVACIONALES Y TEXTUALES.pdf
 
Revista Faro Normalista 6, 18 de mayo 2024
Revista Faro Normalista 6, 18 de mayo 2024Revista Faro Normalista 6, 18 de mayo 2024
Revista Faro Normalista 6, 18 de mayo 2024
 
Gran Final Campeonato Nacional Escolar Liga Las Torres 2017.pdf
Gran Final Campeonato Nacional Escolar Liga Las Torres 2017.pdfGran Final Campeonato Nacional Escolar Liga Las Torres 2017.pdf
Gran Final Campeonato Nacional Escolar Liga Las Torres 2017.pdf
 
El liderazgo en la empresa sostenible, introducción, definición y ejemplo.
El liderazgo en la empresa sostenible, introducción, definición y ejemplo.El liderazgo en la empresa sostenible, introducción, definición y ejemplo.
El liderazgo en la empresa sostenible, introducción, definición y ejemplo.
 
Tema 9. Roma. 1º ESO 2014. Ciencias SOciales
Tema 9. Roma. 1º ESO 2014. Ciencias SOcialesTema 9. Roma. 1º ESO 2014. Ciencias SOciales
Tema 9. Roma. 1º ESO 2014. Ciencias SOciales
 
Diapositivas unidad de trabajo 7 sobre Coloración temporal y semipermanente
Diapositivas unidad de trabajo 7 sobre Coloración temporal y semipermanenteDiapositivas unidad de trabajo 7 sobre Coloración temporal y semipermanente
Diapositivas unidad de trabajo 7 sobre Coloración temporal y semipermanente
 
Santa Criz de Eslava, la más monumental de las ciudades romanas de Navarra
Santa Criz de Eslava, la más monumental de las ciudades romanas de NavarraSanta Criz de Eslava, la más monumental de las ciudades romanas de Navarra
Santa Criz de Eslava, la más monumental de las ciudades romanas de Navarra
 
Realitat o fake news? – Què causa el canvi climàtic? - Modificacions dels pat...
Realitat o fake news? – Què causa el canvi climàtic? - Modificacions dels pat...Realitat o fake news? – Què causa el canvi climàtic? - Modificacions dels pat...
Realitat o fake news? – Què causa el canvi climàtic? - Modificacions dels pat...
 
EFEMERIDES DEL MES DE MAYO PERIODICO MURAL.pdf
EFEMERIDES DEL MES DE MAYO PERIODICO MURAL.pdfEFEMERIDES DEL MES DE MAYO PERIODICO MURAL.pdf
EFEMERIDES DEL MES DE MAYO PERIODICO MURAL.pdf
 
TEMA EGIPTO.pdf. Presentación civilización
TEMA EGIPTO.pdf. Presentación civilizaciónTEMA EGIPTO.pdf. Presentación civilización
TEMA EGIPTO.pdf. Presentación civilización
 
Proyecto de Participación Estudiantil Completo - Bachillerato Ecuador
Proyecto de Participación Estudiantil Completo - Bachillerato EcuadorProyecto de Participación Estudiantil Completo - Bachillerato Ecuador
Proyecto de Participación Estudiantil Completo - Bachillerato Ecuador
 
MINEDU BASES JUEGOS ESCOLARES DEPORTIVOS PARADEPORTIVOS 2024.docx
MINEDU BASES JUEGOS ESCOLARES DEPORTIVOS PARADEPORTIVOS 2024.docxMINEDU BASES JUEGOS ESCOLARES DEPORTIVOS PARADEPORTIVOS 2024.docx
MINEDU BASES JUEGOS ESCOLARES DEPORTIVOS PARADEPORTIVOS 2024.docx
 
a propósito del estado su relevancia y definiciones
a propósito del estado su relevancia y definicionesa propósito del estado su relevancia y definiciones
a propósito del estado su relevancia y definiciones
 
Estrategia Nacional de Refuerzo Escolar SJA Ccesa007.pdf
Estrategia Nacional de Refuerzo Escolar  SJA  Ccesa007.pdfEstrategia Nacional de Refuerzo Escolar  SJA  Ccesa007.pdf
Estrategia Nacional de Refuerzo Escolar SJA Ccesa007.pdf
 
flujo de materia y energía ecosistemas.
flujo de materia y  energía ecosistemas.flujo de materia y  energía ecosistemas.
flujo de materia y energía ecosistemas.
 
ACERTIJO CÁLCULOS MATEMÁGICOS EN LA CARRERA OLÍMPICA. Por JAVIER SOLIS NOYOLA
ACERTIJO CÁLCULOS MATEMÁGICOS EN LA CARRERA OLÍMPICA. Por JAVIER SOLIS NOYOLAACERTIJO CÁLCULOS MATEMÁGICOS EN LA CARRERA OLÍMPICA. Por JAVIER SOLIS NOYOLA
ACERTIJO CÁLCULOS MATEMÁGICOS EN LA CARRERA OLÍMPICA. Por JAVIER SOLIS NOYOLA
 
Los caminos del saber matematicas 7°.pdf
Los caminos del saber matematicas 7°.pdfLos caminos del saber matematicas 7°.pdf
Los caminos del saber matematicas 7°.pdf
 
Bitacora de Inteligencia Artificial y Herramientas Digitales HD4 Ccesa007.pdf
Bitacora de Inteligencia Artificial  y Herramientas Digitales HD4  Ccesa007.pdfBitacora de Inteligencia Artificial  y Herramientas Digitales HD4  Ccesa007.pdf
Bitacora de Inteligencia Artificial y Herramientas Digitales HD4 Ccesa007.pdf
 

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