SlideShare una empresa de Scribd logo
1 de 11
 Representación de las proposiciones
 Claves de las proposiciones
 Conectivos lógicos
SIMBOLIZACION
DE
PROPOSICIONES
Heriberto Molina Campaña – heribertomolinac@gmail.com - 2016
Heriberto Molina Campaña – heribertomolinac@gmail.com - 2016
SIMBOLIZACION DE PROPOSICIONES
Puede ayudar a
aprender una
forma de razonar
que es exacta y a
la vez muy útil
Estudio
de la lógica
Ser preciso y
cuidadoso
Tiene un lenguaje exacto
Heriberto Molina Campaña – heribertomolinac@gmail.com - 2016
SIMBOLIZACION DE PROPOSICIONES
Una proposición atómica es una proposición completa sin
términos de enlace. Se utilizan términos de enlace para
formar proposiciones moleculares a partir de proposiciones
atómicas
ATOMICAS
MOLECULARES
De forma mas
simple o más
básicas
Si se juntan una o varias
proposiciones atómicas con un
termino de enlace, se tiene una
proposición molecular.
Heriberto Molina Campaña – heribertomolinac@gmail.com - 2016
SIMBOLIZACION DE PROPOSICIONES
Utilizando términos de enlace se puede unir
y se tendrá una proposición molecular
Ejemplo
Ejemplo proposiciones atómicas
Hoy es sábado No hay clase
Ambas proposiciones
son atómicas
Esta proposición molecular se ha construido con dos proposiciones atómicas y el término de
enlace “y” no forma parte de ninguna de las proposiciones atómicas. Se ha añadido a las
proposiciones atómicas para construir una proposición molecular
Hoy es sábado y no hay clase
Heriberto Molina Campaña – heribertomolinac@gmail.com - 2016
SIMBOLIZACION DE PROPOSICIONES
Hoy es martes
Hay clase de lógica matemática
Ambas proposiciones son atómicas pero se pueden construir proposiciones moleculares
Hoy es martes hay clases de lógica matemática
Hoy es martes o hay clases de lógica matemática
Si hoy es martes, entonces hay clases de lógica matemática
Hoy no es martes
Como se representan P, Q, R, S, T, etc
P: Hoy es martes
Q: Hay clase de lógica Matemáticas
Luego la proposición
Hoy es martes y hay clase de lógica matemática
Se simboliza asi
P y Q
Heriberto Molina Campaña – heribertomolinac@gmail.com - 2016
SIMBOLIZACION DE PROPOSICIONES
Ejemplo:
Si madrugo entonces llego temprano.
En este ejemplo puede suprimirse la palabra "entonces" y reemplazarse por
una "," así:
Si madrugo, llego temprano.
Cuando la palabra "no" se encuentra en el interior de una proposición
simple, puede pasar inadvertida, pero se trata de una proposición
compuesta. Ejemplo:
El día no está caluroso
Puede presentarse como:
No ocurre que el día esté caluroso.
Heriberto Molina Campaña – heribertomolinac@gmail.com - 2016
SIMBOLIZACION DE PROPOSICIONES
También se usan símbolos para representar los términos de enlace, así:
Para la "y" se utiliza el símbolo ^.
Para la "o" se utiliza el símbolo V.
Para el "no" se utiliza el símbolo ¬ .
Para el "si, ... entonces ..." se utiliza el símbolo 
Para el "si y sólo si" se utiliza el símbolo . 
Heriberto Molina Campaña – heribertomolinac@gmail.com - 2016
SIMBOLIZACION DE PROPOSICIONES
Cuando una proposición molecular
(compuesta) utiliza el término de
enlace "y" es una conjunción . Si el
enlace se hace mediante la
conectiva "o" es una disyunción .
Si se usa el término "no" es una
negación. Cuando la conectiva es
"si,.... entonces.." es una
proposición condicional , y si utiliza
"si y sólo si" se tiene
unbicondicional.
Heriberto Molina Campaña – heribertomolinac@gmail.com - 2016
SIMBOLIZACION DE PROPOSICIONES
En el lenguaje corriente, las agrupaciones se presentan de acuerdo a la posición de ciertas
palabras o mediante la puntuación. En lógica la agrupación se indica por medio de paréntesis.
Ejemplo:
O los soldados encontraron cerrado el paso, o si temieron un ataque enemigo, se refugiaron en las
montañas.
Este texto se simboliza de la siguiente forma:
P : Los soldados encontraron cerrado el paso.
Q : Los soldados temieron un ataque enemigo.
R : Los soldados se refugiaron en las montañas.
La proposición compuesta es:
En proposiciones que tienen más de un término de enlace es preciso indicar la manera de agruparse, pues
distintas agrupaciones pueden tener distintos significados.
la cual tiene un sentido distinto de la proposición
Heriberto Molina Campaña – heribertomolinac@gmail.com - 2016
SIMBOLIZACION DE PROPOSICIONES
Cuando no hay lugar a ambigüedades, pueden omitirse los paréntesis y se adopta una convención
con respecto a la dominancia relativa de los diversos conectivos. La convención es:
y dominan “^” a “V” y .
Así: significa
significa .
Con esta convención no está claro lo que significa por ejemplo:
ó
Aquí es necesario usar paréntesis para aclarar, en el primer caso, si se trata de
ó
y en el segundo caso, diferenciar entre y
Heriberto Molina Campaña – heribertomolinac@gmail.com - 2016
EJERCICIOS
1. Colocar una “A” a cada proposición atómica y una “M” a cada
proposición molecular. Después de cada proposición molecular escribir
el término de enlace utilizado en aquella proposición.
a) Las bacterias en el agua o se destruyen hirviendo el agua o se
destruyen por clorización.
b) Este libro tiene más páginas que el otro.
c) Si la sentencia es contra el defendido entonces el apelará el caso.
d) El reconoció la obra como la de un poeta ingles del siglo diecinueve. ´
e) La guerra no puede explicarse totalmente por una causa.
f) Si dos o más elementos se unen químicamente para formar una
nueva sustancia, entonces el producto se denomina un compuesto.
g) Las proposiciones moleculares contienen términos de enlace.
h) Este problema no es correcto.
i) Rosa es menor de edad y su hermano es mayor de edad.
j) La Matemática no es una ciencia.
2. Simbolizar las siguientes proposiciones.
a) Si son más de las seis, la asamblea no ha comenzado.
b) O mi reloj está mal o llegamos tarde.
c) Si las células de la planta no tienen clorofila, entonces no pueden
sintetizar los alimentos.
d) Si la tribu fuera nómada, entonces no construiría chozas
permanentes.
3. Sea p la proposición: hace frío y q la proposición: llueve. Dar una
frase verbal simple que describa cada uno de los siguientes enunciados:
(a) ¬p
(b) (b) p ∨ q
(c) (c) q ∨ (¬p)
(d) (d) (¬p) ∧ (¬q)
(e) (e) ¬(¬p).
4. Utilizar los símbolos de enlace y los símbolos de agrupación para
simbolizar los siguientes enunciados:
a) Si p entonces q.
b) O p o q.
c) Si o p o q entonces r.
d) O no p o no q.
e) O p y q o r y s.
f) Si no p entonces no q y r.
g) p y si q, entonces no r.
5. Sea p la proposición: ella es alta y sea q la proposición: ella es
simpática.
Simbolizar:
(a) Ella es alta y simpática.
(b) Ella es alta pero no simpática.
(d) Es falso que ella sea baja o simpática.
(e) Ella es alta, o es baja y simpática.
(f) No es cierto que ella sea baja y no sea simpática.

