SlideShare ist ein Scribd-Unternehmen logo
1 von 19
   Proposiciones atómicas y moleculares
   Tautologías
   Contradicciones
   Contingencias
   Leyes lógicas
   Relaciones entre proposiciones
   El método del condicional asociado
› Conjunciones
› Disyunciones
› Condicionales
› Bicondicionales
› Negación
Unión de dos proposiciones atómicas

               Ejemplo




   “Alanis en un perro y Kimi es un gato.”
Tipos de proposiciones disyuntivas.
      Incluyentes


                    Me serviré postre o café.



      Excluyentes

                    El precio del menú incluye postre o
                    café.
   Distinguimos un antecedente y un
    consecuente.



      “Si estudia inglés entonces viajará a los
    Estados Unidos.”
   Son proposiciones que expresan la
    equivalencia o mutua.



     “Ingresa a la faculta si y sólo si aprueba
    el examen.”
   La negación invierte el valor de una
    proposición.



    “Napoleón murió un Francia.”
    “Napoleón no murió en Francia.”
   Se denomina ley lógica a toda forma
    proposicional tal que al sustituir sus variables por
    constantes, es decir, las letras proposicionales por
    proposiciones, el resultado es siempre un
    proposición verdadera.
   Implicación



    (-p   .   -   q)       -p

    F     F   F        V   F

    V     F   F        V   V

     F    F   V        V   F

    V     V   V        V   V
(p   w   q)       (p       -   q)

V    F   V    V   V    F   F

F    V   V    V   F    V   F

V    V   F    V   V    V   V

F    F   F    V   F    F   V
Este método permite verificar mecánicamente a
 validez o invalidez de un razonamiento.
“Si la computadora en muy potente, los programas
 corren rápido. Pero los programas no corren
 rápido. Por lo tanto la computadora no es muy
 potente.”
 Marital, Ibel
 Ruffolo, Nerea
 Yanzón, Natalia
Lógica

Weitere ähnliche Inhalte

Was ist angesagt?

Matematica iii clases cinthya
Matematica  iii clases cinthyaMatematica  iii clases cinthya
Matematica iii clases cinthya
Cinthya Huamani
 
Esquema cuadro tradicional de oposición de boecio semestral uni
Esquema cuadro tradicional de oposición de boecio semestral uniEsquema cuadro tradicional de oposición de boecio semestral uni
Esquema cuadro tradicional de oposición de boecio semestral uni
rafael felix
 

Was ist angesagt? (17)

Slideshare inglés
Slideshare inglésSlideshare inglés
Slideshare inglés
 
Condicionales
CondicionalesCondicionales
Condicionales
 
Logica Matemática Introducción A La Logica
Logica Matemática Introducción A La  LogicaLogica Matemática Introducción A La  Logica
Logica Matemática Introducción A La Logica
 
Proposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesProposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de Proposiciones
 
Logica
LogicaLogica
Logica
 
Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposiciones
 
Logica proposisional
Logica  proposisionalLogica  proposisional
Logica proposisional
 
Matematica iii clases cinthya
Matematica  iii clases cinthyaMatematica  iii clases cinthya
Matematica iii clases cinthya
 
Estructura
EstructuraEstructura
Estructura
 
Silogismos 2
Silogismos 2Silogismos 2
Silogismos 2
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Unidad I álgebra-proposicional
Unidad I álgebra-proposicionalUnidad I álgebra-proposicional
Unidad I álgebra-proposicional
 
Cuadro De Boecio
Cuadro De BoecioCuadro De Boecio
Cuadro De Boecio
 
Proposicion
ProposicionProposicion
Proposicion
 
Esquema cuadro tradicional de oposición de boecio semestral uni
Esquema cuadro tradicional de oposición de boecio semestral uniEsquema cuadro tradicional de oposición de boecio semestral uni
Esquema cuadro tradicional de oposición de boecio semestral uni
 
Las Condicionales - Ingles
Las Condicionales - InglesLas Condicionales - Ingles
Las Condicionales - Ingles
 
Actividad Obligatoria N°1 - Introduccion a la Informatica
Actividad Obligatoria N°1 - Introduccion a la InformaticaActividad Obligatoria N°1 - Introduccion a la Informatica
Actividad Obligatoria N°1 - Introduccion a la Informatica
 

Andere mochten auch

logica de proposiciones
logica de proposicioneslogica de proposiciones
logica de proposiciones
Daniel Dp
 
tautologia contradiccion y contingencia
 tautologia contradiccion y contingencia tautologia contradiccion y contingencia
tautologia contradiccion y contingencia
CristianRgz94
 
