SlideShare una empresa de Scribd logo
1 de 21
INTEGRANTES
 ANNY YADIRA BAYONA
 MARIA STELLA SANTOS
 PAOLA ANDREA BAUTISTA
 ANGELICA MARIA ALARCON
 NICOLE ANDREA REVUELTAS
INTRODUCCION
A FINALES DEL SIGLO XIX OTRO METODO DE ANALISIS DE LOS RAZONAMIENTOS HIZO SU
APARICION EN EL AMBITO DE LA LOGICA. ESTE NUEVO METODO PERMITIO ANALIZAR
OTRA CLASE DE ARGUMENTOS QUE NO ERAN YA LOS TIPICOS RAZONAMIENTOS
SILOGISTICOS.
LA LOGICA SIMBOLICA, ENTONCES, SE CONVIERTE EN ESA NUEVA HERRAMIENTA QUE
NOS PERMITE CONSIDERAR ESTA OTRA CLASE DE RAZONAMIENTOS, LOS CUALES, COMO
SE DIJO, NO SE PUEDEN EXAMINAR CON LOS CONOCIMIENTOS Y LAS TECNICAS DE LA
LOGICA DEL SILOGISMO. EN ESTE SENTIDO, SE PODRIA AFIRMAR QUE LA LOGICA
SIMBOLICA MODERNA ES MAS “POTENTE” QUE LA LOGICA TRADICIONAL SILOGISTICA,
YA QUE ESTA SE LIMITA EXCLUSIVAMENTE A EVALUAR LA CLASE DE RAZONAMIENTOS
QUE SE EXPRESA POR MEDIO DE PROPOSICIONES CATEGORICAS, COMO ES EL CASO DE
TODO SILOGISMO.
LOS SILOGISMOS COMPRENDEN TRES TERMINOS Y TRES PROPOSICIONES CATEGORICAS,
DOS DE LAS CUALES SON LAS PREMISAS Y LA OTRA LA CONCLUSION.
EN COMPARACION LA LOGICA TRADICIONAL SILOGISTICA FRENTE A LA LOGICA
SIMBOLICA, SE PUEDEN EXAMINAR ARGUMENTOS CON VARIAS PREMISAS, ADEMAS DE
CONCLUSIONES CON VARIOS TERMINOS. DICHO DE OTRA MANERA, LOS
RAZONAMIENTOS DE QUE TRATA LA LOGICA SIMBOLICA PUEDEN SER MAS COMPLEJOS
QUE LOS EXAMINADOS POR LA LOGICA TRADICIONAL.
LOS CONECTIVOS LÓGICOS
ES UN TERMINO O UN SIMBOLO QUE PERMITE RELACIONAR DOS
PROPOSICIONES.
EJEMPLO:
 JUAN ES UN ESTUDIANTE APLICADO PROPOSICIONES ATOMICAS
PUESTO QUE JUAN ES UN ESTUDIANTE APLICADO, ENTONCES GANARA EL
EXAMEN MAÑANA PROPOSICIONES MOLECULARES
 PUESTO QUE JUAN ES UN ESTUDIANTE APLICADO Y ESTUDIARA ESTA
NOCHE, ENTONCES GANARA EL EXAMEN DE MAÑANA PUES MARIA NO QUIERE
ESTUDIAR HOY.
LOS CONECTIVOS QUE NO PARECEN EXPLÍCITOS, UN
ARGUMENTO PUEDE TENER CONECTIVOS COMO:
ENTONCES, POR LO TANTO, POR CONSIGUIENTE, ETC.
ESTOS SE UTILIZAN PARA REPRESENTAR PROPOSICIONES MOLECULARES.
LA NEGACION(NO): NO ES UN SIMBOLO QUE COMO TAL CONECTE PROPOSICIONES.
EJEMPLO: JUAN NO ESTUDIARA ESTA NOCHE
JUAN ES INCAPAZ DE HACERLE DAÑO A MARIA.
CONJUGACIÓN(^): CUANDO SE TRATA DE PROPOSICIONES SEPARADAS POR EL SIGNO DE
PUNTUACIÓN “EL PUNTO SEGUIDO”, CADA PREPOSICIÓN IMPLÍCITAMENTE SE UNE A LA OTRA
POR MEDIO DE LA CONJUGACIÓN.
EJEMPLO: JUAN ES BUENA GENTE Y DESPISTADO.
JUAN ES BUENA GENTE, AUNQUE DESPISTADO.
IMPLICACIÓN ( ):LA LOGICA SE OCUPA DE LAS RELACIONES DE IMPLICACÓN
ENTRE LAS PROPOSICIONES: “ SI TAL COSA, ENTONCES TAL OTRA”
LOS SIMBOLOS DE LOS CONECTIVOS
LOGICOS
EJEMPLO: SI MARÍA SE CASA CON UN PSICÓPATA, ENTONCES LO MAS PROBABLE ES
QUE SU MATRIMONIO NO LE DURE MUCHO.
SI MARIA SE GOLPEA ENTONCES LLORA.
LA DISYUNCIÓN INCLUSIVA(v) :ES UN CONECTIVO QUE PODEMOS UTILIZAR PARA
SEPARAR DOS PROPOSICIONES.
EJEMPLO: “MARIA ESTA ENAMORADA DE JUAN O DE FRANCISCO”
LA DISYUNCION EXCLUSIVA (W): HAY TRES FORMAS COMO PODEMOS LLEGAR A
SABER QUE LA DISYUNCION QUE ESTAMOS EMPLEANDO EN UN MOMENTO
DETERMINADO EN UN PROPOSICIÓN MOLECULAR UNA ES DISYUNCION
EXCLUSIVA
EJEMPLO: SI JUAN HUBIERA AFIRMADO: “VOY A CINE O VOY A LA FIESTA”, PERO NO A
LAS DOS COSAS.
PACO ESTA VIVO O PACO ESTA MUERTO.
LA DOBLE IMPLICACIÓN( ): DECIMOS QUE HAY DOBLE IMPLICACIÓN CUANDO AL
ANTECEDENTE Y EL CONSECUENTE DE UNA IMPLICACIÓN SE CO-IMPLICAN, ES
DECIR, CUANDO EL ANTECEDENTE IMPLICA EL CONSECUENTE, Y ESTE A SU VEZ,
IMPLICA EL ANTECEDENTE.
EJEMPLO: (SI Y SOLO SI) VOY A CINE SI Y SOLO SI JUAN ME GASTA LA ENTRADA.
SIMBOLIZACION DE PROPOSICIONES MOLECULARES
1. (A)= JUAN ES UN ESTUDIANTE Y (Q)= QUIERE ESTUDIAR CON MARIA: SOLUCION
(A^Q)
2. (A)= PUESTO QUE JUAN ES UN ESTUDIANTE APLICADO, ENTONCES (G)= GANARA EL
EXAMEN DE MAÑANA= (A G)
SIMBOLOS DE CONECTIVOS LOGICOS
VALOR DE VERDAD DE LAS PROPOSICIONES MOLECULARES
LA CONJUNCION: DADAS DOS PROPOSICIONES P Y Q , SE DENOMINA CONJUNCION
DE ESTAS PROPOSICIONES A LA PROPOSICION P Q (SE LEE “P Y Q”), CUYA TABLA
DE VERDAD ES:
DISYUNCION INCLUSIVA:
 SI COMENZAMOS CON LOS ENUNCIADOS N: “CARLOS ES HINCHA DEL NACIONAL
