SlideShare a Scribd company logo
1 of 49
UNIDAD 1
LÓGICA MATEMÁTICAS
Introducción:
La palabra lógica se deriva de la palabra griega
logos que significa razonamiento o discurso.
La lógica matemática es la disciplina que trata de
métodos de razonamiento. En un nivel elemental,
la lógica proporciona reglas y técnicas para
determinar si es o no válido un argumento dado.
El razonamiento lógico se emplea en
matemáticas para demostrar teoremas; en
ciencias de la computación para verificar si son o
no correctos los programas; en las ciencias
física y naturales, para sacar conclusiones de
experimentos; en las ciencias sociales y en la
vida cotidiana, para resolver una multitud de
problemas. Ciertamente se usa en forma
constante el razonamiento lógico para realizar
cualquier actividad.
Definición de lógica de acuerdo a algunos autores:
Para Gorski: “Lógica es la ciencia de las formas del
pensamiento científico estudiadas desde el punto de su
estructura; la ciencia de las leyes que deben observarse
para obtener un conocimiento inferido; la lógica estudia
también los procedimientos lógicos generales utilizados
para el conocimiento de la realidad”.
Según Fingemann: “Lógica en la ciencia de las
formas y leyes del pensamiento, que nos da normas
para la investigación científica y nos suministra un
criterio de verdad”.
Entonces se puede decir que la lógica en una ciencia
que enseña a razonar con exactitud y que posee un
lenguaje exacto, el cual para su desarrollo utiliza
reglas las cuales nos permite obtener una conclusión
PROPOSICIÓN
Definición.- Una proposición es una unidad semántica
que, o sólo es verdadera o sólo es falsa.
La proposición es un elemento fundamental de la lógica
matemática; generalmente se las expresa en oraciones
declarativas o aseverativas, tales como:
 Oraciones afirmativas. (Informan).
Ej.: Mañana es lunes.
 Oraciones descriptivas. (Describen). Ej.: La
tiza es blanca
 Oraciones explicativas. (Explican). Ej.: Si
hace frío entonces es invierno
Oraciones que son proposiciones
5 es un número primo.
- 17 + 38 = 21.
Todos los números enteros son positivos.
Vicente Rocafuerte fue presidente del Ecuador.
Las oraciones anteriormente expuestas son
proposiciones, ya que son verdaderas o falsas.
Representación simbólica de Proposiciones
Las proposiciones se representan simbólicamente por
medio de las primeras letras del alfabeto en
minúscula, dos puntos y la proposición propiamente
dicha.
Ejemplo:
5 es un número primo
a: 5 es un número primo.
Oraciones que no son Proposiciones
 Las oraciones exclamativas. (Sentimientos,
interjecciones). Ej.: ¡socorro!, ¡auxilio! ¡te quiero!
 Las oraciones imperativas. (Órdenes), Ej.: Cierra
la puerta; te vas afuera.
 Las desiderativas. (Deseos, súplicas). Ej.: Ojala no
haya clases.
 Las oraciones interrogativas. (Preguntas). Ej.:
¿Qué hora es?
EJERCICIOS : INDIQUE PORQUE NO SON
PROPOSICIONES
Lava el auto, por favor.
Hola, ¿Cómo estás?
¡Apúrate!
¡Mañana se acabará el mundo!
Come rápido.
X+5 = 9 (no es una proposición porque su valor de
verdad no se puede determinar).
CLASES DE PROPOSICIONES
Las proposiciones se clasifican en proposiciones simples
o atómicas y proposiciones compuestas o moleculares:
Proposiciones Simples o atómicas.- son aquellas
que no poseen operador lógico.
Ejemplo:
a: Todo organismo viviente se adapta a su medio físico.
b: Si un número es divisible por 4 también lo es por 2
c: (a+b)² = a²+2ab+b²
Proposiciones Compuestas o moleculares.- están
formadas por otras proposiciones y operadores
lógicos.
Ejemplos:
 p: La niña María canta y su hermano Luis toca el
piano.
 q: Ecuador es un país Amazónico y latinoamericano.
