SlideShare una empresa de Scribd logo
LOGICA FORMAL Y
SIMBOLICO
MATEMÁTICAS
CONCEPTO
QUE ES LA LOGICA?:
es una disposición natural de los seres humanos para pensar de
forma coherente
estructura del pensamiento que permite verificar si un
razonamiento es correcto o incorrecto
estudio de los métodos y principio indispensables para distinguir el
razonamiento correcto del incorrecto
LOGICA MATEMATICA
Es una ciencia que estudia los procedimientos para distinguir si un razonamiento es correcto o
incorrecto
Una proposición es una oración que puede ser falsa o verdadera, si o no, correcta o incorrecta
Ej. preposiciones
5 > 3 - logico
El N.º 2 es par - correcto
La semana tiene 8 días – no
Hay oraciones que no pueden ser proposiciones
Ej. ¿Cómo te llamas?
Las letras más usadas en las proposiciones son p, q, r, s, t
CONECTORES LOGICOS Y PROPOCICIONES
No (¬, ~, /, ‘) significa negación
Y ( ^ ) // conjunción
O ( v ) // disyunción
Entonces ( -> ) // condición
Si y solo si ( <-> ) // bicondicional
Proposiciones
p: iré al cine
q: iré a jugar futbol
r: te regalo dulces
s: está lloviendo
t: te regalo flores
NEGACION “¬”
Este conector indica la negación de una proposición
p: iré al cine
¬p = no iré al cine
Cuando haya o se encuentre doble negación se simplifica. Es el único caso en el
que se repiten algún tipo de conector
Ej. ¬¬p = p
CONJUNCION “^”
La conjunción es un conector en el que dadas 2 proporciones se aplican ambas
Ej.
q: iré a jugar futbol
r: te regalo dulces
q ^ r
Iré a jugar futbol y te regalare dulces
DISYUNCION “v”
Este conector se aplica dada 2 o mas proposiciones cuando alguna de ellas se
cumpla.
Ej.
p: iré al cine
q: iré a jugar futbol
p v q
iré al cine o iré a jugar futbol
CONDICIONAL “->”
Este conector funciona cuando una proposición condiciona a otra proposición
Ej.
q: iré a jugar futbol
t: te regalo flores
q -> t
si iré al cine. Entonces te regalo flores
BICONDICIONAL “<->”
Este conector se usa cuando una proposición se da si solo si otra proporción se cumple
Ej.
r: te regalo dulces
q: iré a jugar futbol
r <-> q
te regalo dulces si solo si voy a jugar futbol

Más contenido relacionado

Similar a expo_logica.pptx

La lógica matemática
La lógica matemáticaLa lógica matemática
La lógica matemática
Graciela Slekis Riffel
 

Similar a expo_logica.pptx (20)

Matematica
MatematicaMatematica
Matematica
 
Matematica
MatematicaMatematica
Matematica
 
1 Lógica Proposicional.pptx
1 Lógica Proposicional.pptx1 Lógica Proposicional.pptx
1 Lógica Proposicional.pptx
 
La lógica matemática
La lógica matemáticaLa lógica matemática
La lógica matemática
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematica
 
Trabajo de logica matematica modalidad.
Trabajo de logica matematica modalidad.Trabajo de logica matematica modalidad.
Trabajo de logica matematica modalidad.
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematica
 
GUIADETRABAJO1PSTOMATE120211105.docx
GUIADETRABAJO1PSTOMATE120211105.docxGUIADETRABAJO1PSTOMATE120211105.docx
GUIADETRABAJO1PSTOMATE120211105.docx
 
Logica matematica modalidad
Logica matematica modalidad Logica matematica modalidad
Logica matematica modalidad
 
Trabajo de lógica matemática
Trabajo de lógica matemáticaTrabajo de lógica matemática
Trabajo de lógica matemática
 
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
 
Trabajo de lógica matemática,,
Trabajo de lógica matemática,,Trabajo de lógica matemática,,
Trabajo de lógica matemática,,
 
Trabajo de lógica matemática,,
Trabajo de lógica matemática,,Trabajo de lógica matemática,,
Trabajo de lógica matemática,,
 
