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

Fuentes del derecho
Fuentes del derechoFuentes del derecho
Fuentes del derecho
Luis Enrique Casique
 
0.1 derecho público
0.1  derecho público0.1  derecho público
0.1 derecho público
Wilder Calderón Castro
 
Teoría del delito
Teoría del delito Teoría del delito
Teoría del delito
IVAN RIVERA
 
La antijurididad_IAFJSR
La antijurididad_IAFJSRLa antijurididad_IAFJSR
La antijurididad_IAFJSR
Mauri Rojas
 
Fuentes del derecho administrativo
Fuentes del derecho administrativoFuentes del derecho administrativo
Fuentes del derecho administrativo
luismiguelvalera19
 
Competencia y partes del proceso
Competencia y partes del procesoCompetencia y partes del proceso
Competencia y partes del proceso
SAM CORR
 
Relación del Derecho con otras Ciencias
Relación del Derecho con otras Ciencias Relación del Derecho con otras Ciencias
Relación del Derecho con otras Ciencias
lsatanuniandesr
 
interpretación e integración juridica
interpretación e integración juridicainterpretación e integración juridica
interpretación e integración juridica
Arturo Ezrre Teran
 
ENJ-300 Teoría General del Delito
ENJ-300 Teoría General del DelitoENJ-300 Teoría General del Delito
ENJ-300 Teoría General del Delito
ENJ
 
Derecho penitenciario
Derecho penitenciarioDerecho penitenciario
Derecho penitenciario
Haydee Romero Pérez
 
TEORIAS FILOSOFICAS - JURIDICAS
TEORIAS FILOSOFICAS - JURIDICASTEORIAS FILOSOFICAS - JURIDICAS
TEORIAS FILOSOFICAS - JURIDICAS
dlorenzo27
 
Derecho objetivo y derecho subjetivo
Derecho objetivo y derecho subjetivoDerecho objetivo y derecho subjetivo
Derecho objetivo y derecho subjetivo
lemq_
 
Acto juridico
Acto juridicoActo juridico
Acto juridico
Luis Enrique Olivares
 
Mapa conceptual constitucional
Mapa conceptual constitucionalMapa conceptual constitucional
Mapa conceptual constitucional
Adriana Cuica
 
Acto juridico
Acto juridicoActo juridico
Acto juridico
JoelBetancurth
 
Mapa conceptual-lógica-UFT
Mapa conceptual-lógica-UFTMapa conceptual-lógica-UFT
Mapa conceptual-lógica-UFT
scarletmariareyesgutierrez
 
Unidad 1, lógica
Unidad 1, lógicaUnidad 1, lógica
Unidad 1, lógica
bochzissou777
 
Trabajo de derecho penal 1 nuris-
Trabajo de derecho penal 1  nuris-Trabajo de derecho penal 1  nuris-
Trabajo de derecho penal 1 nuris-
nuris yohana sanchez sivira
 
UTPL-FILOSOFÍA DEL DERECHO-I-BIMESTRE-(OCTUBRE 2011-FEBRERO 2012)
UTPL-FILOSOFÍA DEL DERECHO-I-BIMESTRE-(OCTUBRE 2011-FEBRERO 2012)UTPL-FILOSOFÍA DEL DERECHO-I-BIMESTRE-(OCTUBRE 2011-FEBRERO 2012)
UTPL-FILOSOFÍA DEL DERECHO-I-BIMESTRE-(OCTUBRE 2011-FEBRERO 2012)
Videoconferencias UTPL
 
Justicia, validez y eficacia
Justicia, validez y eficaciaJusticia, validez y eficacia
Justicia, validez y eficacia
Luis Taveras Marte
 

La actualidad más candente (20)

Fuentes del derecho
Fuentes del derechoFuentes del derecho
Fuentes del derecho
 
0.1 derecho público
0.1  derecho público0.1  derecho público
0.1 derecho público
 
Teoría del delito
Teoría del delito Teoría del delito
Teoría del delito
 
La antijurididad_IAFJSR
La antijurididad_IAFJSRLa antijurididad_IAFJSR
La antijurididad_IAFJSR
 
Fuentes del derecho administrativo
Fuentes del derecho administrativoFuentes del derecho administrativo
Fuentes del derecho administrativo
 
Competencia y partes del proceso
Competencia y partes del procesoCompetencia y partes del proceso
Competencia y partes del proceso
 
Relación del Derecho con otras Ciencias
Relación del Derecho con otras Ciencias Relación del Derecho con otras Ciencias
Relación del Derecho con otras Ciencias
 
interpretación e integración juridica
interpretación e integración juridicainterpretación e integración juridica
interpretación e integración juridica
 
ENJ-300 Teoría General del Delito
ENJ-300 Teoría General del DelitoENJ-300 Teoría General del Delito
ENJ-300 Teoría General del Delito
 
Derecho penitenciario
Derecho penitenciarioDerecho penitenciario
Derecho penitenciario
 
TEORIAS FILOSOFICAS - JURIDICAS
TEORIAS FILOSOFICAS - JURIDICASTEORIAS FILOSOFICAS - JURIDICAS
TEORIAS FILOSOFICAS - JURIDICAS
 
Derecho objetivo y derecho subjetivo
Derecho objetivo y derecho subjetivoDerecho objetivo y derecho subjetivo
Derecho objetivo y derecho subjetivo
 
Acto juridico
Acto juridicoActo juridico
Acto juridico
 
Mapa conceptual constitucional
Mapa conceptual constitucionalMapa conceptual constitucional
Mapa conceptual constitucional
 
Acto juridico
Acto juridicoActo juridico
Acto juridico
 
Mapa conceptual-lógica-UFT
Mapa conceptual-lógica-UFTMapa conceptual-lógica-UFT
Mapa conceptual-lógica-UFT
 
Unidad 1, lógica
Unidad 1, lógicaUnidad 1, lógica
Unidad 1, lógica
 
Trabajo de derecho penal 1 nuris-
Trabajo de derecho penal 1  nuris-Trabajo de derecho penal 1  nuris-
Trabajo de derecho penal 1 nuris-
 
UTPL-FILOSOFÍA DEL DERECHO-I-BIMESTRE-(OCTUBRE 2011-FEBRERO 2012)
UTPL-FILOSOFÍA DEL DERECHO-I-BIMESTRE-(OCTUBRE 2011-FEBRERO 2012)UTPL-FILOSOFÍA DEL DERECHO-I-BIMESTRE-(OCTUBRE 2011-FEBRERO 2012)
UTPL-FILOSOFÍA DEL DERECHO-I-BIMESTRE-(OCTUBRE 2011-FEBRERO 2012)
 
Justicia, validez y eficacia
Justicia, validez y eficaciaJusticia, validez y eficacia
Justicia, validez y eficacia
 

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