SlideShare una empresa de Scribd logo
1 de 10
 1. Parte de la filosofía que estudia las formas y principios
generales que rigen el conocimiento y el pensamiento
humano, considerado puramente en sí mismo, sin
referencia a los objetos.
 2. Método o razonamiento en el que las ideas o la sucesión
de los hechos se manifiestan o se desarrollan de forma
coherente y sin que haya contradicciones entre ellas.
 3. Modo o manera particular de pensar, de ver, de razonar
o de actuar que se considera coherente, racional o de
sentido común.
 Discretas : es aquella cuyos medios no son
iguales EJ: 9-7-8-6.
 Continua : es la que tiene los medios iguales
EJ: 10-8-8-6.
 Los conectivos lógicos son símbolos usados para
combinar proposiciones simples dadas,
produciendo así otras llamadas proposiciones
compuestas.
 Los conectivos lógicos que usaremos son
 negación
 disyunción
 conjunción
 condicionante
 bicondicionante
 Las Proposiciones Condicionales expresan la
condición necesaria para que tenga efecto lo que
indica la oración principal; ésta indica la causa o
efecto de tal condición.
 EJEMPLOS:
 1.Me alegraría mucho, si me acompañaras.
 2.Si quieres, paso por ti a las seis.
 3.Te llevaré al baile; si me prometes ser puntual.
 4.Si pones atención, aprenderás más pronto.
 5.Podría llevar dos materias, si asisto por las
tardes.
 es una proposición de la forma «P si y solo si Q» y se
admite el bicondicional Sergio es verdadero en el caso de
que ambos componentes tengan el mismo valor vertitativo.
En otras palabras, que si P ocurre entonces también ocurre
Q; y viceversa: si Q ocurre entonces también ocurre P.
 Ejemplos:
 La primera proposición es correcta, puesto que es
imposible tener el carnet de conducir siendo menor de 18
años. Por tanto, si se tiene el carnet, se tiene que ser
obligatoriamente mayor de edad.
 La segunda es incorrecta, puesto que la relación entre
"tener el carnet de conducir" y "ser mayor de edad" no es
bicondicional. Dicho de otro modo: se puede ser mayor de
edad sin tener el carnet de conducir.
 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.
 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.
 1.Ley de doble negación: Dentro de un sistema de lógica
clásica, la doble negación, esto es, la negación de la
negación de una proposición p, es lógicamente equivalente
a p. Expresado simbólicamente, ¬(¬p) ⇔ p. En lógica
intuicionista, una proposición implica su doble negación,
pero no al revés. Esto marca una importante diferencia
entre la negación clásica e intuicionista. Algebraicamente,
la negación clásica es llamada una involución de periodo
dos.
 2. Leyes de idempotencia: En matemática y lógica, la
idempotencia es la propiedad para realizar una acción
determinada varias veces y aun así conseguir el mismo
resultado que se obtendría si se realizase una sola vez. Un
elemento que cumple esta propiedad es un elemento
idempotente, o un idempotente. De esta manera, si un
elemento al multiplicarse por sí mismo sucesivas veces da
él mismo, este elemento es idempotente.
 En matemáticas, una demostración o bien una prueba
es un argumento deductivo para asegurar la verdad
de una proposición matemática. En la argumentación
se pueden usar otras afirmaciones previamente
establecidas, tales como teoremas o bien las
afirmaciones iniciales o axiomas. En principio una
demostración se puede rastrear hasta afirmaciones
generalmente aceptadas, conocidas como axiomas.
Las demostraciones son ejemplos de razonamiento
deductivo y se distinguen de argumentos inductivos o
empíricos; una demostración debe demostrar que una
afirmación es siempre verdadera (ocasionalmente al
listar todos los casos posibles y mostrar que es válida
en cada uno), más que enumerar muchos casos
confirmatorios. Una afirmación no probada que se
cree verdadera se conoce como conjetura.
 Una tabla de verdad, o tabla de valores de
verdad, es una tabla que muestra el valor de
verdad de una proposición compuesta, para cada
combinación de verdad que se pueda asignar.
Fue desarrollada por Charles Sanders Peirce por
los años 1880, pero el formato más popular es el
que introdujo Ludwig Wittgenstein en su
Tractatus logico-philosophicus, publicado en
1921.