Trabajo de lógica matemática,,
Trabajo de lógica matemática,,Trabajo de lógica matemática,,
Trabajo de lógica matemática,,
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
ESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETASESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETAS
 
Lógica 3º.ppt
Lógica 3º.pptLógica 3º.ppt
Lógica 3º.ppt
 
Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168
 
LOGICA .pptxaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
LOGICA .pptxaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaLOGICA .pptxaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
LOGICA .pptxaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
 

Último

BOTAnica mesias orland role.pptx1 ciclo agropecuaria
BOTAnica mesias orland role.pptx1 ciclo agropecuariaBOTAnica mesias orland role.pptx1 ciclo agropecuaria
BOTAnica mesias orland role.pptx1 ciclo agropecuaria
mesiassalazarpresent
 

Último (20)

habilidad para el manejo de estación total.pdf
habilidad para el manejo de estación total.pdfhabilidad para el manejo de estación total.pdf
habilidad para el manejo de estación total.pdf
 
Tasaciones Ñuñoa - La Reina - Las Condes
Tasaciones Ñuñoa - La Reina - Las CondesTasaciones Ñuñoa - La Reina - Las Condes
Tasaciones Ñuñoa - La Reina - Las Condes
 
BOTAnica mesias orland role.pptx1 ciclo agropecuaria
BOTAnica mesias orland role.pptx1 ciclo agropecuariaBOTAnica mesias orland role.pptx1 ciclo agropecuaria
BOTAnica mesias orland role.pptx1 ciclo agropecuaria
 
DESVIACION
DESVIACION DESVIACION
DESVIACION
 
Becas de UOC _ Caja Ingenieros 2024-25.pdf
Becas de UOC _ Caja Ingenieros 2024-25.pdfBecas de UOC _ Caja Ingenieros 2024-25.pdf
Becas de UOC _ Caja Ingenieros 2024-25.pdf
 
ACT MECANISMO DE 4 BARRAS ARTICULADAS.PDF
ACT MECANISMO DE 4 BARRAS ARTICULADAS.PDFACT MECANISMO DE 4 BARRAS ARTICULADAS.PDF
ACT MECANISMO DE 4 BARRAS ARTICULADAS.PDF
 
Mecánica de fluidos 1 universidad continental
Mecánica de fluidos 1 universidad continentalMecánica de fluidos 1 universidad continental
Mecánica de fluidos 1 universidad continental
 
Sistema de 4 barras articuladas bb_2.pdf
Sistema de 4 barras articuladas bb_2.pdfSistema de 4 barras articuladas bb_2.pdf
Sistema de 4 barras articuladas bb_2.pdf
 
El abecedario constituye el conjunto de grafías que son utilizadas para repre...
El abecedario constituye el conjunto de grafías que son utilizadas para repre...El abecedario constituye el conjunto de grafías que son utilizadas para repre...
El abecedario constituye el conjunto de grafías que son utilizadas para repre...
 
Trabajo Mecanismos de cuatro barras.pdf
Trabajo  Mecanismos de cuatro barras.pdfTrabajo  Mecanismos de cuatro barras.pdf
Trabajo Mecanismos de cuatro barras.pdf
 
Plan de Desarrollo Urbano de la Municipalidad Provincial de Ilo
Plan de Desarrollo Urbano de la Municipalidad Provincial de IloPlan de Desarrollo Urbano de la Municipalidad Provincial de Ilo
Plan de Desarrollo Urbano de la Municipalidad Provincial de Ilo
 
Deilybeth Alaña - Operaciones Básicas - Construcción
Deilybeth Alaña - Operaciones Básicas - ConstrucciónDeilybeth Alaña - Operaciones Básicas - Construcción
Deilybeth Alaña - Operaciones Básicas - Construcción
 
&PLC Ladder.pdf automatización industrial
&PLC Ladder.pdf automatización industrial&PLC Ladder.pdf automatización industrial
&PLC Ladder.pdf automatización industrial
 
Efecto. Fotovoltaico y paneles.pdf
Efecto.     Fotovoltaico  y  paneles.pdfEfecto.     Fotovoltaico  y  paneles.pdf
Efecto. Fotovoltaico y paneles.pdf
 
