SlideShare una empresa de Scribd logo
 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

Demostracion condicional
Demostracion condicionalDemostracion condicional
Demostracion condicional
Elio Bendezu Yaranga
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
Eva Vásquez
 
Leyes De Lógica
Leyes De LógicaLeyes De Lógica
Leyes De Lógica
Pablo Gandarilla C.
 
Logica
LogicaLogica
Examen1 lógica
Examen1 lógicaExamen1 lógica
Examen1 lógica
GABRIEL PACHECO BARRETO
 
Logica hipotesis y conclusion
Logica hipotesis y conclusionLogica hipotesis y conclusion
Logica hipotesis y conclusion
Perez Kyria
 
Proposiciones
ProposicionesProposiciones
Proposiciones
elier_lucero
 
Unidad 1 lógica matemática
Unidad 1 lógica matemáticaUnidad 1 lógica matemática
Unidad 1 lógica matemática
Hector Ezequiel Baquerizo Leyton
 
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
Unefm
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
Liliana Quintero Moreno
 
Simbolizacion de proposiciones
Simbolizacion de proposicionesSimbolizacion de proposiciones
Simbolizacion de proposiciones
HECTOR VILLAJUAN MORY
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
elisa pizano
 
Proposiciones simples-y-complejas
Proposiciones simples-y-complejasProposiciones simples-y-complejas
Proposiciones simples-y-complejas
STARETS ZOSIMO
 
LIT4: Formales normales conjuntivas y disyuntivas
LIT4: Formales normales conjuntivas y disyuntivasLIT4: Formales normales conjuntivas y disyuntivas
LIT4: Formales normales conjuntivas y disyuntivas
José A. Alonso
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
profesoredgard
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
Pacheco Huarotto, Luis
 
Representación gráfica de los tipos funciones y Función valor Absoluto
Representación gráfica de los tipos funciones y Función valor AbsolutoRepresentación gráfica de los tipos funciones y Función valor Absoluto
Representación gráfica de los tipos funciones y Función valor Absoluto
sitayanis
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
Dayana Encalada
 
4 conjunción disyunción implicación equivalencia
4 conjunción disyunción implicación equivalencia4 conjunción disyunción implicación equivalencia
4 conjunción disyunción implicación equivalencia
Jorge Perez
 
Inferencia
InferenciaInferencia
Inferencia
Priscila
 

La actualidad más candente (20)

Demostracion condicional
Demostracion condicionalDemostracion condicional
Demostracion condicional
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
 
Leyes De Lógica
Leyes De LógicaLeyes De Lógica
Leyes De Lógica
 
Logica
LogicaLogica
Logica
 
Examen1 lógica
Examen1 lógicaExamen1 lógica
Examen1 lógica
 
Logica hipotesis y conclusion
Logica hipotesis y conclusionLogica hipotesis y conclusion
Logica hipotesis y conclusion
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Unidad 1 lógica matemática
Unidad 1 lógica matemáticaUnidad 1 lógica matemática
Unidad 1 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
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Simbolizacion de proposiciones
Simbolizacion de proposicionesSimbolizacion de proposiciones
Simbolizacion de proposiciones
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
 
Proposiciones simples-y-complejas
Proposiciones simples-y-complejasProposiciones simples-y-complejas
Proposiciones simples-y-complejas
 
LIT4: Formales normales conjuntivas y disyuntivas
LIT4: Formales normales conjuntivas y disyuntivasLIT4: Formales normales conjuntivas y disyuntivas
LIT4: Formales normales conjuntivas y disyuntivas
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
 
Representación gráfica de los tipos funciones y Función valor Absoluto
Representación gráfica de los tipos funciones y Función valor AbsolutoRepresentación gráfica de los tipos funciones y Función valor Absoluto
Representación gráfica de los tipos funciones y Función valor Absoluto
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
4 conjunción disyunción implicación equivalencia
4 conjunción disyunción implicación equivalencia4 conjunción disyunción implicación equivalencia
4 conjunción disyunción implicación equivalencia
 
Inferencia
InferenciaInferencia
Inferencia
 

Destacado

Lógico mat. c 1 ps
Lógico mat. c 1 psLógico mat. c 1 ps
Lógico mat. c 1 ps
Wilderd Cabanillas Campos
 
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
Mar 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_Jerarquia
rezzaca
 