DE MEDELLIN” O D:“DEL DEPORTIVO CALI”, PODEMOS FORMAR EL ENUNCIADO “O YO
SOY HINCHA DEL NACIONAL DE MEDELLIN, O SOY HINCHA DEL DEPORTIVO CALI”, QUE
SE REPRESENTA SIMBOLICAMENTE “N v D” Y QUE SE LEE “N O D”.
COMO SUCEDE QUE EN EL LENGUAJE NATURAL LA CONJUNCION DISYUNTIVA ”O”
PUEDE TENER VARIOS SIGNIFICADOS, LA DISYUNCION INCLUSIVA O: N v D SIGNIFICA
QUE N ES VERDAD, O BIEN D ES VERDAD, O BIEN AMBOS SON VERDAD.
DISYUNCION EXCLUSIVA
 DISYUNCION EXCLUSIVA, QUE VIENE A DECIR QUE AL MENOS UNA DE LAS OPCIONES
ES VERDADERA, PERO SOLO UNA SE SIMBOLIZA CON “v” O “w”.
EJEMPLO: “O VOY A CINE O VOY A LA FIESTA”
 C: “IR A CINE” F: “IR A LA FIESTA”
IMPLICACION
“SI JUAN LE MIENTE A MARIA, ENTONCES MARIA SE ENOJA CON EL”: J: “JUAN LE
MIENTE A MARIA” E:” MARIA SE ENOJA CON JUAN”
DOBLE IMPLICACION
 DOBLE IMPLICACION DE LAS PROPOSICIONES P Y Q ES LA PROPOSICION P Q (QUE
SE LEE “P SI Y SOLO SI Q”)
TAUTOLOGIA, CONTRADICCIONES
Y CONTINGENCIAS
LAS CONTRADICCIONES SIEMPRE SERAN FALSAS. ESTABLEZCAMOS LOS VALORES DE L A
VERDAD APLICANDO LA FORMULA DONDE 2n, DONDE “n”, RECORDEMOS, EQUIVALE AL
NUMERO DE PROPOSICIONES.
REPRESENTACIÓN:
P^ - P
V V
F… DESPUES DE APLICAR LA NEGACIÓN
F F
V… DESPUES DE APLICAR LA NEGACIÓN
SI SE APLICA LA LEY DE LA CONJUNCION UNIMOS LOS VALORES DE LA PRIMERA LÍNEA
CON LOS DE LA SEGUNDA, Y ASÍ EL RESULTADO SIEMPRE SERA “F”.
LAS CONTINGENCIAS SON PROPOSICIONES QUE DAN VALORES TANTO FALSOS COMO
VERDADEROS. ES POR ESO QUE LA EXPRESIÓN P Q, APLICADOS TODOS LOS
VALORESDE VERDAD, ES DECIR, ALGO QUE PUEDE DARSE O NO DARSE, Y POR ESO LOS
VALORES COMBINADOS.
REPRESENTACIÓN:
P Q
V - F
F - V
F - F
V - V
LA TAUTOLOGIA, TODOS SUS RESULTADOS SOLO PERMITEN VALORES VERDADEROS EN
TODAS SUS RELACIONES.
EJEMPLO:
[(P Q) ^ P] Q
V V V V
V F V F
F V F V
F F F F
AL FINAL DE ESTA CADENA LOS RESULTADOS FINALES DEBEN SER CON VALORES DE
VERDAD “V”.
[(P Q) ^ P] Q EN CONCLUSIÓN, LAS TAUTOLOGIAS SON
V V V V V V V EXPRESIONES DE LAS CUALES NO SE PUEDE DUDAR
V F F F V V F SU ABSOLUTA VERDAD. LAS CONTINGENCIAS, POR SU
F V V F F V V PARTE, SON EXPRESIONES QUE NO TIENEN CARÁCTER DE
F V F F F V F VERDAD DEFINITIVO. Y LAS CONTRADICCIONES SON
EXPRESIONES QUE JAMAS PUEDEN SER VERDADERAS.
1 2 3
DEMOSTRACION DE VALIDEZ
UN ARGUMENTO ES VALIDO SI PODEMOS DECIR DE ÉL QUE ES O NO UNA
TAUTOLOGIA, TAMBIEN RESULTA FACIL DETERMINAR SI UNA CADENA
PROPOSICIONAL CORTA ES O NO UNA TAUTOLOGIA. ESTA TEORIA ES CIERTA EN
CADENAS PROPOSICIONALES CORTAS PUES EL NUMERO DE PROPOSICIONES ES
MINIMO, SI APLICAMOS LA FORMULA DE 2n, NO ES NECESARIO ASIGNARLES MUCHOS
VALORES DE VERDAD A LAS PROPOSICIONES.
REPRESENTACION:
{[(L R)] ^ [(L ^ R) P] ^ [(L P) C] ^ [(C v I)]} I
DE AHORA EN ADELANTE, PARA USAR LAS HERRAMIENTAS DE LA LOGICA SIMBOLICA,
VAMOS PRIMERO QUE TODO A DESCRIBIR LAS CADENAS PROPOSICIONALES DE UN
ARGUMENTO DE MANERA HORIZONTAL.
REPRESENTACION:
1.(L R)
2.(L ^ R) P
3.(L P) - C
4.(C v I)
.
. . I
REGLAS DE INFERENCIA
1.MODUS PONENS (M. P.)
P Q
P .
. . Q
2.MODUS TOLLENS (M. T.)
P Q
-Q .
. . -P
3.SILOGISMO HIPOTETICO (S. H.)
P Q
Q R .
. . P R
4.SILOGISMO DIYUNTIVO (S. D.)
P v Q
-P .
. . Q
5.DILEMA CONSTRUCTIVO (D. C.)
(P Q) ^ (R S)
P v R .
. . Q v S
6. ABSORCION (ABS.)
P Q .
. . P (P^Q)
7.SIMPLIFICACION (SIMP.)
P ^ Q .
. . P
8.CONJUNCION (CONJ.)
P
Q .
. . P ^ Q
9.ADICION (AD.)
P .
. . P v Q
REGLAS DE EQUIVALENCIA
10. TEOREMAS DE MORGAN (DE M.): - (P^Q) = (-P v –Q)
- (P v Q) = (-P^-Q)
11. CONMUTACION (CONM.): (P v Q) = (Q v P)
(P ^ Q) = (Q ^ P)
12. ASOCIACION (ASOC.): [P v(Q v R)] = [(P v Q) v R]
[P ^(Q ^ R)] = [(P ^ Q) ^ R]
13.DITRIBUCION (DIST.): [P ^ (Q v R)] = [(P ^ Q) v (P ^ R)]
[P v (Q ^ R) = (P v Q) ^ (P v R)]
14. DOBLE NEGACION (D. N): P = - - Q
15. TRANSPOSICION (TRANS.): (P Q)= (-P -Q)
16. IMPLICACION MATERIAL (IMPL.): (P Q) = (-P v Q)
17. EQUIVALENCIA MATERIAL (EQUIV.): (P = Q) = [(P Q) ^ (Q P)]
(P = Q) = [(P ^ Q) v (- P ^ - Q)]
18.EXPORTACION (EXP.):[(P ^ Q) R] = [P (Q R)]
19.TAUTOLOGIA (TAUT.): P = (P v P)
P = (P ^ P)
DEMOSTRACION POR REDUCCION
A LO ABSURDO
NO TODAS LAS VECES LLEGAMOS A PROBAR QUE UNA CONCLUSION SE SIGUE
EFECTIVAMENTE DE LAS PREMISAS. SIN EMBARGO, PODEMOS DERIVAR, DE MANERA
INDIRECTA, LA CONCLUSION DE UN RAZONAMIENTO, SIN LLEGAR EXPLICITAMENTE A
ELLA. NO SOLO ESTAMOS DISPUESTOS A ACEPTAR UNA CONCLUSION POR EL HECHO DE
QUE PROBEMOS QUE SE SIGUE LOGICAMENTE DE LOS ENUNCIADOS INICIALES. TAMBIEN
PODEMOS AFIRMAR QUE UNA CONCLUSION X SE SIGUE DE LAS PREMISAS AL MOSTRAR
QUE SI ASUMIMOS LA FALSEDAD DE LA CONCLUSION, PRONTO NOS TOPAREMOS CON
UNA CONTRADICCION. ESTE PROCEDIMIENTO SE DENOMINA REDUCCION AL ABSURDO.
EJEMPLO:
JUAN ESTA ESPERANDO QUE SU AMIGO LUISLLEGUE A LA
CITA DE LAS 7:00 P. M. PERO, PASADOS 25 MINUTOS DE ESA
HORA, LUIS AUN NO LLEGA. ¿LLEGARA LUIS A SU CITA? LA
CONCLUSION A LA QUE QUIERE LLEGAR JUAN ES QUE SI, ES
DECIR, QUE EFECTIVAMENTE LUIS LLEGARA. PERO PARA
SABER QUE VA A LLEGAR, JUAN COMIENZA A SUPONER LO
CONTRARIO, ES DECIR, QUE LUIS NO LLEGARA. AL HACER
ESTO, SIN EMBARGO, SE DA CUENTA DE QUE ASUMIR QUE
LUIS NO LLEGARA SE CONTRADICE CON INFORMACION PREVIA QUE SE DA CUENTA DE
QUE ASUMIR QUE LUIS NO LLEGARA SE CONTRADICE CON INFORMACION PREVIA QUE
SE DA POR CIERTA, POR EJEMPLO, QUE LUIS ES BASTANTE PUNTUAL, QUE ESTA
INTERESADO EN LLEGAR PORQUE VIENE A RECOGER UNA DROGA PARA SU MADRE, POR
LO TANTO, CONCLUYE JUAN, LUIS LLEGARA.
REPRESENTACION:
1. (L R)
2. (L ^ R) P
3. (L P) - C
4. (C v I)
__________________
5. –I PREMISA ADICIONAL DE NEGACION DE LA CONCLUSION
6. C SILOGISMO DISYUNTIVO ENTRE 4 Y 5
7. L (L ^ R) ABSORCION EN 1
8. L P SILOGISMO HIPOTETICO EN 7 Y 2
9. –C MODUS PONENS EN 3 Y 8
10. C ^ -C CONTRADICCION, CONJUNCION EN 6 Y 9
LA DEMOSTRACIÓN
LA DEMOSTRACIÓN DIRECTA
LA DEMOSTRACIÓN INDIRECTA
ESTE METODO TRATA DE ASIGNARLES VALORES A LAS PREMISAS (VERDADERAS) Y A
LA CONCLUSION (FALSA). IMPLICA QUE LAS PREMISAS DE UN ARGUMENTO SEAN
VERDADERAS POR CONSECUENTE LA CONCLUSION SERA FALSA.
POR LO TANTO, ESTE ARGUMENTO ES INVALIDO, O, LO QUE ES LO MISMO ES
IMPOSIBLE LLEGAR A LA CONCLUSION DEL MISMO SIGUIENDO LEYES LOGICAS.
EJEMPLO:
P PREMISA
Q CONCLUSION
GRACIAS…