Más contenido relacionado

La actualidad más candente (20)

Cuantificadores
CuantificadoresCuantificadores
Cuantificadores
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
 
Silogismo
SilogismoSilogismo
Silogismo
 
proposiciones lógicas -matematica basica
  proposiciones  lógicas -matematica basica  proposiciones  lógicas -matematica basica
proposiciones lógicas -matematica basica
 
Logica iii cepre uni
Logica iii cepre uniLogica iii cepre uni
Logica iii cepre uni
 
Modus Tollendo y Modus Ponendo
Modus Tollendo y Modus PonendoModus Tollendo y Modus Ponendo
Modus Tollendo y Modus Ponendo
 
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
 
Lógica : Leyes lógicas
Lógica : Leyes lógicasLógica : Leyes lógicas
Lógica : Leyes lógicas
 
Conectivos logicos
Conectivos logicosConectivos logicos
Conectivos logicos
 
Lógica proposicional si
Lógica proposicional siLógica proposicional si
Lógica proposicional si
 
Simbolizacion de proposiciones
Simbolizacion de proposicionesSimbolizacion de proposiciones
Simbolizacion de proposiciones
 
Validez De Silogismos por diagramas
Validez De Silogismos por diagramasValidez De Silogismos por diagramas
Validez De Silogismos por diagramas
 
Proposiciones logicas
Proposiciones logicasProposiciones logicas
Proposiciones logicas
 