Logica cuantificad-conjuntos
Logica cuantificad-conjuntosLogica cuantificad-conjuntos
Logica cuantificad-conjuntos
napogut07
 
Kant
KantKant
Unidad 6: Una Iglesia dividida
Unidad 6: Una Iglesia divididaUnidad 6: Una Iglesia dividida
Unidad 6: Una Iglesia dividida
fsanchez
 
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
 
Nomeimporta
NomeimportaNomeimporta
Nomeimporta
Javier Dominguez
 
SimbolizacióN
SimbolizacióNSimbolizacióN
SimbolizacióN
rafael felix
 
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 Media
fsanchez
 
Kairós eso 4
Kairós eso 4Kairós eso 4
Kairós eso 4
Javier Dominguez
 
Unidad 9: Ser cristiano hoy
Unidad 9: Ser cristiano hoyUnidad 9: Ser cristiano hoy
Unidad 9: Ser cristiano hoy
fsanchez
 
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,Tema2
profe07
 
Taller
TallerTaller
Taller
Juan Paez
 
Presentación de Lógica
Presentación de LógicaPresentación de Lógica
Presentación de Lógica
UFPS
 
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
Jesus García Asensio
 
Metodo deductivo-inductivo
Metodo deductivo-inductivoMetodo deductivo-inductivo
Metodo deductivo-inductivo
Patricia Navarro
 

Destacado (20)

Lógico mat. c 1 ps
Lógico mat. c 1 psLógico mat. c 1 ps
Lógico mat. c 1 ps
 
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
 

Similar a Simbolizacion de proposiciones

Proposiciones
ProposicionesProposiciones
Proposiciones
RobertMora23
 
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
 
Preposiciones 1
Preposiciones 1Preposiciones 1
Preposiciones 1
Niel Velasquez
 
F1 Lgica Proposicional
F1 Lgica ProposicionalF1 Lgica Proposicional
F1 Lgica Proposicional
Isidorogg
 
Trabajo CNM 2
Trabajo CNM 2Trabajo CNM 2
Trabajo CNM 2
Camiones De Puebla
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
geisonsaenz
 
Brenda Orodoñez Rondon
Brenda Orodoñez RondonBrenda Orodoñez Rondon
Brenda Orodoñez Rondon
Brenda1326
 
Logicaproposiciona phpapp01
Logicaproposiciona phpapp01Logicaproposiciona phpapp01
Logicaproposiciona phpapp01
masquenumeros
 
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-phpapp01
Eivy Pereyra Carvalho
 
Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01
Eivy Pereyra Carvalho
 
Álgebra Unidad I Lógica Proposicional
Álgebra Unidad I Lógica ProposicionalÁlgebra Unidad I Lógica Proposicional
Álgebra Unidad I Lógica Proposicional
MariaCR9
 
T21. PROPOSICIONES LOGICAS Y TABLAS DE CERTEZ 2023 1s.pdf
T21. PROPOSICIONES LOGICAS Y TABLAS DE CERTEZ 2023 1s.pdfT21. PROPOSICIONES LOGICAS Y TABLAS DE CERTEZ 2023 1s.pdf
T21. PROPOSICIONES LOGICAS Y TABLAS DE CERTEZ 2023 1s.pdf
vadquezjuana38
 
Trabajo de lógica matemática
Trabajo de lógica matemáticaTrabajo de lógica matemática
Trabajo de lógica matemática
cristianriojas
 
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
Jesus 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 1
Juan165919
 
Lógica matemática maicol
Lógica matemática maicolLógica matemática maicol
Lógica matemática maicol
maicol1946
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematica
Maria_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
 
Álgebra Unidad I Lógica Proposicional
Álgebra Unidad I Lógica ProposicionalÁlgebra Unidad I Lógica Proposicional
Álgebra Unidad I Lógica Proposicional
 
T21. PROPOSICIONES LOGICAS Y TABLAS DE CERTEZ 2023 1s.pdf
T21. PROPOSICIONES LOGICAS Y TABLAS DE CERTEZ 2023 1s.pdfT21. PROPOSICIONES LOGICAS Y TABLAS DE CERTEZ 2023 1s.pdf
T21. PROPOSICIONES LOGICAS Y TABLAS DE CERTEZ 2023 1s.pdf
 
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 familia
Ciuad de Asis
 