Los conectivos lógicos son elementos gramaticales
que unen dos o más proposiciones simples.
VALOR DE VERDAD
Definición.- El valor de verdad de una proposición es la
cualidad de veracidad que describe adecuadamente la
proposición. Este puede ser verdadero o falso.
El valor verdadero se lo asocia con: 1, V, T, True.
El valor falso se lo asocia con: 0, F, False.
La convención que usaremos es 0 y 1
Ejemplo:
a: -17+38=21
b: Todos los números enteros son positivos.
Podemos observar que el valor de verdad de la primera
proposición es VERDADERO, mientras que el valor de
la segunda proposición es falso.
TABLA DE VERDAD
Definición.- Una tabla de verdad es una representación
de los posibles valores de verdad que podría tomar una
proposición.
Las tablas de verdad sirven para mostrar los valores, las
relaciones y los resultados posibles al realizar
operaciones lógicas.
Ejemplo: Construcción de tablas de verdad.
La cantidad de combinaciones (filas de la tabla de
verdad) depende de la cantidad de proposiciones
presentes en la expresión lógica.
PROPOSICIONES Y VALOR DE VERDAD
a b c d e f
V
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
En general para
“n” proposiciones,
se pueden
presentar 2n
posibilidades
21
22
23
Las tablas de verdad son
representaciones gráficas,
en forma de arreglos,
que sirven para analizar los
posibles valores de verdad
que puede tener una
proposición
simple o compuesta.
OPERADORES LÓGICOS
En nuestro lenguaje común usamos frecuentemente
proposiciones más complejas, no tan simple o
elementales.
Ejemplos: Proposiciones que no son simple.
Surge la necesidad de definir los nexos
de estas proposiciones a los cuales se
denominan conectores u operadores
NEGACIÓN
Este operador cambia el valor de verdad de una
proposición: si a es una proposición verdadera, a es
falsa; si a es una proposición falsa, a es verdadera.
La negación se presenta con los términos
gramaticales:
no
no es verdad que
no es cierto que



Tabla de verdad de la negación
Sea a una proposición, la negación de a, representada
simbólicamente por a, es una nueva proposición,
cuyo valor de verdad está dado por la siguiente tabla
de verdad.