Más contenido relacionado

La actualidad más candente

Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203Erica Avila Caicedo
 
La lógica proposicional
La lógica proposicionalLa lógica proposicional
La lógica proposicionalLiceo Tolimense
 
Introducción a la lógica proposicional
Introducción a la lógica proposicionalIntroducción a la lógica proposicional
Introducción a la lógica proposicionalJesus García Asensio
 
Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Erica Avila Caicedo
 
TEORIA DE LA PROBABILIDAD. AUTOR: ELI ANGULO
TEORIA DE LA PROBABILIDAD. AUTOR: ELI ANGULOTEORIA DE LA PROBABILIDAD. AUTOR: ELI ANGULO
TEORIA DE LA PROBABILIDAD. AUTOR: ELI ANGULOEli Ang
 
Diapositivas logica matematica Grupos
Diapositivas logica matematica Grupos Diapositivas logica matematica Grupos
Diapositivas logica matematica Grupos Daniel ZSc
 
1.clase introduccion-logica
1.clase introduccion-logica1.clase introduccion-logica
1.clase introduccion-logicalupitamartel
 
Sesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposicionesSesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposicionesWilderd Cabanillas Campos
 
Logica cuantificad-conjuntos
Logica cuantificad-conjuntosLogica cuantificad-conjuntos
Logica cuantificad-conjuntosnapogut07
 
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO Jomar Burgos Palacios
 

La actualidad más candente (19)

Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203
 
Demostracion condicional
Demostracion condicionalDemostracion condicional
Demostracion condicional
 
Trabajo colaborativo dos 168
Trabajo colaborativo dos 168Trabajo colaborativo dos 168
Trabajo colaborativo dos 168
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
La lógica proposicional
La lógica proposicionalLa lógica proposicional
La lógica proposicional
 
Introducción a la lógica proposicional
Introducción a la lógica proposicionalIntroducción a la lógica proposicional
Introducción a la lógica proposicional
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168
 
Lógica proposicional
Lógica proposicional Lógica proposicional
Lógica proposicional
 
TEORIA DE LA PROBABILIDAD. AUTOR: ELI ANGULO
TEORIA DE LA PROBABILIDAD. AUTOR: ELI ANGULOTEORIA DE LA PROBABILIDAD. AUTOR: ELI ANGULO
TEORIA DE LA PROBABILIDAD. AUTOR: ELI ANGULO
 
Lógica Matemática
Lógica MatemáticaLógica Matemática
Lógica Matemática
 
Diapositivas logica matematica Grupos
Diapositivas logica matematica Grupos Diapositivas logica matematica Grupos
Diapositivas logica matematica Grupos
 
1.clase introduccion-logica
1.clase introduccion-logica1.clase introduccion-logica
1.clase introduccion-logica
 
Sesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposicionesSesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposiciones
 
Logica cuantificad-conjuntos
Logica cuantificad-conjuntosLogica cuantificad-conjuntos
Logica cuantificad-conjuntos
 
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
 
Logica matematica experiencia 2
Logica matematica experiencia 2Logica matematica experiencia 2
Logica matematica experiencia 2
 

Destacado

Concepto y objetivo de la lógica exposición
Concepto y objetivo de la lógica exposiciónConcepto y objetivo de la lógica exposición
Concepto y objetivo de la lógica exposiciónErnesto Villalobos
 
Las preposiciones (para exposición oral)
Las preposiciones (para exposición oral)Las preposiciones (para exposición oral)
Las preposiciones (para exposición oral)Paúl Sanz
 
Tautologia y contadiccion
Tautologia y contadiccionTautologia y contadiccion
Tautologia y contadicciondrakul09
 
Lógica: Pensamiento verdadero/falso y correcto/incorrecto.
Lógica: Pensamiento verdadero/falso y correcto/incorrecto.Lógica: Pensamiento verdadero/falso y correcto/incorrecto.
Lógica: Pensamiento verdadero/falso y correcto/incorrecto.AriMaya900
 
la logica juridica y la argumentacion juridica
la logica juridica y la argumentacion juridicala logica juridica y la argumentacion juridica
la logica juridica y la argumentacion juridicapacoxeneize12
 
Lógica jurídica el concepto y la definición
Lógica jurídica   el concepto y la definiciónLógica jurídica   el concepto y la definición
Lógica jurídica el concepto y la definiciónVideoconferencias UTPL
 
El Marco De Referencia
El Marco De ReferenciaEl Marco De Referencia
El Marco De ReferenciaSaulen Taicho
 