Rendicion de cuentas 2018-2
Rendicion de cuentas 2018-2Rendicion de cuentas 2018-2
Rendicion de cuentas 2018-2
Ciuad de Asis
 
Uniforme IECA
Uniforme IECAUniforme IECA
Uniforme IECA
Ciuad 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 2017
Ciuad de Asis
 
Rendicion de cuentas año 2016
Rendicion de cuentas año 2016Rendicion de cuentas año 2016
Rendicion de cuentas año 2016
Ciuad de Asis
 
Lista de participantes
Lista de participantesLista de participantes
Lista de participantes
Ciuad 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 2016
Ciuad de Asis
 
Algebrabooleana
AlgebrabooleanaAlgebrabooleana
Algebrabooleana
Ciuad de Asis
 
Circuitos logicos
Circuitos logicosCircuitos logicos
Circuitos logicos
Ciuad de Asis
 
Cuantificadores
CuantificadoresCuantificadores
Cuantificadores
Ciuad de Asis
 
Leyes de la lógica
Leyes de la lógicaLeyes de la lógica
Leyes de la lógica
Ciuad 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ógica
Ciuad 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.1
Ciuad 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ógica
Ciuad de Asis
 
Propositos de la logica
Propositos de la logicaPropositos de la logica
Propositos de la logica
Ciuad de Asis
 
Tipos de logica
Tipos de logicaTipos de logica
Tipos de logica
Ciuad de Asis
 
Las tic
Las ticLas tic
Las tic
Ciuad 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 pai
Ciuad de Asis
 
5. ejemplo dba
5. ejemplo dba5. ejemplo dba
5. ejemplo dba
Ciuad 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 transversalidad
Ciuad 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
 
Cuantificadores
CuantificadoresCuantificadores
Cuantificadores
 
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
 

Último

PANDERETAS DECORADAS CON MOTIVOS DE LA RIOJA
PANDERETAS DECORADAS CON MOTIVOS DE LA RIOJAPANDERETAS DECORADAS CON MOTIVOS DE LA RIOJA
PANDERETAS DECORADAS CON MOTIVOS DE LA RIOJA
estroba5
 
La vida de Martin Miguel de Güemes para niños de primaria
La vida de Martin Miguel de Güemes para niños de primariaLa vida de Martin Miguel de Güemes para niños de primaria
La vida de Martin Miguel de Güemes para niños de primaria
EricaCouly1
 
el pensamiento critico de paulo freire en basica .pdf
el pensamiento critico de paulo freire en basica .pdfel pensamiento critico de paulo freire en basica .pdf
el pensamiento critico de paulo freire en basica .pdf
almitamtz00
 
Examen Lengua y Literatura EVAU Andalucía.pdf
Examen Lengua y Literatura EVAU Andalucía.pdfExamen Lengua y Literatura EVAU Andalucía.pdf
Examen Lengua y Literatura EVAU Andalucía.pdf
20minutos
 
Evaluacion del tercer trimestre del 2023-2024
Evaluacion del tercer trimestre del 2023-2024Evaluacion del tercer trimestre del 2023-2024
Evaluacion del tercer trimestre del 2023-2024
israelsouza67
 
3° SES COMU LUN10 CUENTO DIA DEL PADRE 933623393 PROF YESSENIA (1).docx
3° SES COMU LUN10  CUENTO DIA DEL PADRE  933623393 PROF YESSENIA (1).docx3° SES COMU LUN10  CUENTO DIA DEL PADRE  933623393 PROF YESSENIA (1).docx
3° SES COMU LUN10 CUENTO DIA DEL PADRE 933623393 PROF YESSENIA (1).docx
rosannatasaycoyactay
 
Examen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLM
Examen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLMExamen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLM
Examen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLM
Juan Martín Martín
 
EVALUACION ESTUDIANTIL 2023-2024 Ecuador - Costa.pptx
EVALUACION ESTUDIANTIL 2023-2024 Ecuador - Costa.pptxEVALUACION ESTUDIANTIL 2023-2024 Ecuador - Costa.pptx
EVALUACION ESTUDIANTIL 2023-2024 Ecuador - Costa.pptx
Victor Elizalde P
 
