SlideShare una empresa de Scribd logo
FUNCIONES DE                      3.4. Condicional               5. Principios Lógicos         7. Método Abreviado
                                   p     q      p→q               Tautologías enunciadas por    [A → (B∧∼ B)] → ∼A
    VERDAD                         V V            V               Aristóteles en Organon        Ley de Reducción al Absurdo
1. ¿Qué es la verdad?              V F            F               5.1. Identidad                1. Suponemos un valor
* Correspondencia entre el         F V            V               p     ´p↔p p→p                adecuado para la fórmula
pensamiento y la realidad.         F F            V               V        V        V           2. Tratamos de hallar una
* Cuando “p” es verdad, ocurre     3.5. Bicondicional             F        V        V           contradicción
realmente que p                    p     q                        5.2. No Contradicción         3. Determinamos su
                                                p↔q
2. Tabla de Verdad                                                 p ´∼p ∼(p∧∼p)                característica tabular
                                   V V            V
* Gráfico que permite hallar el                                                                 Ejemplos:
valor veritativo de los esquemas   V F             F               V      F      V
                                   F V             F               F      V      V              1. ( p → q) → ( ∼ p ∨ q )
* Si una fórmula tiene “n”                                                                             V     F FVFF
variables diferentes, entonces     F F            V               5.3. Tercio Excluido
                                   3.6. Negación                   p ´∼p p∨∼p                       VF F
tiene 2n filas                                                                                  La fórmula es una tautología
* Propuesto por Wittgenstein       p     ´∼p                       V      F       V
3. Funciones de Verdad             V F                             F      V       V
                                                                                                2. ( p ∧ q ) ∧ ∼ q
3.1. Conjunción                    F V                            6. Leyes de tabla de verdad
                                                                                                     VV V V VF
p q         p∧q                    4. Clasificación de esquemas   (T ∧ Q) ↔Q                    Es una contradicción
V V           V                    4.1. Tautología (T)            (⊥ ∧ Q) ↔⊥
V F           F                    p     q     (p→q)↔(∼p∨q)       (T ∨ Q) ↔T                    3. ∼ ( p ∨ q ) ∨ ( p ∧ q )
F V           F                    V V                 V          (⊥ ∨ Q) ↔Q                        F ¿? V ¿? F ¿? F ¿?
F F           F                    V F                 V          (T↮ Q) ↔ ∼Q                       ¿?         V ¿?
3.2. Disyunción Débil              F V                 V          (⊥↮ Q) ↔ Q                    Es consistente o contingente
p     q      p∨q                   F F                 V
                                                                  (T → Q)↔Q
V V           V                    4.2. Contradicción (⊥)                                       4. [(p→q)∧p∧(r→s)∧r]→(q∧s)
                                                                  (⊥ → Q) ↔T
V F           V                    p     ∼p p∧∼p                  (Q → T)↔T                          VVV V VVV V VVV
F V           V                    V F           F                                                           V      F F
                                                                  (Q→⊥) ↔~Q
F F           F                    F V           F                                              Es tautología
3.3. Disyunción Fuerte             4.3. Consistencia (Q)          (T↔ Q) ↔Q
p     q      p↮q                   p     q                        (⊥↔ Q) ↔∼Q                    5. [(p→q)∧(r→s)]↔[(p∧r)→(q∧s)]
                                               (p→q)∧(q→p)
V V            F                                                  * Considera:                  Es consistencia
                                   V V                 V
V F            V                                                  T=V
                                   V F                 F
F V            V                                                  ⊥=F                           6. [(p→q)∧(∼p→q)]↔[(p∨∼p)→q]
                                   F V                 F
F F            F                                                  Q=p                           Es tautología
                                   F F                 V

Más contenido relacionado

La actualidad más candente

Funciones: Exponencial y logaritmica
Funciones: Exponencial y logaritmicaFunciones: Exponencial y logaritmica
Funciones: Exponencial y logaritmica
Santiago Mejía Sánchez
 
Choques y-colisiones
Choques y-colisionesChoques y-colisiones
Choques y-colisiones
Irwin Bazan Bustamante
 
Vectores
VectoresVectores
Vectores
oscar323
 
Relaciones binarias power point
Relaciones binarias power pointRelaciones binarias power point
Relaciones binarias power point
raymel-2411
 
Diapositivas de limites y derivadas
Diapositivas de limites y derivadasDiapositivas de limites y derivadas
Diapositivas de limites y derivadas
luzmi25
 
Tipos de discontinuidad
Tipos de discontinuidadTipos de discontinuidad
Tipos de discontinuidad
Yazmin
 