Tautologias y Contradicciones
Tautologias y ContradiccionesTautologias y Contradicciones
Tautologias y Contradiccionesguestd1874f
 
Empírico y logico exposicion
Empírico y logico  exposicionEmpírico y logico  exposicion
Empírico y logico exposicionJordy Chauca
 

Destacado (13)

Concepto y objetivo de la lógica exposición
Concepto y objetivo de la lógica exposiciónConcepto y objetivo de la lógica exposición
Concepto y objetivo de la lógica exposición
 
Las preposiciones (para exposición oral)
Las preposiciones (para exposición oral)Las preposiciones (para exposición oral)
Las preposiciones (para exposición oral)
 
Taller
TallerTaller
Taller
 
Fu 1. 8 12 agosto 2016
Fu 1. 8 12 agosto 2016Fu 1. 8 12 agosto 2016
Fu 1. 8 12 agosto 2016
 
Tautologia y contadiccion
Tautologia y contadiccionTautologia y contadiccion
Tautologia y contadiccion
 
Diapositivas exposicion mario bunge
Diapositivas exposicion mario bungeDiapositivas exposicion mario bunge
Diapositivas exposicion mario bunge
 
Lógica: Pensamiento verdadero/falso y correcto/incorrecto.
Lógica: Pensamiento verdadero/falso y correcto/incorrecto.Lógica: Pensamiento verdadero/falso y correcto/incorrecto.
Lógica: Pensamiento verdadero/falso y correcto/incorrecto.
 
la logica juridica y la argumentacion juridica
la logica juridica y la argumentacion juridicala logica juridica y la argumentacion juridica
la logica juridica y la argumentacion juridica
 
Lógica jurídica el concepto y la definición
Lógica jurídica   el concepto y la definiciónLógica jurídica   el concepto y la definición
Lógica jurídica el concepto y la definición
 
El Marco De Referencia
El Marco De ReferenciaEl Marco De Referencia
El Marco De Referencia
 
La logica proposicional
La logica proposicionalLa logica proposicional
La logica proposicional
 
Tautologias y Contradicciones
Tautologias y ContradiccionesTautologias y Contradicciones
Tautologias y Contradicciones
 
Empírico y logico exposicion
Empírico y logico  exposicionEmpírico y logico  exposicion
Empírico y logico exposicion
 

Similar a Exposicion logica simbolica_moderna_

Inferencias Tautológicas, Equivalencias Tautologicas
Inferencias Tautológicas, Equivalencias TautologicasInferencias Tautológicas, Equivalencias Tautologicas
Inferencias Tautológicas, Equivalencias TautologicasJorge Ivan Cano Patiño
 
Unidad 1 Logica 2019 virtual UTN Matematica Discreta
Unidad 1 Logica 2019 virtual UTN Matematica DiscretaUnidad 1 Logica 2019 virtual UTN Matematica Discreta
Unidad 1 Logica 2019 virtual UTN Matematica DiscretaGonzaFernandez8
 
INTRODUCCION A LA LOGICA PROPOSICIONAL ( 30-03-2023).pdf
INTRODUCCION A LA LOGICA PROPOSICIONAL ( 30-03-2023).pdfINTRODUCCION A LA LOGICA PROPOSICIONAL ( 30-03-2023).pdf
INTRODUCCION A LA LOGICA PROPOSICIONAL ( 30-03-2023).pdfMariaNelaPerez26
 
36. logica matematica
36. logica matematica36. logica matematica
36. logica matematicaMIRIAM ORTEGA
 
331719652 tarea-angel-p
331719652 tarea-angel-p331719652 tarea-angel-p
331719652 tarea-angel-pJose David
 
Capitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógicaCapitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógicaCiuad de Asis
 
Capitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógicaCapitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógicaCiuad de Asis
 
0 matematica aplicada introduccion 0
0 matematica aplicada introduccion 00 matematica aplicada introduccion 0
0 matematica aplicada introduccion 0icolindres
 
Tema_1.1_LOGICA.pdf
Tema_1.1_LOGICA.pdfTema_1.1_LOGICA.pdf
Tema_1.1_LOGICA.pdfManuel Ortiz
 
ESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETASESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETASJose Reyes
 
Calculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merloCalculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merlogeovannyboss_1
 
Presentacion de estructuras discretas 1 UFT CABUDARE- VENEZUELA
Presentacion de estructuras discretas 1 UFT CABUDARE- VENEZUELAPresentacion de estructuras discretas 1 UFT CABUDARE- VENEZUELA
Presentacion de estructuras discretas 1 UFT CABUDARE- VENEZUELApablonoguera85
 

Similar a Exposicion logica simbolica_moderna_ (20)

Proposiciones
ProposicionesProposiciones
Proposiciones
 
Inferencias Tautológicas, Equivalencias Tautologicas
Inferencias Tautológicas, Equivalencias TautologicasInferencias Tautológicas, Equivalencias Tautologicas
Inferencias Tautológicas, Equivalencias Tautologicas
 
Proposiciones lógicas luis serrano
Proposiciones lógicas luis serranoProposiciones lógicas luis serrano
Proposiciones lógicas luis serrano
 
Unidad 1 Logica 2019 virtual UTN Matematica Discreta
Unidad 1 Logica 2019 virtual UTN Matematica DiscretaUnidad 1 Logica 2019 virtual UTN Matematica Discreta
Unidad 1 Logica 2019 virtual UTN Matematica Discreta
 
INTRODUCCION A LA LOGICA PROPOSICIONAL ( 30-03-2023).pdf
INTRODUCCION A LA LOGICA PROPOSICIONAL ( 30-03-2023).pdfINTRODUCCION A LA LOGICA PROPOSICIONAL ( 30-03-2023).pdf
INTRODUCCION A LA LOGICA PROPOSICIONAL ( 30-03-2023).pdf
 
36. logica matematica
36. logica matematica36. logica matematica
36. logica matematica
 
36. logica matematica
36. logica matematica36. logica matematica
36. logica matematica
 
331719652 tarea-angel-p
331719652 tarea-angel-p331719652 tarea-angel-p
331719652 tarea-angel-p
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Capitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógicaCapitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógica
 
Capitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógicaCapitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógica
 
0 matematica aplicada introduccion 0
0 matematica aplicada introduccion 00 matematica aplicada introduccion 0
0 matematica aplicada introduccion 0
 
Tema_1.1_LOGICA.pdf
Tema_1.1_LOGICA.pdfTema_1.1_LOGICA.pdf
Tema_1.1_LOGICA.pdf
 
PPT MATE EMPRESARIAL.pptx
PPT MATE EMPRESARIAL.pptxPPT MATE EMPRESARIAL.pptx
PPT MATE EMPRESARIAL.pptx
 
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
 
ESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETASESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETAS
 
Calculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merloCalculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merlo
 
Presentacion de estructuras discretas 1 UFT CABUDARE- VENEZUELA
Presentacion de estructuras discretas 1 UFT CABUDARE- VENEZUELAPresentacion de estructuras discretas 1 UFT CABUDARE- VENEZUELA
Presentacion de estructuras discretas 1 UFT CABUDARE- VENEZUELA
 

Más de shionmill

Terminado el trabajo
Terminado el trabajoTerminado el trabajo
Terminado el trabajoshionmill
 
Matem+ítica inductiva
Matem+ítica  inductivaMatem+ítica  inductiva
Matem+ítica inductivashionmill
 
Matem+ítica inductiva
Matem+ítica  inductivaMatem+ítica  inductiva
Matem+ítica inductivashionmill
 
Hermeneutica
HermeneuticaHermeneutica
Hermeneuticashionmill
 