Más contenido relacionado

La actualidad más candente

Logica contenido y modulo 1
Logica contenido y modulo 1Logica contenido y modulo 1
Logica contenido y modulo 1arquitectura5
 
El Razonamiento y los Metodos
El Razonamiento y los MetodosEl Razonamiento y los Metodos
El Razonamiento y los MetodosYuliana Duron
 
Sesión 1 argumentación jurídica. clases de argumentos y falacias. sesión 1
Sesión 1 argumentación jurídica. clases de argumentos y falacias. sesión 1Sesión 1 argumentación jurídica. clases de argumentos y falacias. sesión 1
Sesión 1 argumentación jurídica. clases de argumentos y falacias. sesión 1aalcalar
 
El argumento y la logica
El argumento y la logicaEl argumento y la logica
El argumento y la logicaBlog Demiurgo
 
Matemática I parte 2
Matemática I  parte 2Matemática I  parte 2
Matemática I parte 2enzo1424
 
Falacia (logica juridica) dionaily
Falacia (logica juridica) dionailyFalacia (logica juridica) dionaily
Falacia (logica juridica) dionailyMaribel Montilla
 
La logica y el argumento
La logica y el argumentoLa logica y el argumento
La logica y el argumentoPablo C
 
Estructura Argumental
Estructura ArgumentalEstructura Argumental
Estructura ArgumentalSaúl Qc
 
Tecnicas de programación
Tecnicas de programaciónTecnicas de programación
Tecnicas de programaciónsandyx17
 
Argumentos lógicos y convincentes
Argumentos lógicos y convincentesArgumentos lógicos y convincentes
Argumentos lógicos y convincentesfrinem
 
Presentación1
Presentación1Presentación1
Presentación1Jose Yepiz
 
Logica 2
Logica 2Logica 2
Logica 2untecs
 
El silogismo
El silogismoEl silogismo
El silogismotherata
 

La actualidad más candente (20)

Logica contenido y modulo 1
Logica contenido y modulo 1Logica contenido y modulo 1
Logica contenido y modulo 1
 
El Razonamiento y los Metodos
El Razonamiento y los MetodosEl Razonamiento y los Metodos
El Razonamiento y los Metodos
 
Sesión 1 argumentación jurídica. clases de argumentos y falacias. sesión 1
Sesión 1 argumentación jurídica. clases de argumentos y falacias. sesión 1Sesión 1 argumentación jurídica. clases de argumentos y falacias. sesión 1
Sesión 1 argumentación jurídica. clases de argumentos y falacias. sesión 1
 
El argumento y la logica
El argumento y la logicaEl argumento y la logica
El argumento y la logica
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Matemática I parte 2
Matemática I  parte 2Matemática I  parte 2
Matemática I parte 2
 
Relacion de equivalencia
Relacion de equivalenciaRelacion de equivalencia
Relacion de equivalencia
 
Lógica
LógicaLógica
Lógica
 
Falacia (logica juridica) dionaily
Falacia (logica juridica) dionailyFalacia (logica juridica) dionaily
Falacia (logica juridica) dionaily
 
La logica y el argumento
La logica y el argumentoLa logica y el argumento
La logica y el argumento
 
Estructura Argumental
Estructura ArgumentalEstructura Argumental
Estructura Argumental
 
Argumentos lógicos
Argumentos lógicosArgumentos lógicos
Argumentos lógicos
 
Lógica jurídica argumentos
Lógica jurídica   argumentosLógica jurídica   argumentos
Lógica jurídica argumentos
 
Tecnicas de programación
Tecnicas de programaciónTecnicas de programación
Tecnicas de programación
 
Argumentos lógicos y convincentes
Argumentos lógicos y convincentesArgumentos lógicos y convincentes
Argumentos lógicos y convincentes
 
metodos de investigacion
metodos de investigacionmetodos de investigacion
metodos de investigacion
 
Lógica jurídica la argumentación
Lógica jurídica   la argumentaciónLógica jurídica   la argumentación
Lógica jurídica la argumentación
 
Presentación1
Presentación1Presentación1
Presentación1
 
Logica 2
Logica 2Logica 2
Logica 2
 
El silogismo
El silogismoEl silogismo
El silogismo
 

Similar a Proyecto