Leyes de la logica e inferencias
Leyes de la  logica  e inferenciasLeyes de la  logica  e inferencias
Leyes de la logica e inferencias
 
Reglas de Inferencia
Reglas de Inferencia Reglas de Inferencia
Reglas de Inferencia
 
Silogismo
SilogismoSilogismo
Silogismo
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
taller de la espol sobre la primera unidad
taller de la espol sobre la primera unidad taller de la espol sobre la primera unidad
taller de la espol sobre la primera unidad
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdad
 
Ejercicios resueltos rdi ss
Ejercicios resueltos   rdi ssEjercicios resueltos   rdi ss
Ejercicios resueltos rdi ss
 

Destacado

El rival más débil kant
El rival más débil kantEl rival más débil kant
El rival más débil kantMar Isol
 
Proposiciones.
Proposiciones.Proposiciones.
Proposiciones.Jorgexm01
 
U1_1_3_Conec_Log_Y_Jerarquia
U1_1_3_Conec_Log_Y_JerarquiaU1_1_3_Conec_Log_Y_Jerarquia
U1_1_3_Conec_Log_Y_Jerarquiarezzaca
 
Logica cuantificad-conjuntos
Logica cuantificad-conjuntosLogica cuantificad-conjuntos
Logica cuantificad-conjuntosnapogut07
 
Unidad 6: Una Iglesia dividida
Unidad 6: Una Iglesia divididaUnidad 6: Una Iglesia dividida
Unidad 6: Una Iglesia divididafsanchez
 
Unidad 8: Al encuentro con la historia (siglo XX)
Unidad 8: Al encuentro con la historia (siglo XX)Unidad 8: Al encuentro con la historia (siglo XX)
Unidad 8: Al encuentro con la historia (siglo XX)fsanchez
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica_umecit_
 
Unidad 9: La Iglesia en la Edad Media
Unidad 9: La Iglesia en la Edad MediaUnidad 9: La Iglesia en la Edad Media
Unidad 9: La Iglesia en la Edad Mediafsanchez
 
Unidad 9: Ser cristiano hoy
Unidad 9: Ser cristiano hoyUnidad 9: Ser cristiano hoy
Unidad 9: Ser cristiano hoyfsanchez
 
Unidad 7: Divorcio con la historia (siglos XXVII-XIX)
Unidad 7: Divorcio con la historia (siglos XXVII-XIX)Unidad 7: Divorcio con la historia (siglos XXVII-XIX)
Unidad 7: Divorcio con la historia (siglos XXVII-XIX)fsanchez
 
El Cristianismo,Tema2
El Cristianismo,Tema2El Cristianismo,Tema2
El Cristianismo,Tema2profe07
 
Presentación de Lógica
Presentación de LógicaPresentación de Lógica
Presentación de LógicaUFPS
 
Filosofía de la Naturaleza: Cosmovisiones científicas del Universo
Filosofía de la Naturaleza: Cosmovisiones científicas del UniversoFilosofía de la Naturaleza: Cosmovisiones científicas del Universo
Filosofía de la Naturaleza: Cosmovisiones científicas del UniversoJesus García Asensio
 
Metodo deductivo-inductivo
Metodo deductivo-inductivoMetodo deductivo-inductivo
Metodo deductivo-inductivoPatricia Navarro
 
Lógica
LógicaLógica
Lógicacjperu
 

Destacado (20)

El rival más débil kant
El rival más débil kantEl rival más débil kant
El rival más débil kant
 
Proposiciones.
Proposiciones.Proposiciones.
Proposiciones.
 
U1_1_3_Conec_Log_Y_Jerarquia
U1_1_3_Conec_Log_Y_JerarquiaU1_1_3_Conec_Log_Y_Jerarquia
U1_1_3_Conec_Log_Y_Jerarquia
 
Logica cuantificad-conjuntos
Logica cuantificad-conjuntosLogica cuantificad-conjuntos
Logica cuantificad-conjuntos
 
Kant
KantKant
Kant
 
Unidad 6: Una Iglesia dividida
Unidad 6: Una Iglesia divididaUnidad 6: Una Iglesia dividida
Unidad 6: Una Iglesia dividida
 
Unidad 8: Al encuentro con la historia (siglo XX)
Unidad 8: Al encuentro con la historia (siglo XX)Unidad 8: Al encuentro con la historia (siglo XX)
Unidad 8: Al encuentro con la historia (siglo XX)
 
Nomeimporta
NomeimportaNomeimporta
Nomeimporta
 