Docentes y el uso de chatGPT en el Aula Ccesa007.pdf
Docentes y el uso de chatGPT   en el Aula Ccesa007.pdfDocentes y el uso de chatGPT   en el Aula Ccesa007.pdf
Docentes y el uso de chatGPT en el Aula Ccesa007.pdf
Demetrio Ccesa Rayme
 
1° T3 Examen Zany de primer grado compl
1° T3 Examen Zany  de primer grado compl1° T3 Examen Zany  de primer grado compl
1° T3 Examen Zany de primer grado compl
ROCIORUIZQUEZADA
 
Nuevos espacios,nuevos tiempos,nuevas practica.pptx
Nuevos espacios,nuevos tiempos,nuevas practica.pptxNuevos espacios,nuevos tiempos,nuevas practica.pptx
Nuevos espacios,nuevos tiempos,nuevas practica.pptx
lautyzaracho4
 
Guia para Docentes como usar ChatGPT Mineduc Ccesa007.pdf
Guia para Docentes como usar ChatGPT  Mineduc Ccesa007.pdfGuia para Docentes como usar ChatGPT  Mineduc Ccesa007.pdf
Guia para Docentes como usar ChatGPT Mineduc Ccesa007.pdf
Demetrio Ccesa Rayme
 
Dia de la Bandera colegio Santa Angela 2024
Dia de la Bandera colegio Santa Angela 2024Dia de la Bandera colegio Santa Angela 2024
Dia de la Bandera colegio Santa Angela 2024
77361565
 
Mauricio-Presentación-Vacacional- 2024-1
Mauricio-Presentación-Vacacional- 2024-1Mauricio-Presentación-Vacacional- 2024-1
Mauricio-Presentación-Vacacional- 2024-1
MauricioSnchez83
 
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdfFEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
Jose Luis Jimenez Rodriguez
 
665033394-TODAS-LAS-SANGRES-resumen-Por-Capitulos.pdf
665033394-TODAS-LAS-SANGRES-resumen-Por-Capitulos.pdf665033394-TODAS-LAS-SANGRES-resumen-Por-Capitulos.pdf
665033394-TODAS-LAS-SANGRES-resumen-Por-Capitulos.pdf
valerytorresmendizab
 
Dosificación de los aprendizajes U4_Me gustan los animales_Parvulos 1_2_3.pdf
Dosificación de los aprendizajes U4_Me gustan los animales_Parvulos 1_2_3.pdfDosificación de los aprendizajes U4_Me gustan los animales_Parvulos 1_2_3.pdf
Dosificación de los aprendizajes U4_Me gustan los animales_Parvulos 1_2_3.pdf
KarenRuano6
 
efemérides del mes de junio 2024 (1).pptx
efemérides del mes de junio 2024 (1).pptxefemérides del mes de junio 2024 (1).pptx
efemérides del mes de junio 2024 (1).pptx
acgtz913
 
Manual de procedimiento para gráficos HC
Manual de procedimiento para gráficos HCManual de procedimiento para gráficos HC
Manual de procedimiento para gráficos HC
josseanlo1581
 
Examen de la EvAU 2024 en Navarra Latín.
Examen de la EvAU 2024 en Navarra Latín.Examen de la EvAU 2024 en Navarra Latín.
Examen de la EvAU 2024 en Navarra Latín.
amayaltc18
 

Último (20)

PANDERETAS DECORADAS CON MOTIVOS DE LA RIOJA
PANDERETAS DECORADAS CON MOTIVOS DE LA RIOJAPANDERETAS DECORADAS CON MOTIVOS DE LA RIOJA
PANDERETAS DECORADAS CON MOTIVOS DE LA RIOJA
 
La vida de Martin Miguel de Güemes para niños de primaria
La vida de Martin Miguel de Güemes para niños de primariaLa vida de Martin Miguel de Güemes para niños de primaria
La vida de Martin Miguel de Güemes para niños de primaria
 
el pensamiento critico de paulo freire en basica .pdf
el pensamiento critico de paulo freire en basica .pdfel pensamiento critico de paulo freire en basica .pdf
el pensamiento critico de paulo freire en basica .pdf
 
Examen Lengua y Literatura EVAU Andalucía.pdf
Examen Lengua y Literatura EVAU Andalucía.pdfExamen Lengua y Literatura EVAU Andalucía.pdf
Examen Lengua y Literatura EVAU Andalucía.pdf
 
