SlideShare una empresa de Scribd logo
1 de 14
1
Proposiciones
Atómicas, Conectores
y Composiciones
Clase 03
Leonel Morales Díaz
litomd@ufm.edu
leonel@ingenieriasimple.com
6/Junio/2014
2 de 14
Palabras significativas
 Categorías de palabras en lógica:
Fórmulas atómicas
 Proposiciones atómicas
Conectores lógicos
Composiciones
Proposiciones atómicas
3 de 14
4 de 14
Proposiciones atómicas
 Son proposiciones
 Oraciones declarativas
 No pueden descomponerse más
 Tienen verdad funcional
 Functional-Truth
 Son falsas o verdaderas
 Ejemplos:
 Juan corre
 El perro juega con el gato
5 de 14
Proposiciones atómicas
El gato ya comió
Juan salió a pasear
María dijo que el gato comió mucho
José cree que Juan sacó a pasear a su perro
El gato y el perro están durmiendo
O el gato come o el perro está dormido
Si el gato come el perro le roba su comida
El perro no salió a pasear
6 de 14
Proposiciones atómicas
El gato ya comió
Juan salió a pasear
María dijo que el gato comió mucho
José cree que Juan sacó a pasear a su perro
El gato y el perro están durmiendo
O el gato come o el perro está dormido
Si el gato come el perro le roba su comida
El perro no salió a pasear
7 de 14
Composiciones
 O el gato come o el perro está dormido
 El gato come
 El perro está dormido
 Si el gato come el perro le roba su comida
 El gato come
 El perro le roba su comida
 El perro no salió a pasear
 El perro salió a pasear
 No sucede que el perro haya salido a pasear
8 de 14
Conectores lógicos - y
 Y (and) - &
Conjunción
Las proposiciones conectadas se llaman
 Conyuntos o coyuntos
Ejemplo:
 Juan corre y María camina
9 de 14
Conjunciones
 Juan corre y María camina
 ¿Qué sabemos?
 Juan corre
 María camina
 Si sabemos esto:
 El perro duerme
 El gato se baña
 El hámster pasea
 También podemos decir que:
 El perro duerme y el gato se baña y el hámster pasea
Conjunciones
• ¿Podemos siempre separar sin problemas
los coyuntos?
11 de 14
Conjunciones y lenguaje
 Pedro y María están almorzando
 Tanto el gato como el perro están jugando
y ensuciándose
 Se necesita esfuerzo y constancia para
triunfar
12 de 14
Conectores lógicos - o
 O (or)
Disyunción
Las proposiciones conectadas se llaman
 Disyuntos
Ejemplo:
 Me llevaré el libro verde o el rojo
13 de 14
Dos clases de O
 O exclusivo
Fernando es ingeniero o dentista
 O Fernando es ingeniero o es dentista
José es rojo o crema
 O no exclusivo
El carro se quedó sin gasolina o sin batería
Hoy leeré Prensa Libre o Siglo XXI
14 de 14
O exclusivo
 Luisa ira a nadar o a correr pero no ambos
 ¿Cómo expresarlo mejor?

Más contenido relacionado

Destacado

William shakespeare
William shakespeareWilliam shakespeare
William shakespeare
bryansyh
 
Smart Industry Vol.6/2008 "เทคโนโลยีโลจิสติกส์สำหรับผู้ประกอบการ"
Smart Industry Vol.6/2008 "เทคโนโลยีโลจิสติกส์สำหรับผู้ประกอบการ"Smart Industry Vol.6/2008 "เทคโนโลยีโลจิสติกส์สำหรับผู้ประกอบการ"
Smart Industry Vol.6/2008 "เทคโนโลยีโลจิสติกส์สำหรับผู้ประกอบการ"
Software Park Thailand
 
Apresentação Comercial TG - Nova
Apresentação Comercial TG - NovaApresentação Comercial TG - Nova
Apresentação Comercial TG - Nova
Tomas
 
Mercosuper 2012
Mercosuper 2012Mercosuper 2012
Mercosuper 2012
Brasil
 
Babalawo con orisha lavadBabalawo con Orisha Lavado: ¿Un Religioso Incompleto?
Babalawo con orisha lavadBabalawo con Orisha Lavado: ¿Un Religioso Incompleto?Babalawo con orisha lavadBabalawo con Orisha Lavado: ¿Un Religioso Incompleto?
Babalawo con orisha lavadBabalawo con Orisha Lavado: ¿Un Religioso Incompleto?
Aguila News
 

Destacado (16)

Plagiarism 5.2
Plagiarism 5.2Plagiarism 5.2
Plagiarism 5.2
 