Hermeneutica y logica juridica... logica
Hermeneutica y logica juridica... logicaHermeneutica y logica juridica... logica
Hermeneutica y logica juridica... logicashionmill
 

Más de shionmill (7)

Terminado el trabajo
Terminado el trabajoTerminado el trabajo
Terminado el trabajo
 
Matem+ítica inductiva
Matem+ítica  inductivaMatem+ítica  inductiva
Matem+ítica inductiva
 
Matem+ítica inductiva
Matem+ítica  inductivaMatem+ítica  inductiva
Matem+ítica inductiva
 
Hermeneutica
HermeneuticaHermeneutica
Hermeneutica
 
Hermeneutica y logica juridica... logica
Hermeneutica y logica juridica... logicaHermeneutica y logica juridica... logica
Hermeneutica y logica juridica... logica
 
Induccion
InduccionInduccion
Induccion
 
Induccion
InduccionInduccion
Induccion
 

Último

COMUNICADO CNE-CAMPAÑA Y PROPAGANDA ELECTORAL 20240423.pdf
COMUNICADO CNE-CAMPAÑA Y PROPAGANDA ELECTORAL 20240423.pdfCOMUNICADO CNE-CAMPAÑA Y PROPAGANDA ELECTORAL 20240423.pdf
COMUNICADO CNE-CAMPAÑA Y PROPAGANDA ELECTORAL 20240423.pdfAndySalgado7
 
Carta WPM petición alto al fuego en Gaza
Carta WPM petición alto al fuego en GazaCarta WPM petición alto al fuego en Gaza
Carta WPM petición alto al fuego en GazateleSUR TV
 
Proyecto por la Regionalización y la Función Municipal
Proyecto por la Regionalización y la Función MunicipalProyecto por la Regionalización y la Función Municipal
Proyecto por la Regionalización y la Función MunicipalEduardo Nelson German
 
Proyecto sobre la Libertad de Conciencia Cívica
Proyecto sobre la Libertad de Conciencia CívicaProyecto sobre la Libertad de Conciencia Cívica
Proyecto sobre la Libertad de Conciencia CívicaEduardo Nelson German
 
Aviso de pago de Títulos Públicos de La Rioja
Aviso de pago de Títulos Públicos de La RiojaAviso de pago de Títulos Públicos de La Rioja
Aviso de pago de Títulos Públicos de La RiojaEduardo Nelson German
 
PRECIOS_M_XIMOS_VIGENTES_DEL_21_AL_27_DE_ABRIL_DE_2024.pdf
PRECIOS_M_XIMOS_VIGENTES_DEL_21_AL_27_DE_ABRIL_DE_2024.pdfPRECIOS_M_XIMOS_VIGENTES_DEL_21_AL_27_DE_ABRIL_DE_2024.pdf
PRECIOS_M_XIMOS_VIGENTES_DEL_21_AL_27_DE_ABRIL_DE_2024.pdfredaccionxalapa
 
Pronunciamiento de Mujeres en defensa de la Ley 348
Pronunciamiento de Mujeres en defensa de la Ley 348Pronunciamiento de Mujeres en defensa de la Ley 348
Pronunciamiento de Mujeres en defensa de la Ley 348Erbol Digital
 
Proyecto de reforma por los Derechos Políticos y Régimen Electoral
Proyecto de reforma por los Derechos Políticos y Régimen ElectoralProyecto de reforma por los Derechos Políticos y Régimen Electoral
Proyecto de reforma por los Derechos Políticos y Régimen ElectoralEduardo Nelson German
 
Boletín semanal informativo 15 Abril 2024
Boletín semanal informativo 15 Abril 2024Boletín semanal informativo 15 Abril 2024
Boletín semanal informativo 15 Abril 2024Nueva Canarias-BC
 
La Justicia Federal no le hizo lugar a medida del Intendente de La Rioja cont...
La Justicia Federal no le hizo lugar a medida del Intendente de La Rioja cont...La Justicia Federal no le hizo lugar a medida del Intendente de La Rioja cont...
La Justicia Federal no le hizo lugar a medida del Intendente de La Rioja cont...Eduardo Nelson German
 
Ente de Coordinación Operativa de Servicios en la Capital
Ente de Coordinación Operativa de Servicios en la CapitalEnte de Coordinación Operativa de Servicios en la Capital
Ente de Coordinación Operativa de Servicios en la CapitalEduardo Nelson German
 
Proyecto para reformar la Libertad de Expresión
Proyecto para reformar la Libertad de ExpresiónProyecto para reformar la Libertad de Expresión
Proyecto para reformar la Libertad de ExpresiónEduardo Nelson German
 
maraton atenas veracruzana 2024 calles rutas.pdf
maraton atenas veracruzana 2024 calles rutas.pdfmaraton atenas veracruzana 2024 calles rutas.pdf
maraton atenas veracruzana 2024 calles rutas.pdfredaccionxalapa
 
La lettera di pedro Sanchez che annuncia una "pausa"
La lettera di pedro Sanchez che annuncia una "pausa"La lettera di pedro Sanchez che annuncia una "pausa"
La lettera di pedro Sanchez che annuncia una "pausa"Ilfattoquotidianoit
 
Horarios de cortes de luz en Los Ríos para este lunes, 22 de abril, según CNEL
Horarios de cortes de luz en Los Ríos para este lunes, 22 de abril, según CNELHorarios de cortes de luz en Los Ríos para este lunes, 22 de abril, según CNEL
Horarios de cortes de luz en Los Ríos para este lunes, 22 de abril, según CNELRobertoEspinozaMogro
 
concesion gruas ssp gruas m2 xalapa_.pdf
concesion gruas ssp gruas m2 xalapa_.pdfconcesion gruas ssp gruas m2 xalapa_.pdf
concesion gruas ssp gruas m2 xalapa_.pdfredaccionxalapa
 
Estudio de opinión a nivel nacional (16.04.24) Publicación.pdf
Estudio de opinión a nivel nacional (16.04.24) Publicación.pdfEstudio de opinión a nivel nacional (16.04.24) Publicación.pdf
Estudio de opinión a nivel nacional (16.04.24) Publicación.pdfmerca6
 
Proyecto para la reforma de la Función Judicial
Proyecto para la reforma de la Función JudicialProyecto para la reforma de la Función Judicial
Proyecto para la reforma de la Función JudicialEduardo Nelson German
 
IDEA Perú Percepciones sobre la Democracia y Valores Democráticos 2024.pdf
IDEA Perú Percepciones sobre la Democracia y Valores Democráticos 2024.pdfIDEA Perú Percepciones sobre la Democracia y Valores Democráticos 2024.pdf
IDEA Perú Percepciones sobre la Democracia y Valores Democráticos 2024.pdfEsauEspinozaCardenas
 

Último (20)

COMUNICADO CNE-CAMPAÑA Y PROPAGANDA ELECTORAL 20240423.pdf
COMUNICADO CNE-CAMPAÑA Y PROPAGANDA ELECTORAL 20240423.pdfCOMUNICADO CNE-CAMPAÑA Y PROPAGANDA ELECTORAL 20240423.pdf
COMUNICADO CNE-CAMPAÑA Y PROPAGANDA ELECTORAL 20240423.pdf
 
Carta WPM petición alto al fuego en Gaza
Carta WPM petición alto al fuego en GazaCarta WPM petición alto al fuego en Gaza
Carta WPM petición alto al fuego en Gaza
 
Proyecto por la Regionalización y la Función Municipal
Proyecto por la Regionalización y la Función MunicipalProyecto por la Regionalización y la Función Municipal
Proyecto por la Regionalización y la Función Municipal
 