SimbolizacióN
SimbolizacióNSimbolizacióN
SimbolizacióN
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Unidad 9: La Iglesia en la Edad Media
Unidad 9: La Iglesia en la Edad MediaUnidad 9: La Iglesia en la Edad Media
Unidad 9: La Iglesia en la Edad Media
 
Kairós eso 4
Kairós eso 4Kairós eso 4
Kairós eso 4
 
Unidad 9: Ser cristiano hoy
Unidad 9: Ser cristiano hoyUnidad 9: Ser cristiano hoy
Unidad 9: Ser cristiano hoy
 
Unidad 7: Divorcio con la historia (siglos XXVII-XIX)
Unidad 7: Divorcio con la historia (siglos XXVII-XIX)Unidad 7: Divorcio con la historia (siglos XXVII-XIX)
Unidad 7: Divorcio con la historia (siglos XXVII-XIX)
 
El Cristianismo,Tema2
El Cristianismo,Tema2El Cristianismo,Tema2
El Cristianismo,Tema2
 
Taller
TallerTaller
Taller
 
Presentación de Lógica
Presentación de LógicaPresentación de Lógica
Presentación de Lógica
 
Filosofía de la Naturaleza: Cosmovisiones científicas del Universo
Filosofía de la Naturaleza: Cosmovisiones científicas del UniversoFilosofía de la Naturaleza: Cosmovisiones científicas del Universo
Filosofía de la Naturaleza: Cosmovisiones científicas del Universo
 
Metodo deductivo-inductivo
Metodo deductivo-inductivoMetodo deductivo-inductivo
Metodo deductivo-inductivo
 
Lógica
LógicaLógica
Lógica
 

Similar a Simbolizacion de proposiciones

Taller de lógica en matemáticas jhon tello ;)
Taller de lógica en matemáticas jhon tello ;)Taller de lógica en matemáticas jhon tello ;)
Taller de lógica en matemáticas jhon tello ;)jhontello80
 
F1 Lgica Proposicional
F1 Lgica ProposicionalF1 Lgica Proposicional
F1 Lgica ProposicionalIsidorogg
 
Logica matematica
Logica matematicaLogica matematica
Logica matematicageisonsaenz
 
Brenda Orodoñez Rondon
Brenda Orodoñez RondonBrenda Orodoñez Rondon
Brenda Orodoñez RondonBrenda1326
 
Logicaproposiciona phpapp01
Logicaproposiciona phpapp01Logicaproposiciona phpapp01
Logicaproposiciona phpapp01masquenumeros
 
Trabajo de lógica matemática,,
Trabajo de lógica matemática,,Trabajo de lógica matemática,,
Trabajo de lógica matemática,,alejandraquevedo24
 
Trabajo de lógica matemática,,
Trabajo de lógica matemática,,Trabajo de lógica matemática,,
Trabajo de lógica matemática,,alejandraquevedo24
 
Trabajo de lógica matemática,,
Trabajo de lógica matemática,,Trabajo de lógica matemática,,
Trabajo de lógica matemática,,alejandraquevedo24
 
Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01Eivy Pereyra Carvalho
 
Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01Eivy Pereyra Carvalho
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicionalelisa pizano
 
Álgebra Unidad I Lógica Proposicional
Álgebra Unidad I Lógica ProposicionalÁlgebra Unidad I Lógica Proposicional
Álgebra Unidad I Lógica ProposicionalMariaCR9
 
Trabajo de lógica matemática
Trabajo de lógica matemáticaTrabajo de lógica matemática
Trabajo de lógica matemáticacristianriojas
 
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
 
Juan gutierrez, 2 a actividad algebra 1
Juan gutierrez, 2 a actividad algebra 1Juan gutierrez, 2 a actividad algebra 1
Juan gutierrez, 2 a actividad algebra 1Juan165919
 
Lógica matemática maicol
Lógica matemática maicolLógica matemática maicol
Lógica matemática maicolmaicol1946
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematicaMaria_Olave
 

Similar a Simbolizacion de proposiciones (20)

Proposiciones
ProposicionesProposiciones
Proposiciones
 
Taller de lógica en matemáticas jhon tello ;)
Taller de lógica en matemáticas jhon tello ;)Taller de lógica en matemáticas jhon tello ;)
Taller de lógica en matemáticas jhon tello ;)
 
Preposiciones 1
Preposiciones 1Preposiciones 1
Preposiciones 1
 
F1 Lgica Proposicional
F1 Lgica ProposicionalF1 Lgica Proposicional
F1 Lgica Proposicional
 