Baccelli
BaccelliBaccelli
Baccelli
 
Website Fixie - Metodologia Projeto E
Website Fixie - Metodologia Projeto EWebsite Fixie - Metodologia Projeto E
Website Fixie - Metodologia Projeto E
 
William shakespeare
William shakespeareWilliam shakespeare
William shakespeare
 
Smart Industry Vol.6/2008 "เทคโนโลยีโลจิสติกส์สำหรับผู้ประกอบการ"
Smart Industry Vol.6/2008 "เทคโนโลยีโลจิสติกส์สำหรับผู้ประกอบการ"Smart Industry Vol.6/2008 "เทคโนโลยีโลจิสติกส์สำหรับผู้ประกอบการ"
Smart Industry Vol.6/2008 "เทคโนโลยีโลจิสติกส์สำหรับผู้ประกอบการ"
 
Impacto do Marketing Digital na Produção Nacional
Impacto do Marketing Digital na Produção NacionalImpacto do Marketing Digital na Produção Nacional
Impacto do Marketing Digital na Produção Nacional
 
Apresentação Comercial TG - Nova
Apresentação Comercial TG - NovaApresentação Comercial TG - Nova
Apresentação Comercial TG - Nova
 
Aula
AulaAula
Aula
 
Invisivel
InvisivelInvisivel
Invisivel
 
Mercosuper 2012
Mercosuper 2012Mercosuper 2012
Mercosuper 2012
 
Interacción Masa-Computadoras
Interacción Masa-ComputadorasInteracción Masa-Computadoras
Interacción Masa-Computadoras
 
13 reglas básicas de inferencia
13   reglas básicas de inferencia13   reglas básicas de inferencia
13 reglas básicas de inferencia
 
K03403065069
K03403065069K03403065069
K03403065069
 
Seminário empreendedorismo
Seminário empreendedorismoSeminário empreendedorismo
Seminário empreendedorismo
 
Uglyduckling
UglyducklingUglyduckling
Uglyduckling
 
Babalawo con orisha lavadBabalawo con Orisha Lavado: ¿Un Religioso Incompleto?
Babalawo con orisha lavadBabalawo con Orisha Lavado: ¿Un Religioso Incompleto?Babalawo con orisha lavadBabalawo con Orisha Lavado: ¿Un Religioso Incompleto?
Babalawo con orisha lavadBabalawo con Orisha Lavado: ¿Un Religioso Incompleto?
 

Último

FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURAFORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
El Fortí
 
2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx
2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx
2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx
RigoTito
 
Concepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptxConcepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptx
Fernando Solis
 

Último (20)

EL HABITO DEL AHORRO en tu idea emprendedora22-04-24.pptx
EL HABITO DEL AHORRO en tu idea emprendedora22-04-24.pptxEL HABITO DEL AHORRO en tu idea emprendedora22-04-24.pptx
EL HABITO DEL AHORRO en tu idea emprendedora22-04-24.pptx
 
Feliz Día de la Madre - 5 de Mayo, 2024.pdf
Feliz Día de la Madre - 5 de Mayo, 2024.pdfFeliz Día de la Madre - 5 de Mayo, 2024.pdf
Feliz Día de la Madre - 5 de Mayo, 2024.pdf
 
LA LITERATURA DEL BARROCO 2023-2024pptx.pptx
LA LITERATURA DEL BARROCO 2023-2024pptx.pptxLA LITERATURA DEL BARROCO 2023-2024pptx.pptx
LA LITERATURA DEL BARROCO 2023-2024pptx.pptx
 
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESOPrueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
 
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURAFORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
 
ACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLA
ACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLAACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLA
ACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLA
 
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESOPrueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
 
Interpretación de cortes geológicos 2024
Interpretación de cortes geológicos 2024Interpretación de cortes geológicos 2024
Interpretación de cortes geológicos 2024
 
La Sostenibilidad Corporativa. Administración Ambiental
La Sostenibilidad Corporativa. Administración AmbientalLa Sostenibilidad Corporativa. Administración Ambiental
La Sostenibilidad Corporativa. Administración Ambiental
 
2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx
2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx
2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx
 
Tema 19. Inmunología y el sistema inmunitario 2024
Tema 19. Inmunología y el sistema inmunitario 2024Tema 19. Inmunología y el sistema inmunitario 2024
Tema 19. Inmunología y el sistema inmunitario 2024
 
semana 4 9NO Estudios sociales.pptxnnnn
semana 4  9NO Estudios sociales.pptxnnnnsemana 4  9NO Estudios sociales.pptxnnnn
semana 4 9NO Estudios sociales.pptxnnnn
 
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICABIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
 