Proyecto sobre la Libertad de Conciencia Cívica
Proyecto sobre la Libertad de Conciencia CívicaProyecto sobre la Libertad de Conciencia Cívica
Proyecto sobre la Libertad de Conciencia Cívica
 
Aviso de pago de Títulos Públicos de La Rioja
Aviso de pago de Títulos Públicos de La RiojaAviso de pago de Títulos Públicos de La Rioja
Aviso de pago de Títulos Públicos de La Rioja
 
PRECIOS_M_XIMOS_VIGENTES_DEL_21_AL_27_DE_ABRIL_DE_2024.pdf
PRECIOS_M_XIMOS_VIGENTES_DEL_21_AL_27_DE_ABRIL_DE_2024.pdfPRECIOS_M_XIMOS_VIGENTES_DEL_21_AL_27_DE_ABRIL_DE_2024.pdf
PRECIOS_M_XIMOS_VIGENTES_DEL_21_AL_27_DE_ABRIL_DE_2024.pdf
 
Pronunciamiento de Mujeres en defensa de la Ley 348
Pronunciamiento de Mujeres en defensa de la Ley 348Pronunciamiento de Mujeres en defensa de la Ley 348
Pronunciamiento de Mujeres en defensa de la Ley 348
 
Proyecto de reforma por los Derechos Políticos y Régimen Electoral
Proyecto de reforma por los Derechos Políticos y Régimen ElectoralProyecto de reforma por los Derechos Políticos y Régimen Electoral
Proyecto de reforma por los Derechos Políticos y Régimen Electoral
 
Boletín semanal informativo 15 Abril 2024
Boletín semanal informativo 15 Abril 2024Boletín semanal informativo 15 Abril 2024
Boletín semanal informativo 15 Abril 2024
 
La Justicia Federal no le hizo lugar a medida del Intendente de La Rioja cont...
La Justicia Federal no le hizo lugar a medida del Intendente de La Rioja cont...La Justicia Federal no le hizo lugar a medida del Intendente de La Rioja cont...
La Justicia Federal no le hizo lugar a medida del Intendente de La Rioja cont...
 
Ente de Coordinación Operativa de Servicios en la Capital
Ente de Coordinación Operativa de Servicios en la CapitalEnte de Coordinación Operativa de Servicios en la Capital
Ente de Coordinación Operativa de Servicios en la Capital
 
Proyecto para reformar la Libertad de Expresión
Proyecto para reformar la Libertad de ExpresiónProyecto para reformar la Libertad de Expresión
Proyecto para reformar la Libertad de Expresión
 
maraton atenas veracruzana 2024 calles rutas.pdf
maraton atenas veracruzana 2024 calles rutas.pdfmaraton atenas veracruzana 2024 calles rutas.pdf
maraton atenas veracruzana 2024 calles rutas.pdf
 
La lettera di pedro Sanchez che annuncia una "pausa"
La lettera di pedro Sanchez che annuncia una "pausa"La lettera di pedro Sanchez che annuncia una "pausa"
La lettera di pedro Sanchez che annuncia una "pausa"
 
Horarios de cortes de luz en Los Ríos para este lunes, 22 de abril, según CNEL
Horarios de cortes de luz en Los Ríos para este lunes, 22 de abril, según CNELHorarios de cortes de luz en Los Ríos para este lunes, 22 de abril, según CNEL
Horarios de cortes de luz en Los Ríos para este lunes, 22 de abril, según CNEL
 
LA CRÓNICA COMARCA DE ANTEQUERA _ Nº 1077
LA CRÓNICA COMARCA DE ANTEQUERA _ Nº 1077LA CRÓNICA COMARCA DE ANTEQUERA _ Nº 1077
LA CRÓNICA COMARCA DE ANTEQUERA _ Nº 1077
 
concesion gruas ssp gruas m2 xalapa_.pdf
concesion gruas ssp gruas m2 xalapa_.pdfconcesion gruas ssp gruas m2 xalapa_.pdf
concesion gruas ssp gruas m2 xalapa_.pdf
 
Estudio de opinión a nivel nacional (16.04.24) Publicación.pdf
Estudio de opinión a nivel nacional (16.04.24) Publicación.pdfEstudio de opinión a nivel nacional (16.04.24) Publicación.pdf
Estudio de opinión a nivel nacional (16.04.24) Publicación.pdf
 
Proyecto para la reforma de la Función Judicial
Proyecto para la reforma de la Función JudicialProyecto para la reforma de la Función Judicial
Proyecto para la reforma de la Función Judicial
 
IDEA Perú Percepciones sobre la Democracia y Valores Democráticos 2024.pdf
IDEA Perú Percepciones sobre la Democracia y Valores Democráticos 2024.pdfIDEA Perú Percepciones sobre la Democracia y Valores Democráticos 2024.pdf
IDEA Perú Percepciones sobre la Democracia y Valores Democráticos 2024.pdf
 