Trabajo CNM 2
Trabajo CNM 2Trabajo CNM 2
Trabajo CNM 2
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Brenda Orodoñez Rondon
Brenda Orodoñez RondonBrenda Orodoñez Rondon
Brenda Orodoñez Rondon
 
Logicaproposiciona phpapp01
Logicaproposiciona phpapp01Logicaproposiciona phpapp01
Logicaproposiciona phpapp01
 
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,,
 
Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01
 
Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
 
Álgebra Unidad I Lógica Proposicional
Álgebra Unidad I Lógica ProposicionalÁlgebra Unidad I Lógica Proposicional
Álgebra Unidad I Lógica Proposicional
 
Trabajo de lógica matemática
Trabajo de lógica matemáticaTrabajo de lógica matemática
Trabajo de lógica matemática
 
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
 
Juan gutierrez, 2 a actividad algebra 1
Juan gutierrez, 2 a actividad algebra 1Juan gutierrez, 2 a actividad algebra 1
Juan gutierrez, 2 a actividad algebra 1
 
Lógica matemática maicol
Lógica matemática maicolLógica matemática maicol
Lógica matemática maicol
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematica
 

Más de Ciuad de Asis

Evaluacion dia de la familia
Evaluacion dia de la familiaEvaluacion dia de la familia
Evaluacion dia de la familiaCiuad de Asis
 
Rendicion de cuentas 2018-2
Rendicion de cuentas 2018-2Rendicion de cuentas 2018-2
Rendicion de cuentas 2018-2Ciuad de Asis
 
Rendicion de cuentas ciudad de asis 2017
Rendicion de cuentas ciudad de asis 2017Rendicion de cuentas ciudad de asis 2017
Rendicion de cuentas ciudad de asis 2017Ciuad de Asis
 
Rendicion de cuentas año 2016
Rendicion de cuentas año 2016Rendicion de cuentas año 2016
Rendicion de cuentas año 2016Ciuad de Asis
 
Lista de participantes
Lista de participantesLista de participantes
Lista de participantesCiuad de Asis
 
Rendición de cuentas Ciudad de Asís 2016
Rendición de cuentas Ciudad de Asís 2016Rendición de cuentas Ciudad de Asís 2016
Rendición de cuentas Ciudad de Asís 2016Ciuad 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
 
Gilberto cortez ospina antivirus act 3.1
Gilberto cortez ospina antivirus act 3.1Gilberto cortez ospina antivirus act 3.1
Gilberto cortez ospina antivirus act 3.1Ciuad 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
 
Propositos de la logica
Propositos de la logicaPropositos de la logica
Propositos de la logicaCiuad de Asis
 
6. programa calidad de educacion preescolar pai
6. programa calidad de educacion preescolar pai6. programa calidad de educacion preescolar pai
6. programa calidad de educacion preescolar paiCiuad de Asis
 
4. presentación sentidos y retos de la transversalidad
4. presentación sentidos y retos de la transversalidad4. presentación sentidos y retos de la transversalidad
4. presentación sentidos y retos de la transversalidadCiuad de Asis
 
3. inducción reinducción diseño curricular
3. inducción reinducción diseño curricular3. inducción reinducción diseño curricular
3. inducción reinducción diseño curricularCiuad de Asis
 

Más de Ciuad de Asis (20)

Evaluacion dia de la familia
Evaluacion dia de la familiaEvaluacion dia de la familia
Evaluacion dia de la familia
 
Rendicion de cuentas 2018-2
Rendicion de cuentas 2018-2Rendicion de cuentas 2018-2
Rendicion de cuentas 2018-2
 
Uniforme IECA
Uniforme IECAUniforme IECA
Uniforme IECA
 
Rendicion de cuentas ciudad de asis 2017
Rendicion de cuentas ciudad de asis 2017Rendicion de cuentas ciudad de asis 2017
Rendicion de cuentas ciudad de asis 2017
 
Rendicion de cuentas año 2016
Rendicion de cuentas año 2016Rendicion de cuentas año 2016
Rendicion de cuentas año 2016
 
Lista de participantes
Lista de participantesLista de participantes
Lista de participantes
 
Rendición de cuentas Ciudad de Asís 2016
Rendición de cuentas Ciudad de Asís 2016Rendición de cuentas Ciudad de Asís 2016
Rendición de cuentas Ciudad de Asís 2016
 
Algebrabooleana
AlgebrabooleanaAlgebrabooleana
Algebrabooleana
 
Circuitos logicos
Circuitos logicosCircuitos logicos
Circuitos logicos
 