Lógica & Silogismo
Lógica & SilogismoLógica & Silogismo
Continuidad de una función
Continuidad de una funciónContinuidad de una función
Continuidad de una función
CristinaLentini
 
Demostraciones de teoremas acerca de límites
Demostraciones de teoremas acerca de límitesDemostraciones de teoremas acerca de límites
Demostraciones de teoremas acerca de límites
James Smith
 
integral múltiple
integral múltiple integral múltiple
integral múltiple
bdeotto
 
Diapositivas sobre Integrales Impropias
Diapositivas sobre Integrales ImpropiasDiapositivas sobre Integrales Impropias
Diapositivas sobre Integrales Impropias
Andrea Vargas Jimenez
 
Conjunto generador
Conjunto generadorConjunto generador
Conjunto generador
algebra
 
Conjunto generador
Conjunto generadorConjunto generador
Conjunto generador
algebra
 
Límites y continuidad en funciones de varias variables
Límites y continuidad en funciones de varias variablesLímites y continuidad en funciones de varias variables
Límites y continuidad en funciones de varias variables
kellys vz
 
Interpolacion de taylor y hermite
Interpolacion de taylor y hermiteInterpolacion de taylor y hermite
Interpolacion de taylor y hermite
taker85
 
Integrales
IntegralesIntegrales
Calculo ii
Calculo iiCalculo ii
Calculo ii
Marco Antonio
 
Ejercicios aplicaciones de la integral areas
Ejercicios aplicaciones de la integral areasEjercicios aplicaciones de la integral areas
Ejercicios aplicaciones de la integral areas
Alexander Sanchez Morales
 
Factorizacion
FactorizacionFactorizacion
Factorizacion
Ally Emoxyta
 
Fórmulas de integración inmediata
Fórmulas de integración inmediataFórmulas de integración inmediata
Fórmulas de integración inmediata
swiftie13
 

La actualidad más candente (20)

Funciones: Exponencial y logaritmica
Funciones: Exponencial y logaritmicaFunciones: Exponencial y logaritmica
Funciones: Exponencial y logaritmica
 
Choques y-colisiones
Choques y-colisionesChoques y-colisiones
Choques y-colisiones
 
Vectores
VectoresVectores
Vectores
 
Relaciones binarias power point
Relaciones binarias power pointRelaciones binarias power point
Relaciones binarias power point
 
Diapositivas de limites y derivadas
Diapositivas de limites y derivadasDiapositivas de limites y derivadas
Diapositivas de limites y derivadas
 
Tipos de discontinuidad
Tipos de discontinuidadTipos de discontinuidad
Tipos de discontinuidad
 
Lógica & Silogismo
Lógica & SilogismoLógica & Silogismo
Lógica & Silogismo
 
Continuidad de una función
Continuidad de una funciónContinuidad de una función
Continuidad de una función
 
Demostraciones de teoremas acerca de límites
Demostraciones de teoremas acerca de límitesDemostraciones de teoremas acerca de límites
Demostraciones de teoremas acerca de límites
 
integral múltiple
integral múltiple integral múltiple
integral múltiple
 
Diapositivas sobre Integrales Impropias
Diapositivas sobre Integrales ImpropiasDiapositivas sobre Integrales Impropias
Diapositivas sobre Integrales Impropias
 
Conjunto generador
Conjunto generadorConjunto generador
Conjunto generador
 
Conjunto generador
Conjunto generadorConjunto generador
Conjunto generador
 
Límites y continuidad en funciones de varias variables
Límites y continuidad en funciones de varias variablesLímites y continuidad en funciones de varias variables
Límites y continuidad en funciones de varias variables
 
Interpolacion de taylor y hermite
Interpolacion de taylor y hermiteInterpolacion de taylor y hermite
Interpolacion de taylor y hermite
 
Integrales
IntegralesIntegrales
Integrales
 
Calculo ii
Calculo iiCalculo ii
Calculo ii
 
Ejercicios aplicaciones de la integral areas
Ejercicios aplicaciones de la integral areasEjercicios aplicaciones de la integral areas
Ejercicios aplicaciones de la integral areas
 
Factorizacion
FactorizacionFactorizacion
Factorizacion
 
Fórmulas de integración inmediata
Fórmulas de integración inmediataFórmulas de integración inmediata
Fórmulas de integración inmediata
 

Similar a Funciones De Verdad

Esquema de funciones de verdad anual uni
Esquema de funciones de verdad anual uniEsquema de funciones de verdad anual uni
Esquema de funciones de verdad anual uni
rafael felix
 
Teoria De Equivalencias
Teoria De EquivalenciasTeoria De Equivalencias
Teoria De Equivalencias
rafael felix
 