Exposicion logica simbolica_moderna_

  • 1. INTEGRANTES  ANNY YADIRA BAYONA  MARIA STELLA SANTOS  PAOLA ANDREA BAUTISTA  ANGELICA MARIA ALARCON  NICOLE ANDREA REVUELTAS
  • 2.
  • 3. INTRODUCCION A FINALES DEL SIGLO XIX OTRO METODO DE ANALISIS DE LOS RAZONAMIENTOS HIZO SU APARICION EN EL AMBITO DE LA LOGICA. ESTE NUEVO METODO PERMITIO ANALIZAR OTRA CLASE DE ARGUMENTOS QUE NO ERAN YA LOS TIPICOS RAZONAMIENTOS SILOGISTICOS. LA LOGICA SIMBOLICA, ENTONCES, SE CONVIERTE EN ESA NUEVA HERRAMIENTA QUE NOS PERMITE CONSIDERAR ESTA OTRA CLASE DE RAZONAMIENTOS, LOS CUALES, COMO SE DIJO, NO SE PUEDEN EXAMINAR CON LOS CONOCIMIENTOS Y LAS TECNICAS DE LA LOGICA DEL SILOGISMO. EN ESTE SENTIDO, SE PODRIA AFIRMAR QUE LA LOGICA SIMBOLICA MODERNA ES MAS “POTENTE” QUE LA LOGICA TRADICIONAL SILOGISTICA, YA QUE ESTA SE LIMITA EXCLUSIVAMENTE A EVALUAR LA CLASE DE RAZONAMIENTOS QUE SE EXPRESA POR MEDIO DE PROPOSICIONES CATEGORICAS, COMO ES EL CASO DE TODO SILOGISMO. LOS SILOGISMOS COMPRENDEN TRES TERMINOS Y TRES PROPOSICIONES CATEGORICAS, DOS DE LAS CUALES SON LAS PREMISAS Y LA OTRA LA CONCLUSION. EN COMPARACION LA LOGICA TRADICIONAL SILOGISTICA FRENTE A LA LOGICA SIMBOLICA, SE PUEDEN EXAMINAR ARGUMENTOS CON VARIAS PREMISAS, ADEMAS DE CONCLUSIONES CON VARIOS TERMINOS. DICHO DE OTRA MANERA, LOS RAZONAMIENTOS DE QUE TRATA LA LOGICA SIMBOLICA PUEDEN SER MAS COMPLEJOS QUE LOS EXAMINADOS POR LA LOGICA TRADICIONAL.
  • 4. LOS CONECTIVOS LÓGICOS ES UN TERMINO O UN SIMBOLO QUE PERMITE RELACIONAR DOS PROPOSICIONES. EJEMPLO:  JUAN ES UN ESTUDIANTE APLICADO PROPOSICIONES ATOMICAS PUESTO QUE JUAN ES UN ESTUDIANTE APLICADO, ENTONCES GANARA EL EXAMEN MAÑANA PROPOSICIONES MOLECULARES  PUESTO QUE JUAN ES UN ESTUDIANTE APLICADO Y ESTUDIARA ESTA NOCHE, ENTONCES GANARA EL EXAMEN DE MAÑANA PUES MARIA NO QUIERE ESTUDIAR HOY. LOS CONECTIVOS QUE NO PARECEN EXPLÍCITOS, UN ARGUMENTO PUEDE TENER CONECTIVOS COMO: ENTONCES, POR LO TANTO, POR CONSIGUIENTE, ETC.
  • 5. ESTOS SE UTILIZAN PARA REPRESENTAR PROPOSICIONES MOLECULARES. LA NEGACION(NO): NO ES UN SIMBOLO QUE COMO TAL CONECTE PROPOSICIONES. EJEMPLO: JUAN NO ESTUDIARA ESTA NOCHE JUAN ES INCAPAZ DE HACERLE DAÑO A MARIA. CONJUGACIÓN(^): CUANDO SE TRATA DE PROPOSICIONES SEPARADAS POR EL SIGNO DE PUNTUACIÓN “EL PUNTO SEGUIDO”, CADA PREPOSICIÓN IMPLÍCITAMENTE SE UNE A LA OTRA POR MEDIO DE LA CONJUGACIÓN. EJEMPLO: JUAN ES BUENA GENTE Y DESPISTADO. JUAN ES BUENA GENTE, AUNQUE DESPISTADO. IMPLICACIÓN ( ):LA LOGICA SE OCUPA DE LAS RELACIONES DE IMPLICACÓN ENTRE LAS PROPOSICIONES: “ SI TAL COSA, ENTONCES TAL OTRA” LOS SIMBOLOS DE LOS CONECTIVOS LOGICOS
  • 6. EJEMPLO: SI MARÍA SE CASA CON UN PSICÓPATA, ENTONCES LO MAS PROBABLE ES QUE SU MATRIMONIO NO LE DURE MUCHO. SI MARIA SE GOLPEA ENTONCES LLORA. LA DISYUNCIÓN INCLUSIVA(v) :ES UN CONECTIVO QUE PODEMOS UTILIZAR PARA SEPARAR DOS PROPOSICIONES. EJEMPLO: “MARIA ESTA ENAMORADA DE JUAN O DE FRANCISCO” LA DISYUNCION EXCLUSIVA (W): HAY TRES FORMAS COMO PODEMOS LLEGAR A SABER QUE LA DISYUNCION QUE ESTAMOS EMPLEANDO EN UN MOMENTO DETERMINADO EN UN PROPOSICIÓN MOLECULAR UNA ES DISYUNCION EXCLUSIVA EJEMPLO: SI JUAN HUBIERA AFIRMADO: “VOY A CINE O VOY A LA FIESTA”, PERO NO A LAS DOS COSAS. PACO ESTA VIVO O PACO ESTA MUERTO. LA DOBLE IMPLICACIÓN( ): DECIMOS QUE HAY DOBLE IMPLICACIÓN CUANDO AL ANTECEDENTE Y EL CONSECUENTE DE UNA IMPLICACIÓN SE CO-IMPLICAN, ES DECIR, CUANDO EL ANTECEDENTE IMPLICA EL CONSECUENTE, Y ESTE A SU VEZ, IMPLICA EL ANTECEDENTE. EJEMPLO: (SI Y SOLO SI) VOY A CINE SI Y SOLO SI JUAN ME GASTA LA ENTRADA.
  • 7. SIMBOLIZACION DE PROPOSICIONES MOLECULARES 1. (A)= JUAN ES UN ESTUDIANTE Y (Q)= QUIERE ESTUDIAR CON MARIA: SOLUCION (A^Q) 2. (A)= PUESTO QUE JUAN ES UN ESTUDIANTE APLICADO, ENTONCES (G)= GANARA EL EXAMEN DE MAÑANA= (A G) SIMBOLOS DE CONECTIVOS LOGICOS
  • 8. VALOR DE VERDAD DE LAS PROPOSICIONES MOLECULARES LA CONJUNCION: DADAS DOS PROPOSICIONES P Y Q , SE DENOMINA CONJUNCION DE ESTAS PROPOSICIONES A LA PROPOSICION P Q (SE LEE “P Y Q”), CUYA TABLA DE VERDAD ES: DISYUNCION INCLUSIVA:  SI COMENZAMOS CON LOS ENUNCIADOS N: “CARLOS ES HINCHA DEL NACIONAL DE MEDELLIN” O D:“DEL DEPORTIVO CALI”, PODEMOS FORMAR EL ENUNCIADO “O YO SOY HINCHA DEL NACIONAL DE MEDELLIN, O SOY HINCHA DEL DEPORTIVO CALI”, QUE SE REPRESENTA SIMBOLICAMENTE “N v D” Y QUE SE LEE “N O D”. COMO SUCEDE QUE EN EL LENGUAJE NATURAL LA CONJUNCION DISYUNTIVA ”O” PUEDE TENER VARIOS SIGNIFICADOS, LA DISYUNCION INCLUSIVA O: N v D SIGNIFICA QUE N ES VERDAD, O BIEN D ES VERDAD, O BIEN AMBOS SON VERDAD.
  • 9. DISYUNCION EXCLUSIVA  DISYUNCION EXCLUSIVA, QUE VIENE A DECIR QUE AL MENOS UNA DE LAS OPCIONES ES VERDADERA, PERO SOLO UNA SE SIMBOLIZA CON “v” O “w”. EJEMPLO: “O VOY A CINE O VOY A LA FIESTA”  C: “IR A CINE” F: “IR A LA FIESTA” IMPLICACION “SI JUAN LE MIENTE A MARIA, ENTONCES MARIA SE ENOJA CON EL”: J: “JUAN LE MIENTE A MARIA” E:” MARIA SE ENOJA CON JUAN” DOBLE IMPLICACION  DOBLE IMPLICACION DE LAS PROPOSICIONES P Y Q ES LA PROPOSICION P Q (QUE SE LEE “P SI Y SOLO SI Q”)
  • 10. TAUTOLOGIA, CONTRADICCIONES Y CONTINGENCIAS LAS CONTRADICCIONES SIEMPRE SERAN FALSAS. ESTABLEZCAMOS LOS VALORES DE L A VERDAD APLICANDO LA FORMULA DONDE 2n, DONDE “n”, RECORDEMOS, EQUIVALE AL NUMERO DE PROPOSICIONES. REPRESENTACIÓN: P^ - P V V F… DESPUES DE APLICAR LA NEGACIÓN F F V… DESPUES DE APLICAR LA NEGACIÓN SI SE APLICA LA LEY DE LA CONJUNCION UNIMOS LOS VALORES DE LA PRIMERA LÍNEA CON LOS DE LA SEGUNDA, Y ASÍ EL RESULTADO SIEMPRE SERA “F”. LAS CONTINGENCIAS SON PROPOSICIONES QUE DAN VALORES TANTO FALSOS COMO VERDADEROS. ES POR ESO QUE LA EXPRESIÓN P Q, APLICADOS TODOS LOS VALORESDE VERDAD, ES DECIR, ALGO QUE PUEDE DARSE O NO DARSE, Y POR ESO LOS VALORES COMBINADOS.
  • 11. REPRESENTACIÓN: P Q V - F F - V F - F V - V LA TAUTOLOGIA, TODOS SUS RESULTADOS SOLO PERMITEN VALORES VERDADEROS EN TODAS SUS RELACIONES. EJEMPLO: [(P Q) ^ P] Q V V V V V F V F F V F V F F F F AL FINAL DE ESTA CADENA LOS RESULTADOS FINALES DEBEN SER CON VALORES DE VERDAD “V”. [(P Q) ^ P] Q EN CONCLUSIÓN, LAS TAUTOLOGIAS SON V V V V V V V EXPRESIONES DE LAS CUALES NO SE PUEDE DUDAR V F F F V V F SU ABSOLUTA VERDAD. LAS CONTINGENCIAS, POR SU F V V F F V V PARTE, SON EXPRESIONES QUE NO TIENEN CARÁCTER DE F V F F F V F VERDAD DEFINITIVO. Y LAS CONTRADICCIONES SON EXPRESIONES QUE JAMAS PUEDEN SER VERDADERAS. 1 2 3
  • 12. DEMOSTRACION DE VALIDEZ UN ARGUMENTO ES VALIDO SI PODEMOS DECIR DE ÉL QUE ES O NO UNA TAUTOLOGIA, TAMBIEN RESULTA FACIL DETERMINAR SI UNA CADENA PROPOSICIONAL CORTA ES O NO UNA TAUTOLOGIA. ESTA TEORIA ES CIERTA EN CADENAS PROPOSICIONALES CORTAS PUES EL NUMERO DE PROPOSICIONES ES MINIMO, SI APLICAMOS LA FORMULA DE 2n, NO ES NECESARIO ASIGNARLES MUCHOS VALORES DE VERDAD A LAS PROPOSICIONES. REPRESENTACION: {[(L R)] ^ [(L ^ R) P] ^ [(L P) C] ^ [(C v I)]} I DE AHORA EN ADELANTE, PARA USAR LAS HERRAMIENTAS DE LA LOGICA SIMBOLICA, VAMOS PRIMERO QUE TODO A DESCRIBIR LAS CADENAS PROPOSICIONALES DE UN ARGUMENTO DE MANERA HORIZONTAL. REPRESENTACION: 1.(L R) 2.(L ^ R) P 3.(L P) - C 4.(C v I) . . . I
  • 13. REGLAS DE INFERENCIA 1.MODUS PONENS (M. P.) P Q P . . . Q 2.MODUS TOLLENS (M. T.) P Q -Q . . . -P 3.SILOGISMO HIPOTETICO (S. H.) P Q Q R . . . P R 4.SILOGISMO DIYUNTIVO (S. D.) P v Q -P . . . Q 5.DILEMA CONSTRUCTIVO (D. C.) (P Q) ^ (R S) P v R . . . Q v S
  • 14. 6. ABSORCION (ABS.) P Q . . . P (P^Q) 7.SIMPLIFICACION (SIMP.) P ^ Q . . . P 8.CONJUNCION (CONJ.) P Q . . . P ^ Q 9.ADICION (AD.) P . . . P v Q
  • 15. REGLAS DE EQUIVALENCIA 10. TEOREMAS DE MORGAN (DE M.): - (P^Q) = (-P v –Q) - (P v Q) = (-P^-Q) 11. CONMUTACION (CONM.): (P v Q) = (Q v P) (P ^ Q) = (Q ^ P) 12. ASOCIACION (ASOC.): [P v(Q v R)] = [(P v Q) v R] [P ^(Q ^ R)] = [(P ^ Q) ^ R] 13.DITRIBUCION (DIST.): [P ^ (Q v R)] = [(P ^ Q) v (P ^ R)] [P v (Q ^ R) = (P v Q) ^ (P v R)] 14. DOBLE NEGACION (D. N): P = - - Q 15. TRANSPOSICION (TRANS.): (P Q)= (-P -Q) 16. IMPLICACION MATERIAL (IMPL.): (P Q) = (-P v Q) 17. EQUIVALENCIA MATERIAL (EQUIV.): (P = Q) = [(P Q) ^ (Q P)] (P = Q) = [(P ^ Q) v (- P ^ - Q)] 18.EXPORTACION (EXP.):[(P ^ Q) R] = [P (Q R)] 19.TAUTOLOGIA (TAUT.): P = (P v P) P = (P ^ P)
  • 16. DEMOSTRACION POR REDUCCION A LO ABSURDO NO TODAS LAS VECES LLEGAMOS A PROBAR QUE UNA CONCLUSION SE SIGUE EFECTIVAMENTE DE LAS PREMISAS. SIN EMBARGO, PODEMOS DERIVAR, DE MANERA INDIRECTA, LA CONCLUSION DE UN RAZONAMIENTO, SIN LLEGAR EXPLICITAMENTE A ELLA. NO SOLO ESTAMOS DISPUESTOS A ACEPTAR UNA CONCLUSION POR EL HECHO DE QUE PROBEMOS QUE SE SIGUE LOGICAMENTE DE LOS ENUNCIADOS INICIALES. TAMBIEN PODEMOS AFIRMAR QUE UNA CONCLUSION X SE SIGUE DE LAS PREMISAS AL MOSTRAR QUE SI ASUMIMOS LA FALSEDAD DE LA CONCLUSION, PRONTO NOS TOPAREMOS CON UNA CONTRADICCION. ESTE PROCEDIMIENTO SE DENOMINA REDUCCION AL ABSURDO. EJEMPLO: JUAN ESTA ESPERANDO QUE SU AMIGO LUISLLEGUE A LA CITA DE LAS 7:00 P. M. PERO, PASADOS 25 MINUTOS DE ESA HORA, LUIS AUN NO LLEGA. ¿LLEGARA LUIS A SU CITA? LA CONCLUSION A LA QUE QUIERE LLEGAR JUAN ES QUE SI, ES DECIR, QUE EFECTIVAMENTE LUIS LLEGARA. PERO PARA SABER QUE VA A LLEGAR, JUAN COMIENZA A SUPONER LO CONTRARIO, ES DECIR, QUE LUIS NO LLEGARA. AL HACER ESTO, SIN EMBARGO, SE DA CUENTA DE QUE ASUMIR QUE
  • 17. LUIS NO LLEGARA SE CONTRADICE CON INFORMACION PREVIA QUE SE DA CUENTA DE QUE ASUMIR QUE LUIS NO LLEGARA SE CONTRADICE CON INFORMACION PREVIA QUE SE DA POR CIERTA, POR EJEMPLO, QUE LUIS ES BASTANTE PUNTUAL, QUE ESTA INTERESADO EN LLEGAR PORQUE VIENE A RECOGER UNA DROGA PARA SU MADRE, POR LO TANTO, CONCLUYE JUAN, LUIS LLEGARA. REPRESENTACION: 1. (L R) 2. (L ^ R) P 3. (L P) - C 4. (C v I) __________________ 5. –I PREMISA ADICIONAL DE NEGACION DE LA CONCLUSION 6. C SILOGISMO DISYUNTIVO ENTRE 4 Y 5 7. L (L ^ R) ABSORCION EN 1 8. L P SILOGISMO HIPOTETICO EN 7 Y 2 9. –C MODUS PONENS EN 3 Y 8 10. C ^ -C CONTRADICCION, CONJUNCION EN 6 Y 9
  • 20. LA DEMOSTRACIÓN INDIRECTA ESTE METODO TRATA DE ASIGNARLES VALORES A LAS PREMISAS (VERDADERAS) Y A LA CONCLUSION (FALSA). IMPLICA QUE LAS PREMISAS DE UN ARGUMENTO SEAN VERDADERAS POR CONSECUENTE LA CONCLUSION SERA FALSA. POR LO TANTO, ESTE ARGUMENTO ES INVALIDO, O, LO QUE ES LO MISMO ES IMPOSIBLE LLEGAR A LA CONCLUSION DEL MISMO SIGUIENDO LEYES LOGICAS. EJEMPLO: P PREMISA Q CONCLUSION