Tautologias y Contradicciones
Tautologias y ContradiccionesTautologias y Contradicciones
Tautologias y Contradicciones
guestd1874f
 
U1_1_2_Argumentos
U1_1_2_ArgumentosU1_1_2_Argumentos
U1_1_2_Argumentos
rezzaca
 
Logica 1
Logica 1Logica 1
Logica 1
Leonel
 
Prueba inicial de polinomios
Prueba inicial de polinomiosPrueba inicial de polinomios
Prueba inicial de polinomios
wapch80
 
CUBO DE SUMA Y DIFERENCIA DE DOS TERMINOS
CUBO DE SUMA Y DIFERENCIA DE DOS TERMINOSCUBO DE SUMA Y DIFERENCIA DE DOS TERMINOS
CUBO DE SUMA Y DIFERENCIA DE DOS TERMINOS
marthacecil
 
Tautologia y contadiccion
Tautologia y contadiccionTautologia y contadiccion
Tautologia y contadiccion
drakul09
 

Andere mochten auch (20)

Fundamentos de lógica e Informática (Primera Parte)
Fundamentos de lógica e Informática (Primera Parte)Fundamentos de lógica e Informática (Primera Parte)
Fundamentos de lógica e Informática (Primera Parte)
 
Presentación logica
Presentación logicaPresentación logica
Presentación logica
 
logica de proposiciones
logica de proposicioneslogica de proposiciones
logica de proposiciones
 
tautologia contradiccion y contingencia
 tautologia contradiccion y contingencia tautologia contradiccion y contingencia
tautologia contradiccion y contingencia
 
Tautologias y Contradicciones
Tautologias y ContradiccionesTautologias y Contradicciones
Tautologias y Contradicciones
 
1.clase introduccion-logica
1.clase introduccion-logica1.clase introduccion-logica
1.clase introduccion-logica
 
Ejemplos de tautología
Ejemplos de tautologíaEjemplos de tautología
Ejemplos de tautología
 
Fundamentos Informáticos II Bim Lógica
Fundamentos Informáticos II Bim LógicaFundamentos Informáticos II Bim Lógica
Fundamentos Informáticos II Bim Lógica
 
U1_1_2_Argumentos
U1_1_2_ArgumentosU1_1_2_Argumentos
U1_1_2_Argumentos
 
Logica 1
Logica 1Logica 1
Logica 1
 
Logica ejercicios tutoria
Logica ejercicios tutoriaLogica ejercicios tutoria
Logica ejercicios tutoria
 
Prueba inicial de polinomios
Prueba inicial de polinomiosPrueba inicial de polinomios
Prueba inicial de polinomios
 
TAUTOLOGÍA .
TAUTOLOGÍA .TAUTOLOGÍA .
TAUTOLOGÍA .
 
CUBO DE SUMA Y DIFERENCIA DE DOS TERMINOS
CUBO DE SUMA Y DIFERENCIA DE DOS TERMINOSCUBO DE SUMA Y DIFERENCIA DE DOS TERMINOS
CUBO DE SUMA Y DIFERENCIA DE DOS TERMINOS
 
Tema VII (Polinomios)
Tema VII (Polinomios)Tema VII (Polinomios)
Tema VII (Polinomios)
 
Proposiciones lógicas power point
Proposiciones lógicas  power pointProposiciones lógicas  power point
Proposiciones lógicas power point
 
Tautologia y contadiccion
Tautologia y contadiccionTautologia y contadiccion
Tautologia y contadiccion
 
Presentación de Lógica
Presentación de LógicaPresentación de Lógica
Presentación de Lógica
 
Constitución de la República de Guatemala
Constitución de la República de Guatemala Constitución de la República de Guatemala
Constitución de la República de Guatemala
 
Capitulo 1 y 2 de la constitucion politica de la republica de guatemala
Capitulo 1 y 2 de la constitucion politica de la republica de guatemalaCapitulo 1 y 2 de la constitucion politica de la republica de guatemala
Capitulo 1 y 2 de la constitucion politica de la republica de guatemala
 

Ähnlich wie Lógica

Presentación Orlando Aponte
Presentación Orlando ApontePresentación Orlando Aponte
Presentación Orlando Aponte
AponteOrlandoUFT
 
Presentación orlando aponte
Presentación orlando apontePresentación orlando aponte
Presentación orlando aponte
AponteOrlandoUFT
 
Presentación orlando aponte uft
Presentación orlando aponte uftPresentación orlando aponte uft
Presentación orlando aponte uft
AponteOrlandoUFT
 
Presentación orlando aponte uft
Presentación orlando aponte uftPresentación orlando aponte uft
Presentación orlando aponte uft
AponteOrlandoUFT
 