Supuestos_prácticos_funciones.docx
Supuestos_prácticos_funciones.docxSupuestos_prácticos_funciones.docx
Supuestos_prácticos_funciones.docx
 
TIENDAS MASS MINIMARKET ESTUDIO DE MERCADO
TIENDAS MASS MINIMARKET ESTUDIO DE MERCADOTIENDAS MASS MINIMARKET ESTUDIO DE MERCADO
TIENDAS MASS MINIMARKET ESTUDIO DE MERCADO
 
Concepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptxConcepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptx
 
origen y desarrollo del ensayo literario
origen y desarrollo del ensayo literarioorigen y desarrollo del ensayo literario
origen y desarrollo del ensayo literario
 
INSTRUCCION PREPARATORIA DE TIRO .pptx
INSTRUCCION PREPARATORIA DE TIRO   .pptxINSTRUCCION PREPARATORIA DE TIRO   .pptx
INSTRUCCION PREPARATORIA DE TIRO .pptx
 
Los avatares para el juego dramático en entornos virtuales
Los avatares para el juego dramático en entornos virtualesLos avatares para el juego dramático en entornos virtuales
Los avatares para el juego dramático en entornos virtuales
 
SEPTIMO SEGUNDO PERIODO EMPRENDIMIENTO VS
SEPTIMO SEGUNDO PERIODO EMPRENDIMIENTO VSSEPTIMO SEGUNDO PERIODO EMPRENDIMIENTO VS
SEPTIMO SEGUNDO PERIODO EMPRENDIMIENTO VS
 

03 atomicas conectores composiciones

  • 1. 1 Proposiciones Atómicas, Conectores y Composiciones Clase 03 Leonel Morales Díaz litomd@ufm.edu leonel@ingenieriasimple.com 6/Junio/2014
  • 2. 2 de 14 Palabras significativas  Categorías de palabras en lógica: Fórmulas atómicas  Proposiciones atómicas Conectores lógicos Composiciones
  • 4. 4 de 14 Proposiciones atómicas  Son proposiciones  Oraciones declarativas  No pueden descomponerse más  Tienen verdad funcional  Functional-Truth  Son falsas o verdaderas  Ejemplos:  Juan corre  El perro juega con el gato
  • 5. 5 de 14 Proposiciones atómicas El gato ya comió Juan salió a pasear María dijo que el gato comió mucho José cree que Juan sacó a pasear a su perro El gato y el perro están durmiendo O el gato come o el perro está dormido Si el gato come el perro le roba su comida El perro no salió a pasear
  • 6. 6 de 14 Proposiciones atómicas El gato ya comió Juan salió a pasear María dijo que el gato comió mucho José cree que Juan sacó a pasear a su perro El gato y el perro están durmiendo O el gato come o el perro está dormido Si el gato come el perro le roba su comida El perro no salió a pasear
  • 7. 7 de 14 Composiciones  O el gato come o el perro está dormido  El gato come  El perro está dormido  Si el gato come el perro le roba su comida  El gato come  El perro le roba su comida  El perro no salió a pasear  El perro salió a pasear  No sucede que el perro haya salido a pasear
  • 8. 8 de 14 Conectores lógicos - y  Y (and) - & Conjunción Las proposiciones conectadas se llaman  Conyuntos o coyuntos Ejemplo:  Juan corre y María camina
  • 9. 9 de 14 Conjunciones  Juan corre y María camina  ¿Qué sabemos?  Juan corre  María camina  Si sabemos esto:  El perro duerme  El gato se baña  El hámster pasea  También podemos decir que:  El perro duerme y el gato se baña y el hámster pasea
  • 10. Conjunciones • ¿Podemos siempre separar sin problemas los coyuntos?
  • 11. 11 de 14 Conjunciones y lenguaje  Pedro y María están almorzando  Tanto el gato como el perro están jugando y ensuciándose  Se necesita esfuerzo y constancia para triunfar
  • 12. 12 de 14 Conectores lógicos - o  O (or) Disyunción Las proposiciones conectadas se llaman  Disyuntos Ejemplo:  Me llevaré el libro verde o el rojo
  • 13. 13 de 14 Dos clases de O  O exclusivo Fernando es ingeniero o dentista  O Fernando es ingeniero o es dentista José es rojo o crema  O no exclusivo El carro se quedó sin gasolina o sin batería Hoy leeré Prensa Libre o Siglo XXI
  • 14. 14 de 14 O exclusivo  Luisa ira a nadar o a correr pero no ambos  ¿Cómo expresarlo mejor?