Tautologías
TautologíasTautologías
Equivalencia E Implicancias
Equivalencia E ImplicanciasEquivalencia E Implicancias
Equivalencia E Implicancias
rafael felix
 
LibroAlgebra.pdf
LibroAlgebra.pdfLibroAlgebra.pdf
LibroAlgebra.pdf
vicenteeduardoharo1
 
Problemas1 (algunas soluciones)
Problemas1 (algunas soluciones)Problemas1 (algunas soluciones)
Problemas1 (algunas soluciones)
Alvaro Miguel Naupay Gusukuma
 
Logica y circuitos logicos ok
Logica y circuitos logicos okLogica y circuitos logicos ok
Logica y circuitos logicos ok
Wilderd Cabanillas Campos
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica Proposicional
MaestroJCH
 
Logica
LogicaLogica
Logica
Sol JO
 
Cap121 a 33 MECA
Cap121 a 33 MECACap121 a 33 MECA
Cap121 a 33 MECA
Isabel Margarita
 
Angelica
AngelicaAngelica
Angelica
Marislieth96
 
Angelica
AngelicaAngelica
Angelica
Marislieth96
 
Estructura Discreta Unidad I Angelica Hernandez
Estructura Discreta Unidad I  Angelica HernandezEstructura Discreta Unidad I  Angelica Hernandez
Estructura Discreta Unidad I Angelica Hernandez
Marislieth96
 
estructura discreta, unidad I . Angelica hernandez CI : 26561630
estructura discreta, unidad I . Angelica hernandez CI : 26561630estructura discreta, unidad I . Angelica hernandez CI : 26561630
estructura discreta, unidad I . Angelica hernandez CI : 26561630
Marislieth96
 
TAUTOLOGÍA .
TAUTOLOGÍA .TAUTOLOGÍA .
TAUTOLOGÍA .
Jomar Burgos Palacios
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
Pacheco Huarotto, Luis
 
Logica Matematica
Logica MatematicaLogica Matematica
Logica Matematica
DanielGuillen47
 
Proposiciones.
Proposiciones.Proposiciones.
Proposiciones.
Jorgexm01
 
Logica
LogicaLogica
Apn2 4
Apn2   4Apn2   4
Apn2 4
jorge acosta
 

Similar a Funciones De Verdad (20)

Esquema de funciones de verdad anual uni
Esquema de funciones de verdad anual uniEsquema de funciones de verdad anual uni
Esquema de funciones de verdad anual uni
 
Teoria De Equivalencias
Teoria De EquivalenciasTeoria De Equivalencias
Teoria De Equivalencias
 
Tautologías
TautologíasTautologías
Tautologías
 
Equivalencia E Implicancias
Equivalencia E ImplicanciasEquivalencia E Implicancias
Equivalencia E Implicancias
 
LibroAlgebra.pdf
LibroAlgebra.pdfLibroAlgebra.pdf
LibroAlgebra.pdf
 
Problemas1 (algunas soluciones)
Problemas1 (algunas soluciones)Problemas1 (algunas soluciones)
Problemas1 (algunas soluciones)
 
Logica y circuitos logicos ok
Logica y circuitos logicos okLogica y circuitos logicos ok
Logica y circuitos logicos ok
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica Proposicional
 
Logica
LogicaLogica
Logica
 
Cap121 a 33 MECA
Cap121 a 33 MECACap121 a 33 MECA
Cap121 a 33 MECA
 
Angelica
AngelicaAngelica
Angelica
 
Angelica
AngelicaAngelica
Angelica
 
Estructura Discreta Unidad I Angelica Hernandez
Estructura Discreta Unidad I  Angelica HernandezEstructura Discreta Unidad I  Angelica Hernandez
Estructura Discreta Unidad I Angelica Hernandez
 
estructura discreta, unidad I . Angelica hernandez CI : 26561630
estructura discreta, unidad I . Angelica hernandez CI : 26561630estructura discreta, unidad I . Angelica hernandez CI : 26561630
estructura discreta, unidad I . Angelica hernandez CI : 26561630
 
TAUTOLOGÍA .
TAUTOLOGÍA .TAUTOLOGÍA .
TAUTOLOGÍA .
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
 
Logica Matematica
Logica MatematicaLogica Matematica
Logica Matematica
 
Proposiciones.
Proposiciones.Proposiciones.
Proposiciones.
 
Logica
LogicaLogica
Logica
 
Apn2 4
Apn2   4Apn2   4
Apn2 4
 

Más de rafael felix