Ejemplo Negación de Proposiciones
CONJUNCIÓN (^)
Este operador lógico relaciona dos proposiciones para
formar una nueva, en la cual la proposición
resultante será verdadera solamente cuando el
valor de verdad de ambas proposiciones es
verdadero.
La conjunción se presenta con los términos
gramaticales: «y», «pero», «más», y signos de
puntuación como: la coma, el punto, y el punto y coma.
Tabla de verdad de la Conjunción
Ejemplo: Conjunción de Proposiciones
DISYUNCIÓN (V)
Este operador lógico relaciona dos proposiciones
para formar una nueva, en la cual la proposición
resultante será falsa solamente cuando el valor de
verdad de ambas proposiciones es falso.
La Disyunción se presenta con el término gramatical
«o».
Tabla de verdad de la Disyunción
Ejemplo: Disyunción de Proposiciones
Si se tienen las proposiciones:
a: Tengo un libro de Trigonometría.
b: Tengo un libro de Álgebra.
La disyunción entre a y b es:
avb: Tengo un libro de Trigonometría o uno de Álgebra.
Como se podrá notar en este ejemplo, existe la
posibilidad de poseer ambos libros, razón por la cual
esta disyunción recibe el nombre de disyunción
inclusiva.
Suelen presentarse situaciones que son mutuamente
excluyentes entre sí. La expresión «o estoy en Quito
o estoy en Guayaquil» denota la imposibilidad de
estar físicamente en Quito y Guayaquil al mismo
tiempo.
CONDICIONAL
Viene a ser la combinación de dos proposiciones con
“si… entonces”.
Se lee si p entonces q.
REGLA.- Una proposición condicional es falsa cuando
la primera proposición es verdadera y la segunda es
falsa. Es verdadera en cualquiera de las otras formas
Tabla de verdad de la Condicional
Terminología gramatical de la CONDICIONAL
Ejemplo: Condicional de Proposiciones
BICONDICIONAL
Es la unión de dos proposiciones por “si y sólo si”. Se
lee a si y sólo si b.
REGLA.- Una proposición bicondicional es verdadera
cuando, o sus dos componentes son verdaderos o
sus dos componentes son falsos.
Términos gramaticales: «a si y sólo b», «a si y
solamente b», «a implica b y b implica a»,
Tabla de verdad de la Bicondicional
Ejemplo: Bicondicional de Proposiciones
Polinomios Booleanos
Un polinomio booleano es una proposición
compuesta, donde el valor de verdad de las
proposiciones componentes es variable.
Ejemplos de Polinomios Booleanos
1. Con una variable
𝒇 𝒓 = 𝒓 ∨ 𝒓 → 𝒓 ∧ ¬𝒓
2. Con dos variables:
g(p, q) = [(p ↔¬q) ∧ q] ∨ (¬p ∧ q)
3. Combinando polinomios booleanos se pueden
obtener otros más complicados:
h(p, q, r) = [f(r) ↔ g(p, q)] ∨ f(r)
Operaciones de Polinomios Booleanos
𝒇 𝒓 = ¬𝒓 ∨ 𝒓 → 𝒓 ∧ ¬𝒓
Consideremos una proposición verdadera,
r : 2+3=5 Valor de verdad (1)
Entonces reemplazamos su valor de verdad:
𝒇 𝒓 = 𝟎 ∨ 𝟏 → 𝟏 ∧ 𝟎 = 0
Operaciones de Polinomios Booleanos
g(p, q) = [(p ↔¬q) ∧ q] ∨ (¬p ∧ q)
Consideremos:
p : 5 > 1 Valor de verdad (0)
q : Quito capital de Ecuador Valor de verdad (1)
Entonces reemplazamos su valor de verdad:
g(p, q) = [(0 ↔0) ∧ 1] ∨ (𝟏 ∧ 1)= 1
Operaciones de Polinomios Booleanos
Dado:
h(p, q, r) = [f(r) ↔ g(p, q)] ∨ f(r)
Si:
f(r) Valor de verdad ( )
g(p, q Valor de verdad ( )
Obtenga el valor de verdad de h(p, q, r)
Orden de los Operadores Lógicos
Los signos de agrupación más conocidos son: el
paréntesis ( ), corchete [ ] y llaves . Estos signos
reemplazan a los signos gramaticales: punto (.), la
coma (,), el punto y como (;), y los dos puntos (:).
Regla 1.- Si no hay signos de puntuación ni
paréntesis se debe considerar el siguiente orden de
menor a mayor jerarquía de los operadores y de
izquierda a derecha, para ubicar los paréntesis
Orden de los Operadores Lógicos
Regla 2.- Si las proposiciones tienen el mismo tipo de
operador o conectivo lógico, se debe colocar los
paréntesis de izquierda a derecha así:
Orden de los Operadores Lógicos
Regla 3.- Si la proposición compuesta está escrita con
paréntesis, la ubicación de éstos nos indicará cuál es
el operador predominante:
Orden de los Operadores Lógicos
Regla 4.- Si un esquema molecular no lleva los
signos de agrupación, se puede indicar cuál es el
operador predominante así:
Ejercicios
 Formaliza las siguientes proposiciones:
1. No es cierto que no me guste bailar
2. Me gusta bailar y leer libros de ciencia-ficción.
3. Si los gatos de mi hermana no soltaran tanto pelo me
gustaría acariciarlos.
4. Si y sólo si viera un marciano con mis propios ojos, creería
que hay vida extraterrestre.
5. Una de dos: o salgo a dar un paseo, o me pongo a
estudiar como un energúmeno.
6. Si los elefantes volaran o supieran tocar el acordeón,
pensaría que estoy como una regadera y dejaría que me
internaran en un psiquiátrico.
7. Prefiero ir de vacaciones o estar sin hacer nada si tengo
tiempo para ello y no tengo que ir a trabajar.
Solución
1. [B me gusta bailar]. ¬(¬B)
2. [B me gusta bailar. C me gusta leer libros de ciencia ficción]. B ∧C
3. [G los gatos de mi hermana sueltan pelo. A me gusta acariciar los
gatos ]. ¬G→A
4. [M ver un marciano con mis propios ojos. E creer en los
extraterrestres ]. M ⇔E
5. [P salir a dar un paseo. E estudiar como un energúmeno]. P V E
6. [V los elefantes vuelan. T los elefantes tocan él acordeón. L estar
loco. P internar en un psiquiátrico ]. ( V V T ) →( l ∧P)
7. [ V ir de vacaciones. N no hacer nada. T tener tiempo. I ir a trabajar].
(T ∧¬I ) →(V V N )
Ejercicios
 Formaliza la siguientes proposición:
Si tuvieran que justificarse ciertos hechos por su enorme tradición
entonces, si estos hechos son inofensivos y respetan a todo ser viviente
y al medio ambiente, no habría ningún problema. Pero si los hechos son
bárbaros o no respetuosos con los seres vivientes o el medio ambiente,
entonces habría que dejar de justificarlos o no podríamos considerarnos
dignos de nuestro tiempo.
J. Justificar hechos
T. Enorme tradición.
I. hechos inofensivos y respetan a todo ser vivo y al medio ambiente
N. no hay problema
D. dignos de nuestro tiempo
[(J Λ T)  (I  N)] Λ [(-I  -J) V D]
Ejercicios
 Formaliza la siguientes proposición:
Mary puede escribir el programa en Fortran o Pascal o de
plano no escribirlo. Si no escribe el programa sacará cero y
reprobará el curso. Si reprueba el curso será puesta en el
padrón de jalados y si se saca cero su novio la dejará. Si Mary
escribe el programa en Fortran reprobará el curso pero si lo
escribe en Pascal pasará.
P: Mary escribe el programa en Pascal
Q: Mary escribe el programa en Fortran
R: Mary no escribe el programa
S: Mary saca un cero
T: Mary reprueba el curso
U: Mary es puesta en el padrón de jalados
V: El novio de Mary la deja.
(PVQVR) Λ (PVQ¬R) Λ(R(S ΛT) Λ(TU) Λ(QT)
Λ(P¬T)

More Related Content

What's hot

LÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOSLÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOSJose Ojeda
 
Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en MatemáticaWilbert Tapia
 
Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]Henry Villalba
 
Conectivos logicos
Conectivos logicosConectivos logicos
Conectivos logicosEdward Solis
 
proposiciones lógicas -matematica basica
  proposiciones  lógicas -matematica basica  proposiciones  lógicas -matematica basica
proposiciones lógicas -matematica basicaYanina C.J
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadpaquitogiron
 
Proposiciones simples-y-complejas
Proposiciones simples-y-complejasProposiciones simples-y-complejas
Proposiciones simples-y-complejasSTARETS ZOSIMO
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicosAra Narvaez
 
Negación de proposiciones con cuantificadores
Negación de proposiciones con cuantificadoresNegación de proposiciones con cuantificadores
Negación de proposiciones con cuantificadoresAntoKizz Caztro
 
Axiomas y teoremas de los números reales
Axiomas y teoremas de los números realesAxiomas y teoremas de los números reales
Axiomas y teoremas de los números realesoscartl
 
Leyes del álgebra de proposiciones
Leyes del álgebra de proposicionesLeyes del álgebra de proposiciones
Leyes del álgebra de proposicionesCariela Loyo
 

What's hot (20)

Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
 
LÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOSLÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOS
 
Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en Matemática
 
Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]
 