Presentación orlando aponte uft
Presentación orlando aponte uftPresentación orlando aponte uft
Presentación orlando aponte uft
AponteOrlandoUFT
 
Nociones de lógica
Nociones de lógicaNociones de lógica
Nociones de lógica
Juan Carlos
 
La logica formal
La logica formalLa logica formal
La logica formal
masgsg2013
 
Estructura discreta
Estructura discretaEstructura discreta
Estructura discreta
Ivan Bernal
 

Ähnlich wie Lógica (20)

Logica 2009
Logica 2009Logica 2009
Logica 2009
 
Presentación Orlando Aponte
Presentación Orlando ApontePresentación Orlando Aponte
Presentación Orlando Aponte
 
Presentación orlando aponte
Presentación orlando apontePresentación orlando aponte
Presentación orlando aponte
 
Presentación orlando aponte uft
Presentación orlando aponte uftPresentación orlando aponte uft
Presentación orlando aponte uft
 
Presentación orlando aponte uft
Presentación orlando aponte uftPresentación orlando aponte uft
Presentación orlando aponte uft
 
Presentación orlando aponte uft
Presentación orlando aponte uftPresentación orlando aponte uft
Presentación orlando aponte uft
 
equivalencia e implicacion.pptx
equivalencia e implicacion.pptxequivalencia e implicacion.pptx
equivalencia e implicacion.pptx
 
ESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETASESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETAS
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Capitulo3: Leyes lógicas
Capitulo3: Leyes lógicasCapitulo3: Leyes lógicas
Capitulo3: Leyes lógicas
 
Calculo proposicional - Introducción
Calculo proposicional - IntroducciónCalculo proposicional - Introducción
Calculo proposicional - Introducción
 
1 Logica.pptx
1 Logica.pptx1 Logica.pptx
1 Logica.pptx
 
Nociones de lógica
Nociones de lógicaNociones de lógica
Nociones de lógica
 
La logica formal
La logica formalLa logica formal
La logica formal
 
Tema 4. la logica formal
Tema 4. la logica formalTema 4. la logica formal
Tema 4. la logica formal
 
Calculo Proposicional
Calculo ProposicionalCalculo Proposicional
Calculo Proposicional
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Estructura discreta
Estructura discretaEstructura discreta
Estructura discreta
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 

Mehr von COLEGIO PADRE CLARET

Tp5 las redes sociales nicole nariccio ariella guarino joaquin yornet
Tp5 las redes sociales nicole nariccio ariella guarino joaquin yornetTp5 las redes sociales nicole nariccio ariella guarino joaquin yornet
Tp5 las redes sociales nicole nariccio ariella guarino joaquin yornet
COLEGIO PADRE CLARET
 

Mehr von COLEGIO PADRE CLARET (20)

Tp5 las redes sociales nicole nariccio ariella guarino joaquin yornet
Tp5 las redes sociales nicole nariccio ariella guarino joaquin yornetTp5 las redes sociales nicole nariccio ariella guarino joaquin yornet
Tp5 las redes sociales nicole nariccio ariella guarino joaquin yornet
 
Tp3 informatica
Tp3 informaticaTp3 informatica
Tp3 informatica
 
Tratamiento de la información _ Joaquín Yornet
Tratamiento de la información _ Joaquín YornetTratamiento de la información _ Joaquín Yornet
Tratamiento de la información _ Joaquín Yornet
 
T.I.C
T.I.CT.I.C
T.I.C
 
Tics
TicsTics
Tics
 
Tic
TicTic
Tic
 
Moyano tratamiento de la informacion
Moyano tratamiento de la informacionMoyano tratamiento de la informacion
Moyano tratamiento de la informacion
 
tictp
tictptictp
tictp
 
Tictp1partebclaracremaschi
Tictp1partebclaracremaschiTictp1partebclaracremaschi
Tictp1partebclaracremaschi
 
Ticpre
TicpreTicpre
Ticpre
 
Tp1 parte b betancourt
Tp1 parte b betancourtTp1 parte b betancourt
Tp1 parte b betancourt
 
Tic aruani
Tic aruaniTic aruani
Tic aruani
 
Tic corvalan
Tic corvalanTic corvalan
Tic corvalan
 
Powerpoint
PowerpointPowerpoint
Powerpoint
 
Tic
TicTic
Tic
 
Trabajotic
TrabajoticTrabajotic
Trabajotic
 
Solguignet TIC
Solguignet TICSolguignet TIC
Solguignet TIC
 
Tic
TicTic
Tic
 
Eje 1: "Tratamiento de la información" -TIC
Eje 1: "Tratamiento de la información" -TIC Eje 1: "Tratamiento de la información" -TIC
Eje 1: "Tratamiento de la información" -TIC
 