Logica matematica modalidad
Logica matematica modalidad Logica matematica modalidad
Logica matematica modalidad adrianaolivera322
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematicaMaria_Olave
 
Trabajo de logica matematica modalidad.
Trabajo de logica matematica modalidad.Trabajo de logica matematica modalidad.
Trabajo de logica matematica modalidad.olave_julian
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematicaFabian_Figueroa
 
Sistema de hipótesis
Sistema de hipótesisSistema de hipótesis
Sistema de hipótesisJren21
 
Cuestionario metodología de la investigación
Cuestionario metodología de la investigaciónCuestionario metodología de la investigación
Cuestionario metodología de la investigaciónraulvanegas28
 
Estructura Discreta I
Estructura Discreta IEstructura Discreta I
Estructura Discreta Ih3ctorgb
 
Logica de predicadoss
Logica de predicadossLogica de predicadoss
Logica de predicadossjfct2012
 
Hipotesis, tesis alcances generales para ingenieria civil.pptx
Hipotesis, tesis alcances generales para ingenieria civil.pptxHipotesis, tesis alcances generales para ingenieria civil.pptx
Hipotesis, tesis alcances generales para ingenieria civil.pptxDanteHartmanCiezaLeo1
 
Leyes del álgebra de proposiciones.
Leyes del álgebra de proposiciones.Leyes del álgebra de proposiciones.
Leyes del álgebra de proposiciones.Daniel Molinet
 
Por qué es importarnte argumentar correctamente
Por qué es importarnte argumentar correctamentePor qué es importarnte argumentar correctamente
Por qué es importarnte argumentar correctamente101415
 

Similar a Proyecto (20)

Logica matematica modalidad
Logica matematica modalidad Logica matematica modalidad
Logica matematica modalidad
 
2022_+Repartido+lógica.pdf
2022_+Repartido+lógica.pdf2022_+Repartido+lógica.pdf
2022_+Repartido+lógica.pdf
 
Los principios logicos
Los principios logicosLos principios logicos
Los principios logicos
 
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.
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematica
 
Sistema de hipótesis
Sistema de hipótesisSistema de hipótesis
Sistema de hipótesis
 
El razonamiento
El razonamientoEl razonamiento
El razonamiento
 
Cuestionario metodología de la investigación
Cuestionario metodología de la investigaciónCuestionario metodología de la investigación
Cuestionario metodología de la investigación
 
Trabajo de filosofía 2
Trabajo de filosofía 2Trabajo de filosofía 2
Trabajo de filosofía 2
 
Estructura Discreta I
Estructura Discreta IEstructura Discreta I
Estructura Discreta I
 
Logica de predicadoss
Logica de predicadossLogica de predicadoss
Logica de predicadoss
 
Hipótesis
HipótesisHipótesis
Hipótesis
 
Hipótesis
HipótesisHipótesis
Hipótesis
 
Hipotesis trabajo
Hipotesis trabajoHipotesis trabajo
Hipotesis trabajo
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Hipotesis, tesis alcances generales para ingenieria civil.pptx
Hipotesis, tesis alcances generales para ingenieria civil.pptxHipotesis, tesis alcances generales para ingenieria civil.pptx
Hipotesis, tesis alcances generales para ingenieria civil.pptx
 
Leyes del álgebra de proposiciones.
Leyes del álgebra de proposiciones.Leyes del álgebra de proposiciones.
Leyes del álgebra de proposiciones.
 
Por qué es importarnte argumentar correctamente
Por qué es importarnte argumentar correctamentePor qué es importarnte argumentar correctamente
Por qué es importarnte argumentar correctamente
 

Último

el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyzel CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyzprofefilete
 
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...fcastellanos3
 
Cuadernillo de las sílabas trabadas.pdf
Cuadernillo de las sílabas trabadas.pdfCuadernillo de las sílabas trabadas.pdf
Cuadernillo de las sílabas trabadas.pdfBrandonsanchezdoming
 
Metabolismo 3: Anabolismo y Fotosíntesis 2024
Metabolismo 3: Anabolismo y Fotosíntesis 2024Metabolismo 3: Anabolismo y Fotosíntesis 2024
Metabolismo 3: Anabolismo y Fotosíntesis 2024IES Vicent Andres Estelles
 
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptxPPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptxOscarEduardoSanchezC
 
LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...
LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...
LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...JAVIER SOLIS NOYOLA
 
Plan Año Escolar Año Escolar 2023-2024. MPPE
Plan Año Escolar Año Escolar 2023-2024. MPPEPlan Año Escolar Año Escolar 2023-2024. MPPE
Plan Año Escolar Año Escolar 2023-2024. MPPELaura Chacón
 
Clasificaciones, modalidades y tendencias de investigación educativa.
Clasificaciones, modalidades y tendencias de investigación educativa.Clasificaciones, modalidades y tendencias de investigación educativa.
Clasificaciones, modalidades y tendencias de investigación educativa.José Luis Palma
 
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxOLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxjosetrinidadchavez
 
Informatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosInformatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosCesarFernandez937857
 
RETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxRETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxAna Fernandez
 
Procesos Didácticos en Educación Inicial .pptx
Procesos Didácticos en Educación Inicial .pptxProcesos Didácticos en Educación Inicial .pptx
Procesos Didácticos en Educación Inicial .pptxMapyMerma1
 
EXPECTATIVAS vs PERSPECTIVA en la vida.
EXPECTATIVAS vs PERSPECTIVA  en la vida.EXPECTATIVAS vs PERSPECTIVA  en la vida.
EXPECTATIVAS vs PERSPECTIVA en la vida.DaluiMonasterio
 
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptxSINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptxlclcarmen
 

Último (20)

Repaso Pruebas CRECE PR 2024. Ciencia General
Repaso Pruebas CRECE PR 2024. Ciencia GeneralRepaso Pruebas CRECE PR 2024. Ciencia General
Repaso Pruebas CRECE PR 2024. Ciencia General
 
Power Point: "Defendamos la verdad".pptx
Power Point: "Defendamos la verdad".pptxPower Point: "Defendamos la verdad".pptx
Power Point: "Defendamos la verdad".pptx
 
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyzel CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
 
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...
 
Cuadernillo de las sílabas trabadas.pdf
Cuadernillo de las sílabas trabadas.pdfCuadernillo de las sílabas trabadas.pdf
Cuadernillo de las sílabas trabadas.pdf
 
Metabolismo 3: Anabolismo y Fotosíntesis 2024
Metabolismo 3: Anabolismo y Fotosíntesis 2024Metabolismo 3: Anabolismo y Fotosíntesis 2024
Metabolismo 3: Anabolismo y Fotosíntesis 2024
 
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptxPPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
 
LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...
LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...
LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...
 
Plan Año Escolar Año Escolar 2023-2024. MPPE
Plan Año Escolar Año Escolar 2023-2024. MPPEPlan Año Escolar Año Escolar 2023-2024. MPPE
Plan Año Escolar Año Escolar 2023-2024. MPPE
 
Clasificaciones, modalidades y tendencias de investigación educativa.
Clasificaciones, modalidades y tendencias de investigación educativa.Clasificaciones, modalidades y tendencias de investigación educativa.
Clasificaciones, modalidades y tendencias de investigación educativa.
 
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxOLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
 
Tema 7.- E-COMMERCE SISTEMAS DE INFORMACION.pdf
Tema 7.- E-COMMERCE SISTEMAS DE INFORMACION.pdfTema 7.- E-COMMERCE SISTEMAS DE INFORMACION.pdf
Tema 7.- E-COMMERCE SISTEMAS DE INFORMACION.pdf
 
Informatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosInformatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos Básicos
 
Defendamos la verdad. La defensa es importante.
Defendamos la verdad. La defensa es importante.Defendamos la verdad. La defensa es importante.
Defendamos la verdad. La defensa es importante.
 
RETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxRETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docx
 
Procesos Didácticos en Educación Inicial .pptx
Procesos Didácticos en Educación Inicial .pptxProcesos Didácticos en Educación Inicial .pptx
Procesos Didácticos en Educación Inicial .pptx
 
Sesión de clase: Defendamos la verdad.pdf
Sesión de clase: Defendamos la verdad.pdfSesión de clase: Defendamos la verdad.pdf
Sesión de clase: Defendamos la verdad.pdf
 
EXPECTATIVAS vs PERSPECTIVA en la vida.
EXPECTATIVAS vs PERSPECTIVA  en la vida.EXPECTATIVAS vs PERSPECTIVA  en la vida.
EXPECTATIVAS vs PERSPECTIVA en la vida.
 