Conectivos logicos
Conectivos logicosConectivos logicos
Conectivos logicos
 
proposiciones lógicas -matematica basica
  proposiciones  lógicas -matematica basica  proposiciones  lógicas -matematica basica
proposiciones lógicas -matematica basica
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdad
 
Proposiciones simples-y-complejas
Proposiciones simples-y-complejasProposiciones simples-y-complejas
Proposiciones simples-y-complejas
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
 
Simbolizacion de proposiciones
Simbolizacion de proposicionesSimbolizacion de proposiciones
Simbolizacion de proposiciones
 
Negación de proposiciones con cuantificadores
Negación de proposiciones con cuantificadoresNegación de proposiciones con cuantificadores
Negación de proposiciones con cuantificadores
 
Axiomas y teoremas de los números reales
Axiomas y teoremas de los números realesAxiomas y teoremas de los números reales
Axiomas y teoremas de los números reales
 
Examen1 lógica
Examen1 lógicaExamen1 lógica
Examen1 lógica
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Leyes del álgebra de proposiciones
Leyes del álgebra de proposicionesLeyes del álgebra de proposiciones
Leyes del álgebra de proposiciones
 
TAUTOLOGÍA .
TAUTOLOGÍA .TAUTOLOGÍA .
TAUTOLOGÍA .
 