GUIA DE SEGURIDAD PARA MAQUINAS Y HERRAMIENTAS
GUIA DE SEGURIDAD PARA MAQUINAS Y HERRAMIENTASGUIA DE SEGURIDAD PARA MAQUINAS Y HERRAMIENTAS
GUIA DE SEGURIDAD PARA MAQUINAS Y HERRAMIENTAS
 
problemas consolidación Mecánica de suelos
problemas consolidación Mecánica de suelosproblemas consolidación Mecánica de suelos
problemas consolidación Mecánica de suelos
 
UNIVERSIDAD NACIONAL ALTIPLANO PUNO - FACULTAD DE INGENIERIA MECANICA ELECTRICA.
UNIVERSIDAD NACIONAL ALTIPLANO PUNO - FACULTAD DE INGENIERIA MECANICA ELECTRICA.UNIVERSIDAD NACIONAL ALTIPLANO PUNO - FACULTAD DE INGENIERIA MECANICA ELECTRICA.
UNIVERSIDAD NACIONAL ALTIPLANO PUNO - FACULTAD DE INGENIERIA MECANICA ELECTRICA.
 
Presentación PISC Préstamos ISC Final.pdf
Presentación PISC Préstamos ISC Final.pdfPresentación PISC Préstamos ISC Final.pdf
Presentación PISC Préstamos ISC Final.pdf
 
LA SEÑALES ANALOGICAS Y LAS SEÑALES DIGITALES
LA SEÑALES ANALOGICAS Y LAS SEÑALES DIGITALESLA SEÑALES ANALOGICAS Y LAS SEÑALES DIGITALES
LA SEÑALES ANALOGICAS Y LAS SEÑALES DIGITALES
 
Mapa de carreteras de Colombia 2022 INVIAS
Mapa de carreteras de Colombia 2022 INVIASMapa de carreteras de Colombia 2022 INVIAS
Mapa de carreteras de Colombia 2022 INVIAS
 

expo_logica.pptx

  • 2. CONCEPTO QUE ES LA LOGICA?: es una disposición natural de los seres humanos para pensar de forma coherente estructura del pensamiento que permite verificar si un razonamiento es correcto o incorrecto estudio de los métodos y principio indispensables para distinguir el razonamiento correcto del incorrecto
  • 3. LOGICA MATEMATICA Es una ciencia que estudia los procedimientos para distinguir si un razonamiento es correcto o incorrecto Una proposición es una oración que puede ser falsa o verdadera, si o no, correcta o incorrecta Ej. preposiciones 5 > 3 - logico El N.º 2 es par - correcto La semana tiene 8 días – no Hay oraciones que no pueden ser proposiciones Ej. ¿Cómo te llamas? Las letras más usadas en las proposiciones son p, q, r, s, t
  • 4. CONECTORES LOGICOS Y PROPOCICIONES No (¬, ~, /, ‘) significa negación Y ( ^ ) // conjunción O ( v ) // disyunción Entonces ( -> ) // condición Si y solo si ( <-> ) // bicondicional Proposiciones p: iré al cine q: iré a jugar futbol r: te regalo dulces s: está lloviendo t: te regalo flores
  • 5. NEGACION “¬” Este conector indica la negación de una proposición p: iré al cine ¬p = no iré al cine Cuando haya o se encuentre doble negación se simplifica. Es el único caso en el que se repiten algún tipo de conector Ej. ¬¬p = p
  • 6. CONJUNCION “^” La conjunción es un conector en el que dadas 2 proporciones se aplican ambas Ej. q: iré a jugar futbol r: te regalo dulces q ^ r Iré a jugar futbol y te regalare dulces
  • 7. DISYUNCION “v” Este conector se aplica dada 2 o mas proposiciones cuando alguna de ellas se cumpla. Ej. p: iré al cine q: iré a jugar futbol p v q iré al cine o iré a jugar futbol
  • 8. CONDICIONAL “->” Este conector funciona cuando una proposición condiciona a otra proposición Ej. q: iré a jugar futbol t: te regalo flores q -> t si iré al cine. Entonces te regalo flores
  • 9. BICONDICIONAL “<->” Este conector se usa cuando una proposición se da si solo si otra proporción se cumple Ej. r: te regalo dulces q: iré a jugar futbol r <-> q te regalo dulces si solo si voy a jugar futbol