Leyes de la lógica
Leyes de la lógicaLeyes de la lógica
Leyes de la 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
 
Gilberto cortez ospina antivirus act 3.1
Gilberto cortez ospina antivirus act 3.1Gilberto cortez ospina antivirus act 3.1
Gilberto cortez ospina antivirus act 3.1
 
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
 
Propositos de la logica
Propositos de la logicaPropositos de la logica
Propositos de la logica
 
Tipos de logica
Tipos de logicaTipos de logica
Tipos de logica
 
Las tic
Las ticLas tic
Las tic
 
6. programa calidad de educacion preescolar pai
6. programa calidad de educacion preescolar pai6. programa calidad de educacion preescolar pai
6. programa calidad de educacion preescolar pai
 
5. ejemplo dba
5. ejemplo dba5. ejemplo dba
5. ejemplo dba
 
4. presentación sentidos y retos de la transversalidad
4. presentación sentidos y retos de la transversalidad4. presentación sentidos y retos de la transversalidad
4. presentación sentidos y retos de la transversalidad
 
3. inducción reinducción diseño curricular
3. inducción reinducción diseño curricular3. inducción reinducción diseño curricular
3. inducción reinducción diseño curricular
 

Último

Neurociencias para Educadores NE24 Ccesa007.pdf
Neurociencias para Educadores  NE24  Ccesa007.pdfNeurociencias para Educadores  NE24  Ccesa007.pdf
Neurociencias para Educadores NE24 Ccesa007.pdfDemetrio Ccesa Rayme
 
UNIDAD DPCC. 2DO. DE SECUNDARIA DEL 2024
UNIDAD DPCC. 2DO. DE  SECUNDARIA DEL 2024UNIDAD DPCC. 2DO. DE  SECUNDARIA DEL 2024
UNIDAD DPCC. 2DO. DE SECUNDARIA DEL 2024AndreRiva2
 
programa dia de las madres 10 de mayo para evento
programa dia de las madres 10 de mayo  para eventoprograma dia de las madres 10 de mayo  para evento
programa dia de las madres 10 de mayo para eventoDiegoMtsS
 
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...Carlos Muñoz
 
Historia y técnica del collage en el arte
Historia y técnica del collage en el arteHistoria y técnica del collage en el arte
Historia y técnica del collage en el arteRaquel Martín Contreras
 
La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.amayarogel
 
2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdf2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdfBaker Publishing Company
 
Manual - ABAS II completo 263 hojas .pdf
Manual - ABAS II completo 263 hojas .pdfManual - ABAS II completo 263 hojas .pdf
Manual - ABAS II completo 263 hojas .pdfMaryRotonda1
 
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptxACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptxzulyvero07
 
Planificacion Anual 4to Grado Educacion Primaria 2024 Ccesa007.pdf
Planificacion Anual 4to Grado Educacion Primaria   2024   Ccesa007.pdfPlanificacion Anual 4to Grado Educacion Primaria   2024   Ccesa007.pdf
Planificacion Anual 4to Grado Educacion Primaria 2024 Ccesa007.pdfDemetrio Ccesa Rayme
 
Dinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes dDinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes dstEphaniiie
 
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARONARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFAROJosé Luis Palma
 
Informatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosInformatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosCesarFernandez937857
 
la unidad de s sesion edussssssssssssssscacio fisca
la unidad de s sesion edussssssssssssssscacio fiscala unidad de s sesion edussssssssssssssscacio fisca
la unidad de s sesion edussssssssssssssscacio fiscaeliseo91
 
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdfSELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdfAngélica Soledad Vega Ramírez
 
Estrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcciónEstrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcciónLourdes Feria
 
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIARAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIACarlos Campaña Montenegro
 
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxOLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxjosetrinidadchavez
 

Último (20)

Neurociencias para Educadores NE24 Ccesa007.pdf
Neurociencias para Educadores  NE24  Ccesa007.pdfNeurociencias para Educadores  NE24  Ccesa007.pdf
Neurociencias para Educadores NE24 Ccesa007.pdf
 
UNIDAD DPCC. 2DO. DE SECUNDARIA DEL 2024
UNIDAD DPCC. 2DO. DE  SECUNDARIA DEL 2024UNIDAD DPCC. 2DO. DE  SECUNDARIA DEL 2024
UNIDAD DPCC. 2DO. DE SECUNDARIA DEL 2024
 
programa dia de las madres 10 de mayo para evento
programa dia de las madres 10 de mayo  para eventoprograma dia de las madres 10 de mayo  para evento
programa dia de las madres 10 de mayo para evento
 
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
 