Evaluacion del tercer trimestre del 2023-2024
Evaluacion del tercer trimestre del 2023-2024Evaluacion del tercer trimestre del 2023-2024
Evaluacion del tercer trimestre del 2023-2024
 
3° SES COMU LUN10 CUENTO DIA DEL PADRE 933623393 PROF YESSENIA (1).docx
3° SES COMU LUN10  CUENTO DIA DEL PADRE  933623393 PROF YESSENIA (1).docx3° SES COMU LUN10  CUENTO DIA DEL PADRE  933623393 PROF YESSENIA (1).docx
3° SES COMU LUN10 CUENTO DIA DEL PADRE 933623393 PROF YESSENIA (1).docx
 
Examen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLM
Examen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLMExamen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLM
Examen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLM
 
EVALUACION ESTUDIANTIL 2023-2024 Ecuador - Costa.pptx
EVALUACION ESTUDIANTIL 2023-2024 Ecuador - Costa.pptxEVALUACION ESTUDIANTIL 2023-2024 Ecuador - Costa.pptx
EVALUACION ESTUDIANTIL 2023-2024 Ecuador - Costa.pptx
 
Docentes y el uso de chatGPT en el Aula Ccesa007.pdf
Docentes y el uso de chatGPT   en el Aula Ccesa007.pdfDocentes y el uso de chatGPT   en el Aula Ccesa007.pdf
Docentes y el uso de chatGPT en el Aula Ccesa007.pdf
 
1° T3 Examen Zany de primer grado compl
1° T3 Examen Zany  de primer grado compl1° T3 Examen Zany  de primer grado compl
1° T3 Examen Zany de primer grado compl
 
Nuevos espacios,nuevos tiempos,nuevas practica.pptx
Nuevos espacios,nuevos tiempos,nuevas practica.pptxNuevos espacios,nuevos tiempos,nuevas practica.pptx
Nuevos espacios,nuevos tiempos,nuevas practica.pptx
 
Guia para Docentes como usar ChatGPT Mineduc Ccesa007.pdf
Guia para Docentes como usar ChatGPT  Mineduc Ccesa007.pdfGuia para Docentes como usar ChatGPT  Mineduc Ccesa007.pdf
Guia para Docentes como usar ChatGPT Mineduc Ccesa007.pdf
 
Dia de la Bandera colegio Santa Angela 2024
Dia de la Bandera colegio Santa Angela 2024Dia de la Bandera colegio Santa Angela 2024
Dia de la Bandera colegio Santa Angela 2024
 
Mauricio-Presentación-Vacacional- 2024-1
Mauricio-Presentación-Vacacional- 2024-1Mauricio-Presentación-Vacacional- 2024-1
Mauricio-Presentación-Vacacional- 2024-1
 
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdfFEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
 
665033394-TODAS-LAS-SANGRES-resumen-Por-Capitulos.pdf
665033394-TODAS-LAS-SANGRES-resumen-Por-Capitulos.pdf665033394-TODAS-LAS-SANGRES-resumen-Por-Capitulos.pdf
665033394-TODAS-LAS-SANGRES-resumen-Por-Capitulos.pdf
 
Dosificación de los aprendizajes U4_Me gustan los animales_Parvulos 1_2_3.pdf
Dosificación de los aprendizajes U4_Me gustan los animales_Parvulos 1_2_3.pdfDosificación de los aprendizajes U4_Me gustan los animales_Parvulos 1_2_3.pdf
Dosificación de los aprendizajes U4_Me gustan los animales_Parvulos 1_2_3.pdf
 
efemérides del mes de junio 2024 (1).pptx
efemérides del mes de junio 2024 (1).pptxefemérides del mes de junio 2024 (1).pptx
efemérides del mes de junio 2024 (1).pptx
 
Manual de procedimiento para gráficos HC
Manual de procedimiento para gráficos HCManual de procedimiento para gráficos HC
Manual de procedimiento para gráficos HC
 
Examen de la EvAU 2024 en Navarra Latín.
Examen de la EvAU 2024 en Navarra Latín.Examen de la EvAU 2024 en Navarra Latín.
Examen de la EvAU 2024 en Navarra Latín.
 

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.