La Trampa De La Felicidad. Russ-Harris.pdf
La Trampa De La Felicidad. Russ-Harris.pdfLa Trampa De La Felicidad. Russ-Harris.pdf
La Trampa De La Felicidad. Russ-Harris.pdf
 
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptxSINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
 

Proyecto

  • 1.
  • 2.  1. Parte de la filosofía que estudia las formas y principios generales que rigen el conocimiento y el pensamiento humano, considerado puramente en sí mismo, sin referencia a los objetos.  2. Método o razonamiento en el que las ideas o la sucesión de los hechos se manifiestan o se desarrollan de forma coherente y sin que haya contradicciones entre ellas.  3. Modo o manera particular de pensar, de ver, de razonar o de actuar que se considera coherente, racional o de sentido común.
  • 3.  Discretas : es aquella cuyos medios no son iguales EJ: 9-7-8-6.  Continua : es la que tiene los medios iguales EJ: 10-8-8-6.
  • 4.  Los conectivos lógicos son símbolos usados para combinar proposiciones simples dadas, produciendo así otras llamadas proposiciones compuestas.  Los conectivos lógicos que usaremos son  negación  disyunción  conjunción  condicionante  bicondicionante
  • 5.  Las Proposiciones Condicionales expresan la condición necesaria para que tenga efecto lo que indica la oración principal; ésta indica la causa o efecto de tal condición.  EJEMPLOS:  1.Me alegraría mucho, si me acompañaras.  2.Si quieres, paso por ti a las seis.  3.Te llevaré al baile; si me prometes ser puntual.  4.Si pones atención, aprenderás más pronto.  5.Podría llevar dos materias, si asisto por las tardes.
  • 6.  es una proposición de la forma «P si y solo si Q» y se admite el bicondicional Sergio es verdadero en el caso de que ambos componentes tengan el mismo valor vertitativo. En otras palabras, que si P ocurre entonces también ocurre Q; y viceversa: si Q ocurre entonces también ocurre P.  Ejemplos:  La primera proposición es correcta, puesto que es imposible tener el carnet de conducir siendo menor de 18 años. Por tanto, si se tiene el carnet, se tiene que ser obligatoriamente mayor de edad.  La segunda es incorrecta, puesto que la relación entre "tener el carnet de conducir" y "ser mayor de edad" no es bicondicional. Dicho de otro modo: se puede ser mayor de edad sin tener el carnet de conducir.
  • 7.  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.  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.
  • 8.  1.Ley de doble negación: Dentro de un sistema de lógica clásica, la doble negación, esto es, la negación de la negación de una proposición p, es lógicamente equivalente a p. Expresado simbólicamente, ¬(¬p) ⇔ p. En lógica intuicionista, una proposición implica su doble negación, pero no al revés. Esto marca una importante diferencia entre la negación clásica e intuicionista. Algebraicamente, la negación clásica es llamada una involución de periodo dos.  2. Leyes de idempotencia: En matemática y lógica, la idempotencia es la propiedad para realizar una acción determinada varias veces y aun así conseguir el mismo resultado que se obtendría si se realizase una sola vez. Un elemento que cumple esta propiedad es un elemento idempotente, o un idempotente. De esta manera, si un elemento al multiplicarse por sí mismo sucesivas veces da él mismo, este elemento es idempotente.
  • 9.  En matemáticas, una demostración o bien una prueba es un argumento deductivo para asegurar la verdad de una proposición matemática. En la argumentación se pueden usar otras afirmaciones previamente establecidas, tales como teoremas o bien las afirmaciones iniciales o axiomas. En principio una demostración se puede rastrear hasta afirmaciones generalmente aceptadas, conocidas como axiomas. Las demostraciones son ejemplos de razonamiento deductivo y se distinguen de argumentos inductivos o empíricos; una demostración debe demostrar que una afirmación es siempre verdadera (ocasionalmente al listar todos los casos posibles y mostrar que es válida en cada uno), más que enumerar muchos casos confirmatorios. Una afirmación no probada que se cree verdadera se conoce como conjetura.
  • 10.  Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de verdad que se pueda asignar. Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato más popular es el que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus, publicado en 1921.