Tratamiento de información - Mia Puigneró
Tratamiento de información - Mia Puigneró Tratamiento de información - Mia Puigneró
Tratamiento de información - Mia Puigneró
 

Kürzlich hochgeladen

redes informaticas en una oficina administrativa
redes informaticas en una oficina administrativaredes informaticas en una oficina administrativa
redes informaticas en una oficina administrativa
nicho110
 

Kürzlich hochgeladen (12)

Innovaciones tecnologicas en el siglo 21
Innovaciones tecnologicas en el siglo 21Innovaciones tecnologicas en el siglo 21
Innovaciones tecnologicas en el siglo 21
 
EL CICLO PRÁCTICO DE UN MOTOR DE CUATRO TIEMPOS.pptx
EL CICLO PRÁCTICO DE UN MOTOR DE CUATRO TIEMPOS.pptxEL CICLO PRÁCTICO DE UN MOTOR DE CUATRO TIEMPOS.pptx
EL CICLO PRÁCTICO DE UN MOTOR DE CUATRO TIEMPOS.pptx
 
Buenos_Aires_Meetup_Redis_20240430_.pptx
Buenos_Aires_Meetup_Redis_20240430_.pptxBuenos_Aires_Meetup_Redis_20240430_.pptx
Buenos_Aires_Meetup_Redis_20240430_.pptx
 
redes informaticas en una oficina administrativa
redes informaticas en una oficina administrativaredes informaticas en una oficina administrativa
redes informaticas en una oficina administrativa
 
How to use Redis with MuleSoft. A quick start presentation.
How to use Redis with MuleSoft. A quick start presentation.How to use Redis with MuleSoft. A quick start presentation.
How to use Redis with MuleSoft. A quick start presentation.
 
pruebas unitarias unitarias en java con JUNIT
pruebas unitarias unitarias en java con JUNITpruebas unitarias unitarias en java con JUNIT
pruebas unitarias unitarias en java con JUNIT
 
Avances tecnológicos del siglo XXI y ejemplos de estos
Avances tecnológicos del siglo XXI y ejemplos de estosAvances tecnológicos del siglo XXI y ejemplos de estos
Avances tecnológicos del siglo XXI y ejemplos de estos
 
EVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptx
EVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptxEVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptx
EVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptx
 
Avances tecnológicos del siglo XXI 10-07 eyvana
Avances tecnológicos del siglo XXI 10-07 eyvanaAvances tecnológicos del siglo XXI 10-07 eyvana
Avances tecnológicos del siglo XXI 10-07 eyvana
 
Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...
Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...
Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...
 
investigación de los Avances tecnológicos del siglo XXI
investigación de los Avances tecnológicos del siglo XXIinvestigación de los Avances tecnológicos del siglo XXI
investigación de los Avances tecnológicos del siglo XXI
 
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptxPROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
 

Lógica

  • 1.
  • 2.
  • 3. Proposiciones atómicas y moleculares  Tautologías  Contradicciones  Contingencias  Leyes lógicas  Relaciones entre proposiciones  El método del condicional asociado
  • 4.
  • 5. › Conjunciones › Disyunciones › Condicionales › Bicondicionales › Negación
  • 6. Unión de dos proposiciones atómicas Ejemplo “Alanis en un perro y Kimi es un gato.”
  • 7. Tipos de proposiciones disyuntivas. Incluyentes Me serviré postre o café. Excluyentes El precio del menú incluye postre o café.
  • 8. Distinguimos un antecedente y un consecuente. “Si estudia inglés entonces viajará a los Estados Unidos.”
  • 9. Son proposiciones que expresan la equivalencia o mutua. “Ingresa a la faculta si y sólo si aprueba el examen.”
  • 10. La negación invierte el valor de una proposición. “Napoleón murió un Francia.” “Napoleón no murió en Francia.”
  • 11.
  • 12.
  • 13.
  • 14. Se denomina ley lógica a toda forma proposicional tal que al sustituir sus variables por constantes, es decir, las letras proposicionales por proposiciones, el resultado es siempre un proposición verdadera.
  • 15. Implicación (-p . - q) -p F F F V F V F F V V F F V V F V V V V V
  • 16. (p w q) (p - q) V F V V V F F F V V V F V F V V F V V V V F F F V F F V
  • 17. Este método permite verificar mecánicamente a validez o invalidez de un razonamiento. “Si la computadora en muy potente, los programas corren rápido. Pero los programas no corren rápido. Por lo tanto la computadora no es muy potente.”
  • 18.  Marital, Ibel  Ruffolo, Nerea  Yanzón, Natalia