Filosofia del derecho, Filosofia del derecho
Filosofia del derecho, Filosofia del derechoFilosofia del derecho, Filosofia del derecho
Filosofia del derecho, Filosofia del derecho
rafael felix
 
La tecnología como un problema transdisciplinario.pptx
La tecnología como un problema transdisciplinario.pptxLa tecnología como un problema transdisciplinario.pptx
La tecnología como un problema transdisciplinario.pptx
rafael felix
 
Felicidad. entre la estupidez y la inteligencia
Felicidad. entre la estupidez y la inteligenciaFelicidad. entre la estupidez y la inteligencia
Felicidad. entre la estupidez y la inteligencia
rafael felix
 
El amor, según Marco Aurelio Denegri
El amor, según Marco Aurelio DenegriEl amor, según Marco Aurelio Denegri
El amor, según Marco Aurelio Denegri
rafael felix
 
Feminismo y la filosofía política de judith butler
Feminismo y la filosofía política de judith butlerFeminismo y la filosofía política de judith butler
Feminismo y la filosofía política de judith butler
rafael felix
 
Acosador
AcosadorAcosador
Acosador
rafael felix
 
La manipulación cultural y estrategias para superarla: el caso peruano
La manipulación cultural y estrategias para superarla: el caso peruanoLa manipulación cultural y estrategias para superarla: el caso peruano
La manipulación cultural y estrategias para superarla: el caso peruano
rafael felix
 
Investigación en UNMSM
Investigación en UNMSMInvestigación en UNMSM
Investigación en UNMSM
rafael felix
 
Lógica de la conversación
Lógica de la conversaciónLógica de la conversación
Lógica de la conversación
rafael felix
 
ÉTICA CONCEPTOS BÁSICOS
ÉTICA CONCEPTOS BÁSICOSÉTICA CONCEPTOS BÁSICOS
ÉTICA CONCEPTOS BÁSICOS
rafael felix
 
Palabras para decirle a alguien en el momento de la pérdida de un ser querido
Palabras para decirle a alguien en el momento de la pérdida de un ser queridoPalabras para decirle a alguien en el momento de la pérdida de un ser querido
Palabras para decirle a alguien en el momento de la pérdida de un ser querido
rafael felix
 
Ética de la investigación científica
Ética de la investigación científicaÉtica de la investigación científica
Ética de la investigación científica
rafael felix
 
Acosador
AcosadorAcosador
Acosador
rafael felix
 
Logica unfv internacional
Logica unfv internacionalLogica unfv internacional
Logica unfv internacional
rafael felix
 
9 Nietzsche y Heidegger.
9 Nietzsche y Heidegger.9 Nietzsche y Heidegger.
9 Nietzsche y Heidegger.
rafael felix
 
14 Gnoseologia
14 Gnoseologia14 Gnoseologia
14 Gnoseologia
rafael felix
 
4 aristoteles y helenisticos
4 aristoteles y helenisticos4 aristoteles y helenisticos
4 aristoteles y helenisticos
rafael felix
 
13 semana politica
13 semana politica13 semana politica
13 semana politica
rafael felix
 
6 ilustracion
6 ilustracion6 ilustracion
6 ilustracion
rafael felix
 
3 filosofia 3
3 filosofia 33 filosofia 3
3 filosofia 3
rafael felix
 

Más de rafael felix (20)

Filosofia del derecho, Filosofia del derecho
Filosofia del derecho, Filosofia del derechoFilosofia del derecho, Filosofia del derecho
Filosofia del derecho, Filosofia del derecho
 
La tecnología como un problema transdisciplinario.pptx
La tecnología como un problema transdisciplinario.pptxLa tecnología como un problema transdisciplinario.pptx
La tecnología como un problema transdisciplinario.pptx
 
Felicidad. entre la estupidez y la inteligencia
Felicidad. entre la estupidez y la inteligenciaFelicidad. entre la estupidez y la inteligencia
Felicidad. entre la estupidez y la inteligencia
 
El amor, según Marco Aurelio Denegri
El amor, según Marco Aurelio DenegriEl amor, según Marco Aurelio Denegri
El amor, según Marco Aurelio Denegri
 
Feminismo y la filosofía política de judith butler
Feminismo y la filosofía política de judith butlerFeminismo y la filosofía política de judith butler
Feminismo y la filosofía política de judith butler
 
Acosador
AcosadorAcosador
Acosador
 
La manipulación cultural y estrategias para superarla: el caso peruano
La manipulación cultural y estrategias para superarla: el caso peruanoLa manipulación cultural y estrategias para superarla: el caso peruano
La manipulación cultural y estrategias para superarla: el caso peruano
 