Cuantificadores
CuantificadoresCuantificadores
Cuantificadores
 
Leyes De Lógica
Leyes De LógicaLeyes De Lógica
Leyes De Lógica
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 

Similar to Lógica matemáticas

Similar to Lógica matemáticas (20)

Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Lógica Matemática
Lógica MatemáticaLógica Matemática
Lógica Matemática
 
Logica matematica experiencia 2
Logica matematica experiencia 2Logica matematica experiencia 2
Logica matematica experiencia 2
 
Logica matematica experiencia 2
Logica matematica experiencia 2Logica matematica experiencia 2
Logica matematica experiencia 2
 
La lógica matemática
La lógica matemáticaLa lógica matemática
La lógica matemática
 
MATEMATICA
MATEMATICAMATEMATICA
MATEMATICA
 
lógica matemática
lógica matemáticalógica matemática
lógica matemática
 
Logica formal
Logica formalLogica formal
Logica formal
 
Capitulo 1 1.1-1.2_pde
Capitulo 1 1.1-1.2_pdeCapitulo 1 1.1-1.2_pde
Capitulo 1 1.1-1.2_pde
 
Aspectos resaltantes de la proposicion
Aspectos resaltantes de la proposicionAspectos resaltantes de la proposicion
Aspectos resaltantes de la proposicion
 
Leyes algebra
Leyes algebraLeyes algebra
Leyes algebra
 
Documento de mate
Documento de mateDocumento de mate
Documento de mate
 
Documento de mate
Documento de mateDocumento de mate
Documento de mate
 
1 Lógica Proposicional.pptx
1 Lógica Proposicional.pptx1 Lógica Proposicional.pptx
1 Lógica Proposicional.pptx
 
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 o gica_proposicional
L o gica_proposicionalL o gica_proposicional
L o gica_proposicional
 
L o gica_proposicional
L o gica_proposicionalL o gica_proposicional
L o gica_proposicional
 

