SlideShare una empresa de Scribd logo
1 de 13
Descargar para leer sin conexión
LÓGICA PROPOSICIONAL
PEDRO JOSÉ GALLEGO TEJADA
Tabla de Contenidos
1.Introducción
2.Objetivos
3.Contenido
Introducción
En el siglo pasado, nuevos aportes dieron lugar a un desarrollo intensivo de la lógica,
que sufrió una transformación completa y adoptó un carácter semejante al de una
disciplina matemática. Nació así una nueva lógica, llamada también lógica matemática,
formal, deductiva o simbólica La lógica formal, considerada como el estudio de
operaciones con símbolos apropiados, debe ubicarse en el álgebra como un capítulo
especial; aparece entonces como una parte de la matemática. Los capítulos más
importantes de esta ciencia son: el cálculo proposicional, la teoría de la identidad, teoría
de las clases y teoría de las relaciones. (Tomado de: Sanguedolce, Josefa. Ibarra de Gómez, Josefa. De Ger, S. (2006). E-Book
ISBN978-987-1676-32-3. https://fcf.unse.edu.ar/archivos/series-didacticas/sd-19-Logica-preposicional.pdf
Objetivos
Reconocer los elementos básicos de la lógica proposicional y de las distintas operaciones lógicas
que con ellos podemos efectuar, como asimismo a su representación simbólica.
Construir tablas de verdad para comprobar Tautologia, Contradicciones y Falacias.
Lógica Proposicional
La lógica es la ciencia que estudia los métodos
y principios usados para distinguir el
razonamiento correcto del incorrecto.
¡Hemos visto tus
presentaciones! Y sabemos
que le incluyes mucho
contenido a las diapositivas.
¡Sé breve! La diapositiva debe
ser solo un apoyo.
Proposición Lógica
• Una proposición lógica es aquella en la que se puede
definir su valor de verdad o de falsedad, pero nunca
los dos simultáneamente. Las premisas se
representan por las letras: p, q, r,…,z
• Ejemplos:
• 3 es un número primo
• Todos los días llueve
• La función lineal tiene como gráfico una línea recta.
Los valores de verdad de una premisa lógica se obtienen
a partir de la ecuación: 2!
Tomado de: https://n9.cl/4and
Contenido
• SIMPLES
Son aquellas que tienen una sola premisa lógica.
Ejemplos:
La tierra es redonda.
Martha llegó tarde.
• COMPUESTAS
Son aquellas que tienen más de una premisa lógica.
Ejemplos:
Viajaré a Calí o a Medellín.
Si realizo todas las actividades, entonces obtendré una nota favorable.
Tipos de Proposiciones
Conectores Lógicos
Son los elementos lógicos que permiten relacionar dos premisas
simples en una proposición lógica.
Conjunción
Se denota por el símbolo “ᴧ” p ᴧ q y se
lee: p y q
Ejemplo: Voy a cine y veo la película.
Conectores Lógicos
Son los elementos lógicos que permiten relacionar dos premisas
simples en una proposición lógica.
Disjunción
Se denota por el símbolo “v” p v q y se
lee: p o q
Ejemplo: Voy a cine o a teatro.
Conectores Lógicos
Son los elementos lógicos que permiten relacionar dos premisas
simples en una proposición lógica.
Condicional
Se denota por el símbolo “→” p → q y
se lee: Si p entonces q
Ejemplo: Si Voy a cine entonces veo la
película.
Conectores Lógicos
Son los elementos lógicos que permiten relacionar dos premisas
simples en una proposición lógica.
Bicondicional
Se denota por el símbolo “↔” p↔q y
se lee: p si y solo si q
Ejemplo: Voy a cine si solo si veo la
película.
Conectores Lógicos
Son los elementos lógicos que permiten relacionar dos premisas
simples en una proposición lógica.
Negación
Se denota por el símbolo “~” ~p se
lee: No p
Ejemplo: no voy a cine.
Leyes Lógicas
Idempotencia
Doble negación
Conmutativa
Asociativa
Distributiva
Condicional
Bicondicional
Absorción
De Morgan
Identidad
Complemento
LEYES LÓGICAS
C=Tautología y C=Contradicción
! ∧ ! ⇔ !
! ∨ ! ⇔ !
~(~!) ⇔ !
! ∧ ! ⇔ ( ∧ !
! ∨ ! ⇔ ( ∨ !
(! ∧ () ∧ ) ⇔ ! ∧ (( ∧ ))
(! ∨ () ∨ ) ⇔ ! ∨ (( ∨ ))
(! ⟷ () ⟷ ) ⇔ ! ⟷ (( ⟷ !)
! ∧ (( ∨ )) ⇔ (! ∧ () ∨ (! ∧ ))
(! ∨ )) ∧ ! ⇔ (( ∧ !) ∨ () ∧ !)
! ∨ (( ∧ )) ⇔ (! ∨ () ∧ (! ∨ ))
(( ∨ )) ∨ ! ⇔ (( ∨ !) ∧ () ∨ !)
! ⟶ ( ⇔ ~! ∨ (
~(! ⟶ () ⇔ ! ∧ ~(
! ⇔ ( ≅ ! ⟶ ( ∧ ( ⟶ !
! ⇔ ( ≅ ! ∧ ( ∨ ~! ∧ ~(
! ⇔ ( ≅ ! ⟶ ( ∧ ( ⟶ !
! ∧ (! ∨ () ⇔ !
! ∧ (~! ∨ () ⇔ ! ∧ (
! ∨ (! ∧ () ⇔ !
! ∨ (~! ∧ () ⇔ ! ∨q
~ ! ∧ ( ⇔ ~! ∨ ~(
~(! ∨ () ⇔ ~! ∧ ~(
P∧ . ⇔ /
P ∧ 0 ⇔ 0
P∨ . ⇔ /
P ∨ 0 ⇔ /
P∧ ~/ ⇔ 0
P∨ ~/ ⇔ .
~T ⇔ 0
~0 ⇔ .
Logica proposicional

Más contenido relacionado

La actualidad más candente

LÓGICA PROPOSICIONAL: Conceptos Generales
 LÓGICA PROPOSICIONAL: Conceptos Generales LÓGICA PROPOSICIONAL: Conceptos Generales
LÓGICA PROPOSICIONAL: Conceptos Generales
Pacheco Huarotto, Luis
 
Proposiciones y su clasificación
Proposiciones y su clasificaciónProposiciones y su clasificación
Proposiciones y su clasificación
angiegutierrez11
 
Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicional
Mariexis Cova
 
LOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL IILOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL II
valefrey1
 
Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]
Henry Villalba
 

La actualidad más candente (19)

Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
OPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: PrácticaOPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: Práctica
 
LÓGICA PROPOSICIONAL: Conceptos Generales
 LÓGICA PROPOSICIONAL: Conceptos Generales LÓGICA PROPOSICIONAL: Conceptos Generales
LÓGICA PROPOSICIONAL: Conceptos Generales
 
Sesión N°2 Lógica PPS Unimet
Sesión N°2 Lógica PPS UnimetSesión N°2 Lógica PPS Unimet
Sesión N°2 Lógica PPS Unimet
 
Lógica proposicional si
Lógica proposicional siLógica proposicional si
Lógica proposicional si
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Proposiciones y su clasificación
Proposiciones y su clasificaciónProposiciones y su clasificación
Proposiciones y su clasificación
 
D05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones CompuestasD05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones Compuestas
 
LóGica Proposicional
LóGica ProposicionalLóGica Proposicional
LóGica Proposicional
 
Taller2 Logica Proposicional
Taller2 Logica ProposicionalTaller2 Logica Proposicional
Taller2 Logica Proposicional
 
Introduccion a la logica simbolica
Introduccion a la logica simbolicaIntroduccion a la logica simbolica
Introduccion a la logica simbolica
 
Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicional
 
Taller logica conjuntos (2)
Taller logica conjuntos (2)Taller logica conjuntos (2)
Taller logica conjuntos (2)
 
Fundamentos de la Lógica
Fundamentos de la LógicaFundamentos de la Lógica
Fundamentos de la Lógica
 
LOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL IILOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL II
 
Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]
 
Logica proposiciones
Logica   proposicionesLogica   proposiciones
Logica proposiciones
 
Enunciado Y Proposición
Enunciado Y ProposiciónEnunciado Y Proposición
Enunciado Y Proposición
 
1 enunciados y proposiciones 6
1 enunciados y proposiciones 61 enunciados y proposiciones 6
1 enunciados y proposiciones 6
 

Similar a Logica proposicional

Estructuras discretas unidad1
Estructuras discretas unidad1Estructuras discretas unidad1
Estructuras discretas unidad1
ysaacura
 
Razonamiento logico y. proposicional.pdf
Razonamiento logico y. proposicional.pdfRazonamiento logico y. proposicional.pdf
Razonamiento logico y. proposicional.pdf
yaan7682019
 
3ARITMÉTICA_ALGEBRA_2020III.pdf
3ARITMÉTICA_ALGEBRA_2020III.pdf3ARITMÉTICA_ALGEBRA_2020III.pdf
3ARITMÉTICA_ALGEBRA_2020III.pdf
YaviQ
 

Similar a Logica proposicional (20)

1 LOGICA MATEMÁTICA.pptx
1 LOGICA MATEMÁTICA.pptx1 LOGICA MATEMÁTICA.pptx
1 LOGICA MATEMÁTICA.pptx
 
Lógica 2º
Lógica 2ºLógica 2º
Lógica 2º
 
Trabajo logica matemaica
Trabajo logica matemaicaTrabajo logica matemaica
Trabajo logica matemaica
 
El conocimiento colectivo desde un punto de vista lógico
El conocimiento colectivo desde un punto de vista lógicoEl conocimiento colectivo desde un punto de vista lógico
El conocimiento colectivo desde un punto de vista lógico
 
Algebra 1
Algebra 1Algebra 1
Algebra 1
 
Estructuras discretas unidad1
Estructuras discretas unidad1Estructuras discretas unidad1
Estructuras discretas unidad1
 
LÓGICA.pdf
LÓGICA.pdfLÓGICA.pdf
LÓGICA.pdf
 
logica.pdf
logica.pdflogica.pdf
logica.pdf
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Trabrecnot
TrabrecnotTrabrecnot
Trabrecnot
 
1 Lógica Proposicional.pptx
1 Lógica Proposicional.pptx1 Lógica Proposicional.pptx
1 Lógica Proposicional.pptx
 
Razonamiento logico y. proposicional.pdf
Razonamiento logico y. proposicional.pdfRazonamiento logico y. proposicional.pdf
Razonamiento logico y. proposicional.pdf
 
ESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETASESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETAS
 
1 Logica.pptx
1 Logica.pptx1 Logica.pptx
1 Logica.pptx
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
3ARITMÉTICA_ALGEBRA_2020III.pdf
3ARITMÉTICA_ALGEBRA_2020III.pdf3ARITMÉTICA_ALGEBRA_2020III.pdf
3ARITMÉTICA_ALGEBRA_2020III.pdf
 
3ARITMÉTICA_ALGEBRA_2020III (1).pdf
3ARITMÉTICA_ALGEBRA_2020III (1).pdf3ARITMÉTICA_ALGEBRA_2020III (1).pdf
3ARITMÉTICA_ALGEBRA_2020III (1).pdf
 
3ARITMÉTICA_ALGEBRA_2020III.pdf
3ARITMÉTICA_ALGEBRA_2020III.pdf3ARITMÉTICA_ALGEBRA_2020III.pdf
3ARITMÉTICA_ALGEBRA_2020III.pdf
 
3ARITMÉTICA_ALGEBRA_2020III.pdf
3ARITMÉTICA_ALGEBRA_2020III.pdf3ARITMÉTICA_ALGEBRA_2020III.pdf
3ARITMÉTICA_ALGEBRA_2020III.pdf
 
LogPro.pptx de logica proposional -analisis.
LogPro.pptx de logica proposional -analisis.LogPro.pptx de logica proposional -analisis.
LogPro.pptx de logica proposional -analisis.
 

Último

COMPENDIO ECE 5 GRADO MATEMÁTICAS DE PRIMARIA
COMPENDIO ECE 5 GRADO MATEMÁTICAS DE PRIMARIACOMPENDIO ECE 5 GRADO MATEMÁTICAS DE PRIMARIA
COMPENDIO ECE 5 GRADO MATEMÁTICAS DE PRIMARIA
Wilian24
 
Concepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptxConcepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptx
Fernando Solis
 
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
 

Último (20)

UNIDAD DIDACTICA nivel inicial EL SUPERMERCADO.docx
UNIDAD DIDACTICA nivel inicial EL SUPERMERCADO.docxUNIDAD DIDACTICA nivel inicial EL SUPERMERCADO.docx
UNIDAD DIDACTICA nivel inicial EL SUPERMERCADO.docx
 
COMPENDIO ECE 5 GRADO MATEMÁTICAS DE PRIMARIA
COMPENDIO ECE 5 GRADO MATEMÁTICAS DE PRIMARIACOMPENDIO ECE 5 GRADO MATEMÁTICAS DE PRIMARIA
COMPENDIO ECE 5 GRADO MATEMÁTICAS DE PRIMARIA
 
Programa dia de las madres para la convi
Programa dia de las madres para la conviPrograma dia de las madres para la convi
Programa dia de las madres para la convi
 
Concepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptxConcepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptx
 
Power Point E. S.: Los dos testigos.pptx
Power Point E. S.: Los dos testigos.pptxPower Point E. S.: Los dos testigos.pptx
Power Point E. S.: Los dos testigos.pptx
 
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
 
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESOPrueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
 
UNIDAD 3 -MAYO - IV CICLO para cuarto grado
UNIDAD 3 -MAYO - IV CICLO para cuarto gradoUNIDAD 3 -MAYO - IV CICLO para cuarto grado
UNIDAD 3 -MAYO - IV CICLO para cuarto grado
 
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.
 
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESOPrueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
 
FICHA CUENTO BUSCANDO UNA MAMÁ 2024 MAESTRA JANET.pdf
FICHA CUENTO BUSCANDO UNA MAMÁ  2024 MAESTRA JANET.pdfFICHA CUENTO BUSCANDO UNA MAMÁ  2024 MAESTRA JANET.pdf
FICHA CUENTO BUSCANDO UNA MAMÁ 2024 MAESTRA JANET.pdf
 
Novena de Pentecostés con textos de san Juan Eudes
Novena de Pentecostés con textos de san Juan EudesNovena de Pentecostés con textos de san Juan Eudes
Novena de Pentecostés con textos de san Juan Eudes
 
Planeacion para 1er Grado - (2023-2024)-1.docx
Planeacion para 1er Grado - (2023-2024)-1.docxPlaneacion para 1er Grado - (2023-2024)-1.docx
Planeacion para 1er Grado - (2023-2024)-1.docx
 
La Sostenibilidad Corporativa. Administración Ambiental
La Sostenibilidad Corporativa. Administración AmbientalLa Sostenibilidad Corporativa. Administración Ambiental
La Sostenibilidad Corporativa. Administración Ambiental
 
ACERTIJO LA RUTA DEL MARATÓN OLÍMPICO DEL NÚMERO PI EN PARÍS. Por JAVIER SOL...
ACERTIJO LA RUTA DEL MARATÓN OLÍMPICO DEL NÚMERO PI EN  PARÍS. Por JAVIER SOL...ACERTIJO LA RUTA DEL MARATÓN OLÍMPICO DEL NÚMERO PI EN  PARÍS. Por JAVIER SOL...
ACERTIJO LA RUTA DEL MARATÓN OLÍMPICO DEL NÚMERO PI EN PARÍS. Por JAVIER SOL...
 
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
 
La Evaluacion Formativa SM6 Ccesa007.pdf
La Evaluacion Formativa SM6  Ccesa007.pdfLa Evaluacion Formativa SM6  Ccesa007.pdf
La Evaluacion Formativa SM6 Ccesa007.pdf
 
POEMAS ILUSTRADOS DE LUÍSA VILLALTA. Elaborados polos alumnos de 4º PDC do IE...
POEMAS ILUSTRADOS DE LUÍSA VILLALTA. Elaborados polos alumnos de 4º PDC do IE...POEMAS ILUSTRADOS DE LUÍSA VILLALTA. Elaborados polos alumnos de 4º PDC do IE...
POEMAS ILUSTRADOS DE LUÍSA VILLALTA. Elaborados polos alumnos de 4º PDC do IE...
 
Tema 17. Biología de los microorganismos 2024
Tema 17. Biología de los microorganismos 2024Tema 17. Biología de los microorganismos 2024
Tema 17. Biología de los microorganismos 2024
 
PP_Comunicacion en Salud: Objetivación de signos y síntomas
PP_Comunicacion en Salud: Objetivación de signos y síntomasPP_Comunicacion en Salud: Objetivación de signos y síntomas
PP_Comunicacion en Salud: Objetivación de signos y síntomas
 

Logica proposicional

  • 3. Introducción En el siglo pasado, nuevos aportes dieron lugar a un desarrollo intensivo de la lógica, que sufrió una transformación completa y adoptó un carácter semejante al de una disciplina matemática. Nació así una nueva lógica, llamada también lógica matemática, formal, deductiva o simbólica La lógica formal, considerada como el estudio de operaciones con símbolos apropiados, debe ubicarse en el álgebra como un capítulo especial; aparece entonces como una parte de la matemática. Los capítulos más importantes de esta ciencia son: el cálculo proposicional, la teoría de la identidad, teoría de las clases y teoría de las relaciones. (Tomado de: Sanguedolce, Josefa. Ibarra de Gómez, Josefa. De Ger, S. (2006). E-Book ISBN978-987-1676-32-3. https://fcf.unse.edu.ar/archivos/series-didacticas/sd-19-Logica-preposicional.pdf
  • 4. Objetivos Reconocer los elementos básicos de la lógica proposicional y de las distintas operaciones lógicas que con ellos podemos efectuar, como asimismo a su representación simbólica. Construir tablas de verdad para comprobar Tautologia, Contradicciones y Falacias.
  • 5. Lógica Proposicional La lógica es la ciencia que estudia los métodos y principios usados para distinguir el razonamiento correcto del incorrecto. ¡Hemos visto tus presentaciones! Y sabemos que le incluyes mucho contenido a las diapositivas. ¡Sé breve! La diapositiva debe ser solo un apoyo. Proposición Lógica • Una proposición lógica es aquella en la que se puede definir su valor de verdad o de falsedad, pero nunca los dos simultáneamente. Las premisas se representan por las letras: p, q, r,…,z • Ejemplos: • 3 es un número primo • Todos los días llueve • La función lineal tiene como gráfico una línea recta. Los valores de verdad de una premisa lógica se obtienen a partir de la ecuación: 2! Tomado de: https://n9.cl/4and Contenido
  • 6. • SIMPLES Son aquellas que tienen una sola premisa lógica. Ejemplos: La tierra es redonda. Martha llegó tarde. • COMPUESTAS Son aquellas que tienen más de una premisa lógica. Ejemplos: Viajaré a Calí o a Medellín. Si realizo todas las actividades, entonces obtendré una nota favorable. Tipos de Proposiciones
  • 7. Conectores Lógicos Son los elementos lógicos que permiten relacionar dos premisas simples en una proposición lógica. Conjunción Se denota por el símbolo “ᴧ” p ᴧ q y se lee: p y q Ejemplo: Voy a cine y veo la película.
  • 8. Conectores Lógicos Son los elementos lógicos que permiten relacionar dos premisas simples en una proposición lógica. Disjunción Se denota por el símbolo “v” p v q y se lee: p o q Ejemplo: Voy a cine o a teatro.
  • 9. Conectores Lógicos Son los elementos lógicos que permiten relacionar dos premisas simples en una proposición lógica. Condicional Se denota por el símbolo “→” p → q y se lee: Si p entonces q Ejemplo: Si Voy a cine entonces veo la película.
  • 10. Conectores Lógicos Son los elementos lógicos que permiten relacionar dos premisas simples en una proposición lógica. Bicondicional Se denota por el símbolo “↔” p↔q y se lee: p si y solo si q Ejemplo: Voy a cine si solo si veo la película.
  • 11. Conectores Lógicos Son los elementos lógicos que permiten relacionar dos premisas simples en una proposición lógica. Negación Se denota por el símbolo “~” ~p se lee: No p Ejemplo: no voy a cine.
  • 12. Leyes Lógicas Idempotencia Doble negación Conmutativa Asociativa Distributiva Condicional Bicondicional Absorción De Morgan Identidad Complemento LEYES LÓGICAS C=Tautología y C=Contradicción ! ∧ ! ⇔ ! ! ∨ ! ⇔ ! ~(~!) ⇔ ! ! ∧ ! ⇔ ( ∧ ! ! ∨ ! ⇔ ( ∨ ! (! ∧ () ∧ ) ⇔ ! ∧ (( ∧ )) (! ∨ () ∨ ) ⇔ ! ∨ (( ∨ )) (! ⟷ () ⟷ ) ⇔ ! ⟷ (( ⟷ !) ! ∧ (( ∨ )) ⇔ (! ∧ () ∨ (! ∧ )) (! ∨ )) ∧ ! ⇔ (( ∧ !) ∨ () ∧ !) ! ∨ (( ∧ )) ⇔ (! ∨ () ∧ (! ∨ )) (( ∨ )) ∨ ! ⇔ (( ∨ !) ∧ () ∨ !) ! ⟶ ( ⇔ ~! ∨ ( ~(! ⟶ () ⇔ ! ∧ ~( ! ⇔ ( ≅ ! ⟶ ( ∧ ( ⟶ ! ! ⇔ ( ≅ ! ∧ ( ∨ ~! ∧ ~( ! ⇔ ( ≅ ! ⟶ ( ∧ ( ⟶ ! ! ∧ (! ∨ () ⇔ ! ! ∧ (~! ∨ () ⇔ ! ∧ ( ! ∨ (! ∧ () ⇔ ! ! ∨ (~! ∧ () ⇔ ! ∨q ~ ! ∧ ( ⇔ ~! ∨ ~( ~(! ∨ () ⇔ ~! ∧ ~( P∧ . ⇔ / P ∧ 0 ⇔ 0 P∨ . ⇔ / P ∨ 0 ⇔ / P∧ ~/ ⇔ 0 P∨ ~/ ⇔ . ~T ⇔ 0 ~0 ⇔ .