Investigación en UNMSM
Investigación en UNMSMInvestigación en UNMSM
Investigación en UNMSM
 
Lógica de la conversación
Lógica de la conversaciónLógica de la conversación
Lógica de la conversación
 
ÉTICA CONCEPTOS BÁSICOS
ÉTICA CONCEPTOS BÁSICOSÉTICA CONCEPTOS BÁSICOS
ÉTICA CONCEPTOS BÁSICOS
 
Palabras para decirle a alguien en el momento de la pérdida de un ser querido
Palabras para decirle a alguien en el momento de la pérdida de un ser queridoPalabras para decirle a alguien en el momento de la pérdida de un ser querido
Palabras para decirle a alguien en el momento de la pérdida de un ser querido
 
Ética de la investigación científica
Ética de la investigación científicaÉtica de la investigación científica
Ética de la investigación científica
 
Acosador
AcosadorAcosador
Acosador
 
Logica unfv internacional
Logica unfv internacionalLogica unfv internacional
Logica unfv internacional
 
9 Nietzsche y Heidegger.
9 Nietzsche y Heidegger.9 Nietzsche y Heidegger.
9 Nietzsche y Heidegger.
 
14 Gnoseologia
14 Gnoseologia14 Gnoseologia
14 Gnoseologia
 
4 aristoteles y helenisticos
4 aristoteles y helenisticos4 aristoteles y helenisticos
4 aristoteles y helenisticos
 
13 semana politica
13 semana politica13 semana politica
13 semana politica
 
6 ilustracion
6 ilustracion6 ilustracion
6 ilustracion
 
3 filosofia 3
3 filosofia 33 filosofia 3
3 filosofia 3
 

Funciones De Verdad

  • 1. FUNCIONES DE 3.4. Condicional 5. Principios Lógicos 7. Método Abreviado p q p→q Tautologías enunciadas por [A → (B∧∼ B)] → ∼A VERDAD V V V Aristóteles en Organon Ley de Reducción al Absurdo 1. ¿Qué es la verdad? V F F 5.1. Identidad 1. Suponemos un valor * Correspondencia entre el F V V p ´p↔p p→p adecuado para la fórmula pensamiento y la realidad. F F V V V V 2. Tratamos de hallar una * Cuando “p” es verdad, ocurre 3.5. Bicondicional F V V contradicción realmente que p p q 5.2. No Contradicción 3. Determinamos su p↔q 2. Tabla de Verdad p ´∼p ∼(p∧∼p) característica tabular V V V * Gráfico que permite hallar el Ejemplos: valor veritativo de los esquemas V F F V F V F V F F V V 1. ( p → q) → ( ∼ p ∨ q ) * Si una fórmula tiene “n” V F FVFF variables diferentes, entonces F F V 5.3. Tercio Excluido 3.6. Negación p ´∼p p∨∼p VF F tiene 2n filas La fórmula es una tautología * Propuesto por Wittgenstein p ´∼p V F V 3. Funciones de Verdad V F F V V 2. ( p ∧ q ) ∧ ∼ q 3.1. Conjunción F V 6. Leyes de tabla de verdad VV V V VF p q p∧q 4. Clasificación de esquemas (T ∧ Q) ↔Q Es una contradicción V V V 4.1. Tautología (T) (⊥ ∧ Q) ↔⊥ V F F p q (p→q)↔(∼p∨q) (T ∨ Q) ↔T 3. ∼ ( p ∨ q ) ∨ ( p ∧ q ) F V F V V V (⊥ ∨ Q) ↔Q F ¿? V ¿? F ¿? F ¿? F F F V F V (T↮ Q) ↔ ∼Q ¿? V ¿? 3.2. Disyunción Débil F V V (⊥↮ Q) ↔ Q Es consistente o contingente p q p∨q F F V (T → Q)↔Q V V V 4.2. Contradicción (⊥) 4. [(p→q)∧p∧(r→s)∧r]→(q∧s) (⊥ → Q) ↔T V F V p ∼p p∧∼p (Q → T)↔T VVV V VVV V VVV F V V V F F V F F (Q→⊥) ↔~Q F F F F V F Es tautología 3.3. Disyunción Fuerte 4.3. Consistencia (Q) (T↔ Q) ↔Q p q p↮q p q (⊥↔ Q) ↔∼Q 5. [(p→q)∧(r→s)]↔[(p∧r)→(q∧s)] (p→q)∧(q→p) V V F * Considera: Es consistencia V V V V F V T=V V F F F V V ⊥=F 6. [(p→q)∧(∼p→q)]↔[(p∨∼p)→q] F V F F F F Q=p Es tautología F F V