Historia y técnica del collage en el arte
Historia y técnica del collage en el arteHistoria y técnica del collage en el arte
Historia y técnica del collage en el arte
 
La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.
 
2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdf2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdf
 
Manual - ABAS II completo 263 hojas .pdf
Manual - ABAS II completo 263 hojas .pdfManual - ABAS II completo 263 hojas .pdf
Manual - ABAS II completo 263 hojas .pdf
 
Power Point: "Defendamos la verdad".pptx
Power Point: "Defendamos la verdad".pptxPower Point: "Defendamos la verdad".pptx
Power Point: "Defendamos la verdad".pptx
 
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptxACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
 
Planificacion Anual 4to Grado Educacion Primaria 2024 Ccesa007.pdf
Planificacion Anual 4to Grado Educacion Primaria   2024   Ccesa007.pdfPlanificacion Anual 4to Grado Educacion Primaria   2024   Ccesa007.pdf
Planificacion Anual 4to Grado Educacion Primaria 2024 Ccesa007.pdf
 
Dinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes dDinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes d
 
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARONARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
 
Medición del Movimiento Online 2024.pptx
Medición del Movimiento Online 2024.pptxMedición del Movimiento Online 2024.pptx
Medición del Movimiento Online 2024.pptx
 
Informatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosInformatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos Básicos
 
la unidad de s sesion edussssssssssssssscacio fisca
la unidad de s sesion edussssssssssssssscacio fiscala unidad de s sesion edussssssssssssssscacio fisca
la unidad de s sesion edussssssssssssssscacio fisca
 
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdfSELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
 
Estrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcciónEstrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcción
 
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIARAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
 
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxOLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
 