Lógica matemáticas

  • 2. Introducción: La palabra lógica se deriva de la palabra griega logos que significa razonamiento o discurso. La lógica matemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no válido un argumento dado.
  • 3. El razonamiento lógico se emplea en matemáticas para demostrar teoremas; en ciencias de la computación para verificar si son o no correctos los programas; en las ciencias física y naturales, para sacar conclusiones de experimentos; en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma constante el razonamiento lógico para realizar cualquier actividad.
  • 4. Definición de lógica de acuerdo a algunos autores: Para Gorski: “Lógica es la ciencia de las formas del pensamiento científico estudiadas desde el punto de su estructura; la ciencia de las leyes que deben observarse para obtener un conocimiento inferido; la lógica estudia también los procedimientos lógicos generales utilizados para el conocimiento de la realidad”.
  • 5. Según Fingemann: “Lógica en la ciencia de las formas y leyes del pensamiento, que nos da normas para la investigación científica y nos suministra un criterio de verdad”. Entonces se puede decir que la lógica en una ciencia que enseña a razonar con exactitud y que posee un lenguaje exacto, el cual para su desarrollo utiliza reglas las cuales nos permite obtener una conclusión
  • 6. PROPOSICIÓN Definición.- Una proposición es una unidad semántica que, o sólo es verdadera o sólo es falsa. La proposición es un elemento fundamental de la lógica matemática; generalmente se las expresa en oraciones declarativas o aseverativas, tales como:
  • 7.  Oraciones afirmativas. (Informan). Ej.: Mañana es lunes.  Oraciones descriptivas. (Describen). Ej.: La tiza es blanca  Oraciones explicativas. (Explican). Ej.: Si hace frío entonces es invierno
  • 8. Oraciones que son proposiciones 5 es un número primo. - 17 + 38 = 21. Todos los números enteros son positivos. Vicente Rocafuerte fue presidente del Ecuador. Las oraciones anteriormente expuestas son proposiciones, ya que son verdaderas o falsas.
  • 9. Representación simbólica de Proposiciones Las proposiciones se representan simbólicamente por medio de las primeras letras del alfabeto en minúscula, dos puntos y la proposición propiamente dicha. Ejemplo: 5 es un número primo a: 5 es un número primo.
  • 10. Oraciones que no son Proposiciones  Las oraciones exclamativas. (Sentimientos, interjecciones). Ej.: ¡socorro!, ¡auxilio! ¡te quiero!  Las oraciones imperativas. (Órdenes), Ej.: Cierra la puerta; te vas afuera.  Las desiderativas. (Deseos, súplicas). Ej.: Ojala no haya clases.  Las oraciones interrogativas. (Preguntas). Ej.: ¿Qué hora es?
  • 11. EJERCICIOS : INDIQUE PORQUE NO SON PROPOSICIONES Lava el auto, por favor. Hola, ¿Cómo estás? ¡Apúrate! ¡Mañana se acabará el mundo! Come rápido. X+5 = 9 (no es una proposición porque su valor de verdad no se puede determinar).
  • 12. CLASES DE PROPOSICIONES Las proposiciones se clasifican en proposiciones simples o atómicas y proposiciones compuestas o moleculares: Proposiciones Simples o atómicas.- son aquellas que no poseen operador lógico. Ejemplo: a: Todo organismo viviente se adapta a su medio físico. b: Si un número es divisible por 4 también lo es por 2 c: (a+b)² = a²+2ab+b²
  • 13. Proposiciones Compuestas o moleculares.- están formadas por otras proposiciones y operadores lógicos. Ejemplos:  p: La niña María canta y su hermano Luis toca el piano.  q: Ecuador es un país Amazónico y latinoamericano. Los conectivos lógicos son elementos gramaticales que unen dos o más proposiciones simples.
  • 14. VALOR DE VERDAD Definición.- El valor de verdad de una proposición es la cualidad de veracidad que describe adecuadamente la proposición. Este puede ser verdadero o falso. El valor verdadero se lo asocia con: 1, V, T, True. El valor falso se lo asocia con: 0, F, False. La convención que usaremos es 0 y 1
  • 15. Ejemplo: a: -17+38=21 b: Todos los números enteros son positivos. Podemos observar que el valor de verdad de la primera proposición es VERDADERO, mientras que el valor de la segunda proposición es falso.
  • 16. TABLA DE VERDAD Definición.- Una tabla de verdad es una representación de los posibles valores de verdad que podría tomar una proposición. Las tablas de verdad sirven para mostrar los valores, las relaciones y los resultados posibles al realizar operaciones lógicas.
  • 17. Ejemplo: Construcción de tablas de verdad. La cantidad de combinaciones (filas de la tabla de verdad) depende de la cantidad de proposiciones presentes en la expresión lógica.
  • 18. PROPOSICIONES Y VALOR DE VERDAD a b c d e f V F V V V V V V V V V V V V V V V V F F F F F F F F F F F F F F F F En general para “n” proposiciones, se pueden presentar 2n posibilidades 21 22 23 Las tablas de verdad son representaciones gráficas, en forma de arreglos, que sirven para analizar los posibles valores de verdad que puede tener una proposición simple o compuesta.
  • 19. OPERADORES LÓGICOS En nuestro lenguaje común usamos frecuentemente proposiciones más complejas, no tan simple o elementales. Ejemplos: Proposiciones que no son simple. Surge la necesidad de definir los nexos de estas proposiciones a los cuales se denominan conectores u operadores
  • 20. NEGACIÓN Este operador cambia el valor de verdad de una proposición: si a es una proposición verdadera, a es falsa; si a es una proposición falsa, a es verdadera. La negación se presenta con los términos gramaticales: no no es verdad que no es cierto que   
  • 21. Tabla de verdad de la negación Sea a una proposición, la negación de a, representada simbólicamente por a, es una nueva proposición, cuyo valor de verdad está dado por la siguiente tabla de verdad. 
  • 22. Ejemplo Negación de Proposiciones
  • 23. CONJUNCIÓN (^) Este operador lógico relaciona dos proposiciones para formar una nueva, en la cual la proposición resultante será verdadera solamente cuando el valor de verdad de ambas proposiciones es verdadero. La conjunción se presenta con los términos gramaticales: «y», «pero», «más», y signos de puntuación como: la coma, el punto, y el punto y coma.
  • 24. Tabla de verdad de la Conjunción
  • 25. Ejemplo: Conjunción de Proposiciones
  • 26. DISYUNCIÓN (V) Este operador lógico relaciona dos proposiciones para formar una nueva, en la cual la proposición resultante será falsa solamente cuando el valor de verdad de ambas proposiciones es falso. La Disyunción se presenta con el término gramatical «o».
  • 27. Tabla de verdad de la Disyunción
  • 28. Ejemplo: Disyunción de Proposiciones Si se tienen las proposiciones: a: Tengo un libro de Trigonometría. b: Tengo un libro de Álgebra. La disyunción entre a y b es: avb: Tengo un libro de Trigonometría o uno de Álgebra.
  • 29. Como se podrá notar en este ejemplo, existe la posibilidad de poseer ambos libros, razón por la cual esta disyunción recibe el nombre de disyunción inclusiva. Suelen presentarse situaciones que son mutuamente excluyentes entre sí. La expresión «o estoy en Quito o estoy en Guayaquil» denota la imposibilidad de estar físicamente en Quito y Guayaquil al mismo tiempo.
  • 30. CONDICIONAL Viene a ser la combinación de dos proposiciones con “si… entonces”. Se lee si p entonces q. REGLA.- Una proposición condicional es falsa cuando la primera proposición es verdadera y la segunda es falsa. Es verdadera en cualquiera de las otras formas
  • 31. Tabla de verdad de la Condicional
  • 32. Terminología gramatical de la CONDICIONAL
  • 33. Ejemplo: Condicional de Proposiciones
  • 34. BICONDICIONAL Es la unión de dos proposiciones por “si y sólo si”. Se lee a si y sólo si b. REGLA.- Una proposición bicondicional es verdadera cuando, o sus dos componentes son verdaderos o sus dos componentes son falsos. Términos gramaticales: «a si y sólo b», «a si y solamente b», «a implica b y b implica a»,
  • 35. Tabla de verdad de la Bicondicional
  • 36. Ejemplo: Bicondicional de Proposiciones
  • 37. Polinomios Booleanos Un polinomio booleano es una proposición compuesta, donde el valor de verdad de las proposiciones componentes es variable.
  • 38. Ejemplos de Polinomios Booleanos 1. Con una variable 𝒇 𝒓 = 𝒓 ∨ 𝒓 → 𝒓 ∧ ¬𝒓 2. Con dos variables: g(p, q) = [(p ↔¬q) ∧ q] ∨ (¬p ∧ q) 3. Combinando polinomios booleanos se pueden obtener otros más complicados: h(p, q, r) = [f(r) ↔ g(p, q)] ∨ f(r)
  • 39. Operaciones de Polinomios Booleanos 𝒇 𝒓 = ¬𝒓 ∨ 𝒓 → 𝒓 ∧ ¬𝒓 Consideremos una proposición verdadera, r : 2+3=5 Valor de verdad (1) Entonces reemplazamos su valor de verdad: 𝒇 𝒓 = 𝟎 ∨ 𝟏 → 𝟏 ∧ 𝟎 = 0
  • 40. Operaciones de Polinomios Booleanos g(p, q) = [(p ↔¬q) ∧ q] ∨ (¬p ∧ q) Consideremos: p : 5 > 1 Valor de verdad (0) q : Quito capital de Ecuador Valor de verdad (1) Entonces reemplazamos su valor de verdad: g(p, q) = [(0 ↔0) ∧ 1] ∨ (𝟏 ∧ 1)= 1
  • 41. Operaciones de Polinomios Booleanos Dado: h(p, q, r) = [f(r) ↔ g(p, q)] ∨ f(r) Si: f(r) Valor de verdad ( ) g(p, q Valor de verdad ( ) Obtenga el valor de verdad de h(p, q, r)
  • 42. Orden de los Operadores Lógicos Los signos de agrupación más conocidos son: el paréntesis ( ), corchete [ ] y llaves . Estos signos reemplazan a los signos gramaticales: punto (.), la coma (,), el punto y como (;), y los dos puntos (:). Regla 1.- Si no hay signos de puntuación ni paréntesis se debe considerar el siguiente orden de menor a mayor jerarquía de los operadores y de izquierda a derecha, para ubicar los paréntesis
  • 43. Orden de los Operadores Lógicos Regla 2.- Si las proposiciones tienen el mismo tipo de operador o conectivo lógico, se debe colocar los paréntesis de izquierda a derecha así:
  • 44. Orden de los Operadores Lógicos Regla 3.- Si la proposición compuesta está escrita con paréntesis, la ubicación de éstos nos indicará cuál es el operador predominante:
  • 45. Orden de los Operadores Lógicos Regla 4.- Si un esquema molecular no lleva los signos de agrupación, se puede indicar cuál es el operador predominante así:
  • 46. Ejercicios  Formaliza las siguientes proposiciones: 1. No es cierto que no me guste bailar 2. Me gusta bailar y leer libros de ciencia-ficción. 3. Si los gatos de mi hermana no soltaran tanto pelo me gustaría acariciarlos. 4. Si y sólo si viera un marciano con mis propios ojos, creería que hay vida extraterrestre. 5. Una de dos: o salgo a dar un paseo, o me pongo a estudiar como un energúmeno. 6. Si los elefantes volaran o supieran tocar el acordeón, pensaría que estoy como una regadera y dejaría que me internaran en un psiquiátrico. 7. Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para ello y no tengo que ir a trabajar.
  • 47. Solución 1. [B me gusta bailar]. ¬(¬B) 2. [B me gusta bailar. C me gusta leer libros de ciencia ficción]. B ∧C 3. [G los gatos de mi hermana sueltan pelo. A me gusta acariciar los gatos ]. ¬G→A 4. [M ver un marciano con mis propios ojos. E creer en los extraterrestres ]. M ⇔E 5. [P salir a dar un paseo. E estudiar como un energúmeno]. P V E 6. [V los elefantes vuelan. T los elefantes tocan él acordeón. L estar loco. P internar en un psiquiátrico ]. ( V V T ) →( l ∧P) 7. [ V ir de vacaciones. N no hacer nada. T tener tiempo. I ir a trabajar]. (T ∧¬I ) →(V V N )
  • 48. Ejercicios  Formaliza la siguientes proposición: Si tuvieran que justificarse ciertos hechos por su enorme tradición entonces, si estos hechos son inofensivos y respetan a todo ser viviente y al medio ambiente, no habría ningún problema. Pero si los hechos son bárbaros o no respetuosos con los seres vivientes o el medio ambiente, entonces habría que dejar de justificarlos o no podríamos considerarnos dignos de nuestro tiempo. J. Justificar hechos T. Enorme tradición. I. hechos inofensivos y respetan a todo ser vivo y al medio ambiente N. no hay problema D. dignos de nuestro tiempo [(J Λ T)  (I  N)] Λ [(-I  -J) V D]
  • 49. Ejercicios  Formaliza la siguientes proposición: Mary puede escribir el programa en Fortran o Pascal o de plano no escribirlo. Si no escribe el programa sacará cero y reprobará el curso. Si reprueba el curso será puesta en el padrón de jalados y si se saca cero su novio la dejará. Si Mary escribe el programa en Fortran reprobará el curso pero si lo escribe en Pascal pasará. P: Mary escribe el programa en Pascal Q: Mary escribe el programa en Fortran R: Mary no escribe el programa S: Mary saca un cero T: Mary reprueba el curso U: Mary es puesta en el padrón de jalados V: El novio de Mary la deja. (PVQVR) Λ (PVQ¬R) Λ(R(S ΛT) Λ(TU) Λ(QT) Λ(P¬T)