Simbolizacion de proposiciones

  • 1.  Representación de las proposiciones  Claves de las proposiciones  Conectivos lógicos SIMBOLIZACION DE PROPOSICIONES Heriberto Molina Campaña – heribertomolinac@gmail.com - 2016
  • 2. Heriberto Molina Campaña – heribertomolinac@gmail.com - 2016 SIMBOLIZACION DE PROPOSICIONES Puede ayudar a aprender una forma de razonar que es exacta y a la vez muy útil Estudio de la lógica Ser preciso y cuidadoso Tiene un lenguaje exacto
  • 3. Heriberto Molina Campaña – heribertomolinac@gmail.com - 2016 SIMBOLIZACION DE PROPOSICIONES Una proposición atómica es una proposición completa sin términos de enlace. Se utilizan términos de enlace para formar proposiciones moleculares a partir de proposiciones atómicas ATOMICAS MOLECULARES De forma mas simple o más básicas Si se juntan una o varias proposiciones atómicas con un termino de enlace, se tiene una proposición molecular.
  • 4. Heriberto Molina Campaña – heribertomolinac@gmail.com - 2016 SIMBOLIZACION DE PROPOSICIONES Utilizando términos de enlace se puede unir y se tendrá una proposición molecular Ejemplo Ejemplo proposiciones atómicas Hoy es sábado No hay clase Ambas proposiciones son atómicas Esta proposición molecular se ha construido con dos proposiciones atómicas y el término de enlace “y” no forma parte de ninguna de las proposiciones atómicas. Se ha añadido a las proposiciones atómicas para construir una proposición molecular Hoy es sábado y no hay clase
  • 5. Heriberto Molina Campaña – heribertomolinac@gmail.com - 2016 SIMBOLIZACION DE PROPOSICIONES Hoy es martes Hay clase de lógica matemática Ambas proposiciones son atómicas pero se pueden construir proposiciones moleculares Hoy es martes hay clases de lógica matemática Hoy es martes o hay clases de lógica matemática Si hoy es martes, entonces hay clases de lógica matemática Hoy no es martes Como se representan P, Q, R, S, T, etc P: Hoy es martes Q: Hay clase de lógica Matemáticas Luego la proposición Hoy es martes y hay clase de lógica matemática Se simboliza asi P y Q
  • 6. Heriberto Molina Campaña – heribertomolinac@gmail.com - 2016 SIMBOLIZACION DE PROPOSICIONES Ejemplo: Si madrugo entonces llego temprano. En este ejemplo puede suprimirse la palabra "entonces" y reemplazarse por una "," así: Si madrugo, llego temprano. Cuando la palabra "no" se encuentra en el interior de una proposición simple, puede pasar inadvertida, pero se trata de una proposición compuesta. Ejemplo: El día no está caluroso Puede presentarse como: No ocurre que el día esté caluroso.
  • 7. Heriberto Molina Campaña – heribertomolinac@gmail.com - 2016 SIMBOLIZACION DE PROPOSICIONES También se usan símbolos para representar los términos de enlace, así: Para la "y" se utiliza el símbolo ^. Para la "o" se utiliza el símbolo V. Para el "no" se utiliza el símbolo ¬ . Para el "si, ... entonces ..." se utiliza el símbolo  Para el "si y sólo si" se utiliza el símbolo . 
  • 8. Heriberto Molina Campaña – heribertomolinac@gmail.com - 2016 SIMBOLIZACION DE PROPOSICIONES Cuando una proposición molecular (compuesta) utiliza el término de enlace "y" es una conjunción . Si el enlace se hace mediante la conectiva "o" es una disyunción . Si se usa el término "no" es una negación. Cuando la conectiva es "si,.... entonces.." es una proposición condicional , y si utiliza "si y sólo si" se tiene unbicondicional.
  • 9. Heriberto Molina Campaña – heribertomolinac@gmail.com - 2016 SIMBOLIZACION DE PROPOSICIONES En el lenguaje corriente, las agrupaciones se presentan de acuerdo a la posición de ciertas palabras o mediante la puntuación. En lógica la agrupación se indica por medio de paréntesis. Ejemplo: O los soldados encontraron cerrado el paso, o si temieron un ataque enemigo, se refugiaron en las montañas. Este texto se simboliza de la siguiente forma: P : Los soldados encontraron cerrado el paso. Q : Los soldados temieron un ataque enemigo. R : Los soldados se refugiaron en las montañas. La proposición compuesta es: En proposiciones que tienen más de un término de enlace es preciso indicar la manera de agruparse, pues distintas agrupaciones pueden tener distintos significados. la cual tiene un sentido distinto de la proposición
  • 10. Heriberto Molina Campaña – heribertomolinac@gmail.com - 2016 SIMBOLIZACION DE PROPOSICIONES Cuando no hay lugar a ambigüedades, pueden omitirse los paréntesis y se adopta una convención con respecto a la dominancia relativa de los diversos conectivos. La convención es: y dominan “^” a “V” y . Así: significa significa . Con esta convención no está claro lo que significa por ejemplo: ó Aquí es necesario usar paréntesis para aclarar, en el primer caso, si se trata de ó y en el segundo caso, diferenciar entre y
  • 11. Heriberto Molina Campaña – heribertomolinac@gmail.com - 2016 EJERCICIOS 1. Colocar una “A” a cada proposición atómica y una “M” a cada proposición molecular. Después de cada proposición molecular escribir el término de enlace utilizado en aquella proposición. a) Las bacterias en el agua o se destruyen hirviendo el agua o se destruyen por clorización. b) Este libro tiene más páginas que el otro. c) Si la sentencia es contra el defendido entonces el apelará el caso. d) El reconoció la obra como la de un poeta ingles del siglo diecinueve. ´ e) La guerra no puede explicarse totalmente por una causa. f) Si dos o más elementos se unen químicamente para formar una nueva sustancia, entonces el producto se denomina un compuesto. g) Las proposiciones moleculares contienen términos de enlace. h) Este problema no es correcto. i) Rosa es menor de edad y su hermano es mayor de edad. j) La Matemática no es una ciencia. 2. Simbolizar las siguientes proposiciones. a) Si son más de las seis, la asamblea no ha comenzado. b) O mi reloj está mal o llegamos tarde. c) Si las células de la planta no tienen clorofila, entonces no pueden sintetizar los alimentos. d) Si la tribu fuera nómada, entonces no construiría chozas permanentes. 3. Sea p la proposición: hace frío y q la proposición: llueve. Dar una frase verbal simple que describa cada uno de los siguientes enunciados: (a) ¬p (b) (b) p ∨ q (c) (c) q ∨ (¬p) (d) (d) (¬p) ∧ (¬q) (e) (e) ¬(¬p). 4. Utilizar los símbolos de enlace y los símbolos de agrupación para simbolizar los siguientes enunciados: a) Si p entonces q. b) O p o q. c) Si o p o q entonces r. d) O no p o no q. e) O p y q o r y s. f) Si no p entonces no q y r. g) p y si q, entonces no r. 5. Sea p la proposición: ella es alta y sea q la proposición: ella es simpática. Simbolizar: (a) Ella es alta y simpática. (b) Ella es alta pero no simpática. (d) Es falso que ella sea baja o simpática. (e) Ella es alta, o es baja y simpática. (f) No es cierto que ella sea baja y no sea simpática.