SlideShare una empresa de Scribd logo
1 de 35
Lógica
Elaborado por Violeta Guédez
PROPOSICIONES
Elaborado por Violeta Guédez
Matemática Básica
Gráfico con la secuencia a seguir en el curso:
Distinguiremos en su
estructura….
Con el objeto de…
Podremos…
Definiremos
Argumento lógico
Premisas
Razonamiento
Conclusión
Identificaremos
Proposiciones
Proposiciones
Simples,
Compuestas
Conectivos
Simbolizar
Premisas y
Conclusión
con Conectivos
Predicados
Cuantificadores
Métodos:
Tablas de verdad
Diagramas de Venn
Reglas de Inferencia
Validar
Argumentos con
razonamiento
deductivo
Elaborado por Violeta Guédez
Matemática Básica
Proposiciones
En vista de las necesidades de «contar», «ordenar»,
«medir», «clasificar», «relacionar»,… resultan el lenguaje
matemático como una decodificación, elaboración y
comunicación de las ideas.
Este curso comienza con la presentación de las ideas más
simples que caracterizan el lenguaje matemático: el
concepto de proposición y las operaciones fundamentales
para obtener nuevas proposiciones a partir de algunas ya
conocidas, la negación, la conjunción, la disyunción y el
condicional.
Elaborado por Violeta Guédez
Matemática Básica
Proposiciones
Un enunciado se define como una expresión lingüística
que establece un pensamiento completo:
• Interrogativos:
¿Qué hora es?
• Imperativos:
Levántate
• Admirativos o exclamativos:
¡Que grande estás!
• Declarativos:
Hoy es sábado.
Los enunciados declarativos serán de estudio en esta área.
Elaborado por Violeta Guédez
Matemática Básica
Proposiciones
Una proposición es un enunciado al cual se le puede
asociar uno de los conceptos “verdadero” (V) o “falso” (F),
pero no ambos.
Comúnmente se denotan con las letras p, q, r, s, …
De acuerdo a la definición anterior, ¿Cuál(es) de las siguientes
expresiones es(son) proposición(es)?
(i) 4 es un número impar
(ii) Hoy es día lunes
(iii) ¡Apague inmediatamente el celular!
(iv) Ese triángulo está mal dibujado
(v) La suma de dos números impares es un número par.
(vi) ¿Qué hora tiene tu reloj?
Elaborado por Violeta Guédez
Matemática Básica
Proposiciones
La idea de una proposición se recuerda con una tabla
donde se coloca la proposición y sus valores lógicos. A
esta tabla se le denomina Tabla Lógica de p o Tabla de
Verdad de p o Tabla de Certeza de p.
F
V
p
Proposición 
Valores lógicos 
Nota:
A cada proposición se le denomina proposición simple (Atómicas).
Su tabla de verdad es:
Elaborado por Violeta Guédez
Matemática Básica
Proposiciones
Al conectar dos o más proposiciones simples se obtienen
las proposiciones compuestas.
Una proposición compuesta se forma
enlazando proposiciones simples con conectivos.
El valor de certeza de una proposición
compuesta dependerá de los valores de certeza
de las proposiciones simples que la componen
Nota:
A cada proposición compuesta también se le denomina moleculares.
Elaborado por Violeta Guédez
Matemática Básica
Los conectivos que abordaremos
inicialmente en este curso serán:
Conectivos
conectivo nombre símbolo
y conjunción 
o disyunción 
⊻
no negación ~
Si...entonces condicional 
…si y sólo si.. bicondicional 
Elaborado por Violeta Guédez
Matemática Básica
La proposición ~p es la proposición compuesta cuyo
valor lógico es el contrario al valor lógico de la
proposición p.
Ejemplo: La negación de “n es menor que 5” es:
“n no es menor que 5”
Pero también equivale a decir:
“n es mayor o igual que 5”
La negación
Elaborado por Violeta Guédez
Matemática Básica
Su tabla de verdad será:
La negación
Proposición Negación
Primera fila para las
proposiciones 
Filas segunda en adelante para
los valores lógicos de las
proposiciones 
Nota: Frases que permiten simbolizar una negación:
no p;
no es cierto que p;
es falso que p.
Elaborado por Violeta Guédez
Matemática Básica
La negación
Ejemplos
¿Cuál es la negación, y cuál el valor lógico de ella, para cada
una de las siguientes proposiciones?
(i) 4 es un número impar
(ii)El cuadrado de un número par es par
(iii) La Universidad Metropolitana tiene 20 años de existencia.
(iv) El número ½ está a la misma distancia del cero que del
uno.
Elaborado por Violeta Guédez
Matemática Básica
La conjunción de dos proposiciones p, q es otra
proposición denotada por p  q, la cual es cierta, si y
sólo si p y q son ciertas.
Frases que se toman como “sinónimos” de la conjunción:
Además
Pero
Sin embargo
Aunque
También
Aún
A la vez
No Obstante
(las comas, y el punto y coma)
La conjunción (“y”)
Elaborado por Violeta Guédez
Matemática Básica
Ejemplos de conjunción:
El número 3 es positivo y se encuentra a la derecha de 0.
Colecciono postales además de perfumes.
Intenté llegar temprano a clase pero el tráfico lo impidió.
Me perdí la primera parte de la película sin embargo la entendí.
Estudiaré Básica aunque me cueste concentrarme.
Me divertí en la playa, también en la piscina.
Entendí el problema a la vez que lo leía.
Toco piano muy afinado no obstante canto desafinado.
Compraré queso, jamón, pan y mantequilla.
La conjunción (“y”)
Elaborado por Violeta Guédez
Matemática Básica
Su tabla de verdad es:
La conjunción (“y”)
Observe que sólo es cierta cuando p y q son ciertas.
Primera fila para las
proposiciones 
Filas segunda en adelante para
los valores lógicos de las
proposiciones

Elaborado por Violeta Guédez
Matemática Básica
La conjunción (“y”)
Ejemplos
Para cada una de las siguientes proposiciones indique
cuales son las proposiciones simples y simbolice utilizando
la conjunción:
(i) -3 es un número negativo y se representa a la derecha
del cero
(ii) En la Isla de Margarita hay playas y tiendas
(iii) El médico y su paciente discutieron por los honorarios.
(iv) Intenté llegar temprano a la Universidad, pero una
“tranca” me retrasó.
Elaborado por Violeta Guédez
Matemática Básica
Dadas las proposiciones p y q, definimos la
proposición “ p disyunción q”, denotada como p  q, a
la proposición que se obtiene conectando ambas
proposiciones con la expresión “o”.
Ejemplo:
Veo las noticias o me divierto.
Estudio matemática o lenguaje.
Estoy dentro o fuera.
Estoy viva o muerta.
La disyunción (“o”)
Advertencia importante:
El “o” correspondiente a la disyunción será siempre incluyente.
Elaborado por Violeta Guédez
Matemática Básica
La tabla de verdad de la “o” inclusiva es:
La disyunción (“o”)
Primera fila para las
proposiciones 
Filas segunda en adelante para
los valores lógicos de las
proposiciones

Observe que sólo es falsa cuando p y q son falsas.
Elaborado por Violeta Guédez
Matemática Básica
La tabla de verdad de la “o” exclusiva es :
La disyunción (“o”)
Primera fila para las
proposiciones 
Filas segunda en adelante para
los valores lógicos de las
proposiciones

Observe que sólo es falsa cuando p y q tiene los
mismos valores.
p⊻q
F
V
V
F
Elaborado por Violeta Guédez
Matemática Básica
La disyunción (“o”)
Ejemplos
Para cada una de las siguientes proposiciones indique
cuales son las proposiciones simples y simbolice utilizando
la disyunción:
(i) El valor de x es un número mayor que 12 o menor que 3.
(ii) El domingo próximo pintaré la pared o el techo.
(iii) Me quedo con la duda o pregunto
(iv) Vengo a clases en el Ford o en el Nissan.
(v) Estoy casada o soltera.
Elaborado por Violeta Guédez
Matemática Básica
Dadas dos proposiciones p, q, la proposición
condicional de ellas es la nueva proposición que se
obtiene conectando ambas con la expresión “si p…
entonces q”.
Lecturas equivalentes de “si p entonces q” (p  q) son:
• p implica q
• q si p
• p es suficiente para q
• q es necesaria para p
• q cuando p
• q siempre que p
• p sólo si q
• q porque p
• q a menos que no p
El condicional (“si … entonces …”)
Elaborado por Violeta Guédez
Matemática Básica
El condicional (“si … entonces …”)
Ejemplos:
 Si cumpliste 18 años entonces puedes sufragar.
 Cumplir 18 años implica que puedes sufragar.
 Puedes sufragar si cumpliste 18 años.
 Cumplir 18 años es suficiente para poder sufragar.
 Es necesario haber cumplido 18 años para poder
sufragar.
 Puedes sufragar cuando cumplas 18 años.
 Podrás sufragar siempre que cumplas 18 años.
 Cumpliste 18 años sólo si has sufragado.
 Pudiste sufragar porque cumpliste 18 años.
 Podrás sufragar a menos que no hayas cumplido 18
años.
Elaborado por Violeta Guédez
Matemática Básica
Observe en el siguiente condicional:
“Si Pedro tiene una gandola entonces pasa por
la rampa”
Considere
p: Pedro tiene una gandola
q: Pedro pasa por la rampa
El condicional (“si … entonces …”)
Asigne valores de verdad a las proposiciones:
p: V q: V p:V q: F
p: F q: V p: F q: F
¿Cuál de las combinaciones es la que falla (es Falsa)?
Elaborado por Violeta Guédez
Matemática Básica
Su tabla de verdad es:
Observe que sólo es falsa cuando el antecedente es
verdadero y el consecuente falso.
El condicional (“si … entonces …”)
Primera fila para las
proposiciones 
Filas segunda en adelante para
los valores lógicos de las
proposiciones

Nota:
La proposición p se llama
antecedente y la
proposición q recibe el
nombre de consecuente
Elaborado por Violeta Guédez
Matemática Básica
El condicional (“si … entonces …”)
Ejemplos
Para cada una de las siguientes proposiciones indique
cuales son las proposiciones simples y simbolice utilizando
el condicional:
(i) Si se eleva al cuadrado un número par se obtiene un
número par.
(ii) Para poder aprobar el trimestre es necesario pasar
Lógica.
(iii) Si un triángulo es equilátero, también es isósceles.
(iv) Debo hacer los ejercicios, puesto que entendí la clase.
(v) Es suficiente que sea caraqueño para que sea
venezolano.
Elaborado por Violeta Guédez
Matemática Básica
El bicondicional (“… si y sólo si …”)
Dadas dos proposiciones p y q, la proposición
bicondicional de ellas es la nueva proposición que
se obtiene conectando ambas con la expresión “p si y
sólo si q”, o «p es condición necesaria y suficiente
para q», o «p entonces y sólo entonces q».
.
El bicondicional es llamado equivalencia entre dos
proposiciones p y q compuestas de la forma
(p  q)  (q  p) la cual, habitualmente, se
denota por p  q , o p  q , o p  q .
Elaborado por Violeta Guédez
Matemática Básica
El bicondicional (“… si y sólo si …”)
Por ejemplo en la definición:
“Si un triángulo es equilátero entonces todos sus lados
tienen la misma longitud, y si todos los lados de un
triangulo tienen la misma longitud entonces es
equilátero”.
Se tiene:
“Un triángulo es equilátero si y sólo si todos sus lados
tienen la misma longitud”.
Lógica Básica
Elaborado por Violeta Guédez
Ejercicio:
a) Determinar cuál de los siguientes es o no proposición.
b) Si es proposición indicar si es simple o compuesta.
c) Si es proposición compuesta indicar cuál es el
conectivo y enunciar cada proposición simple que la
conforman.
• Tiene tres lados porque es un triángulo .
• Lógica Básica es la mejor asignatura.
• Carlos y José son hermanos.
• Las personas que no miran a los ojos no inspiran
confianza.
• Quiero ir al cine pero no tengo dinero.
• El numero 6 es impar.
Elaborado por Violeta Guédez
Matemática Básica
Un teorema es un esquema valido de razonamiento
donde el conjunto de premisas se denomina
hipótesis y la conclusión es la tesis.
Ejemplo:
 Si una figura geométrica tiene tres lados y tiene un
ángulo recto entonces es un triángulo rectángulo.
 Dos ángulos son complementarios si la suma de la
medidas de sus ángulos es 90 grados.
 El conjunto C={1, 2, 3, 4, 5} es la unión de los
conjuntos A={1, 3, 5} y B={2, 3, 4}.
Respecto a los teoremas
En matemática, cada vez que se enuncia un Teorema
se tiene un condicional: Hipótesis Tesis.
Elaborado por Violeta Guédez
Matemática Básica
Proposiciones
Una tautología a una proposición compuesta que es
siempre verdadera, cualesquiera que sean los valores
de verdad de las proposiciones que la conforman. (La
tabla de verdad de una tautología da como resultado
exclusivamente el valor V ). Por convención
denotaremos una tautología como V0.
Una contradicción a una proposición compuesta que
es siempre falsa, cualesquiera que sean los valores
de verdad de las proposiciones que la conforman.
(La tabla de verdad de una contradicción da como
resultado exclusivamente el valor F).
Por convención denotaremos una contradicción como F0.
Nota:
Todos los teoremas son una tautología.
Elaborado por Violeta Guédez
Matemática Básica
Proposiciones
Una Contingencia es una proposición compuesta que
en la tabla de verdad toma valores de verdad V para
algunas valoraciones y valores F para otras en su
resultado.
Ejemplos:
(p ∨  p) es tautología
(p   p) es contradicción
(p  q) es contingencia
Lógica Básica
Elaborado por Violeta Guédez
Formas derivadas del CONDICIONAL
Cuando se establece un teorema, de manera casi obligatoria se piensa en los
siguientes condicionales asociados:
p q q p
 p q q  p
Teorema directo Teorema recíproco
Teorema contrario
(Inverso)
Teorema contrarrecíproco
recíprocos contrarios
contrarrecíprocos
Lógica Básica
Elaborado por Violeta Guédez
Notas de Formas derivadas del CONDICIONAL
 Toda definición es reversible, es decir la proposición
y su recíproca son siempre ciertas.
 Una proposición y su contrarrecíproca son
equivalentes, quiere decir que en una demostración
se puede utilizar cualquiera de las dos.
Elaborado por Violeta Guédez
Matemática Básica
Proposiciones
Dos proposiciones son equivalentes si sus valores de
verdad son idénticos, esto es, son aquellas
proposiciones que tienen la misma tabla de verdad.
En las proposiciones condicionales existen expresiones
equivalentes entre si:
Dado el condicional p  q su equivalente es su
contrarrecíproco ~q  ~p
Y del recíproco q  p su equivalente es el inverso ~p  ~q
Demuestre las equivalencias anteriores realizando las tablas de
verdad en cada caso.
Elaborado por Violeta Guédez
Matemática Básica
Proposiciones
Negación del condicional
~ (p  q) es ~ (~p  q)
Negación del condicional p  q:
Se escribe ~ (p  q) = ~(~p  q) = p  ~q
Aplicando la Ley de De Morgan:
Realice su tabla de verdad y verifique que:
~ (p  q) = p  ~q .
Elaborado por Violeta Guédez
Matemática Básica
Ejercicios:
Exprese en símbolos cada una de las siguientes
proposiciones compuestas y para ello identifique cada
proposición simple con las letras p, q, r, s,… (que hagan
falta):
a) No es cierto que, si soy venezolana entonces soy
de Caracas.
b) Soy venezolana pero no soy de Caracas.
c) No es cierto que, soy de Caracas y no soy
venezolana.
d) No es cierto que, no soy venezolana ni soy de
Caracas.

Más contenido relacionado

Similar a Proposiciones-Tema 2- enero 2023.ppt

Similar a Proposiciones-Tema 2- enero 2023.ppt (20)

Unidad I álgebra-proposicional
Unidad I álgebra-proposicionalUnidad I álgebra-proposicional
Unidad I álgebra-proposicional
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Logica 1
Logica 1Logica 1
Logica 1
 
Logica 1
Logica 1Logica 1
Logica 1
 
Leyes algebra
Leyes algebraLeyes algebra
Leyes algebra
 
LóGica SesióN N°2
LóGica SesióN N°2LóGica SesióN N°2
LóGica SesióN N°2
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
PrimerasemanaDiapositivas.pptx
PrimerasemanaDiapositivas.pptxPrimerasemanaDiapositivas.pptx
PrimerasemanaDiapositivas.pptx
 
Calculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merloCalculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merlo
 
Logica 2011
Logica 2011Logica 2011
Logica 2011
 
Sesión N°2 Lógica PPS Unimet
Sesión N°2 Lógica PPS UnimetSesión N°2 Lógica PPS Unimet
Sesión N°2 Lógica PPS Unimet
 
Trabajo de lógica matemática
Trabajo de lógica matemáticaTrabajo de lógica matemática
Trabajo de lógica matemática
 
2020-02_MB-EDUC-LOGICA 1 (1).pdf
2020-02_MB-EDUC-LOGICA 1 (1).pdf2020-02_MB-EDUC-LOGICA 1 (1).pdf
2020-02_MB-EDUC-LOGICA 1 (1).pdf
 
Ing. Civil - Cuadernillo 2018
Ing. Civil  - Cuadernillo 2018Ing. Civil  - Cuadernillo 2018
Ing. Civil - Cuadernillo 2018
 
01-DESCARGAR-LÓGICA-MATEMÁTICA-QUINTO-DE-SECUNDARIA.doc
01-DESCARGAR-LÓGICA-MATEMÁTICA-QUINTO-DE-SECUNDARIA.doc01-DESCARGAR-LÓGICA-MATEMÁTICA-QUINTO-DE-SECUNDARIA.doc
01-DESCARGAR-LÓGICA-MATEMÁTICA-QUINTO-DE-SECUNDARIA.doc
 
Clase1 log.mate
Clase1 log.mateClase1 log.mate
Clase1 log.mate
 
Trabajo de lógica matemática
Trabajo de lógica matemáticaTrabajo de lógica matemática
Trabajo de lógica matemática
 
LOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL IILOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL II
 
Lógica matemática maicol
Lógica matemática maicolLógica matemática maicol
Lógica matemática maicol
 
Clase 2.pdf
Clase 2.pdfClase 2.pdf
Clase 2.pdf
 

Más de Elsa Guédez

Calculo de areas ucv ( 2021)
Calculo de areas   ucv ( 2021)Calculo de areas   ucv ( 2021)
Calculo de areas ucv ( 2021)Elsa Guédez
 
Introduccion al_calculo_de_areas_-_ucv_(2021)
Introduccion  al_calculo_de_areas_-_ucv_(2021)Introduccion  al_calculo_de_areas_-_ucv_(2021)
Introduccion al_calculo_de_areas_-_ucv_(2021)Elsa Guédez
 
Metodo sustitucion ucv-(_mayo_2021)
Metodo sustitucion ucv-(_mayo_2021)Metodo sustitucion ucv-(_mayo_2021)
Metodo sustitucion ucv-(_mayo_2021)Elsa Guédez
 
Volumen de un_solido_de_revolucion_parte_2-ucv_(2021)
Volumen de un_solido_de_revolucion_parte_2-ucv_(2021)Volumen de un_solido_de_revolucion_parte_2-ucv_(2021)
Volumen de un_solido_de_revolucion_parte_2-ucv_(2021)Elsa Guédez
 
Vol de un solid de revoluc parte 1 ucv (2021)
Vol  de un solid de revoluc parte 1   ucv (2021)Vol  de un solid de revoluc parte 1   ucv (2021)
Vol de un solid de revoluc parte 1 ucv (2021)Elsa Guédez
 
Sustitucion trigonometrica ucv (2021)
Sustitucion trigonometrica   ucv (2021)Sustitucion trigonometrica   ucv (2021)
Sustitucion trigonometrica ucv (2021)Elsa Guédez
 
Sumas de riemann tfc ucv ( 2021)
Sumas de riemann tfc   ucv ( 2021)Sumas de riemann tfc   ucv ( 2021)
Sumas de riemann tfc ucv ( 2021)Elsa Guédez
 
Modelos dispersion circular ucv (2021)
Modelos dispersion circular  ucv (2021)Modelos dispersion circular  ucv (2021)
Modelos dispersion circular ucv (2021)Elsa Guédez
 
Integrales trigonom ucv (2021)
Integrales trigonom   ucv (2021)Integrales trigonom   ucv (2021)
Integrales trigonom ucv (2021)Elsa Guédez
 
Integrales impropias ucv (2021)
Integrales impropias   ucv (2021)Integrales impropias   ucv (2021)
Integrales impropias ucv (2021)Elsa Guédez
 
Fracc simples parte 1 y 2 ucv (2021)
Fracc simples parte 1 y 2  ucv (2021)Fracc simples parte 1 y 2  ucv (2021)
Fracc simples parte 1 y 2 ucv (2021)Elsa Guédez
 
Ecuac diferenc ucv (2021)
Ecuac diferenc  ucv (2021)Ecuac diferenc  ucv (2021)
Ecuac diferenc ucv (2021)Elsa Guédez
 
Calculo de areas ucv ( 2021)
Calculo de areas   ucv ( 2021)Calculo de areas   ucv ( 2021)
Calculo de areas ucv ( 2021)Elsa Guédez
 
Mate 2 ucv integ indef (mayo 2021)
Mate 2 ucv integ indef (mayo 2021)Mate 2 ucv integ indef (mayo 2021)
Mate 2 ucv integ indef (mayo 2021)Elsa Guédez
 
Semana 10 regla de l hopital (abril 2021)-prof elsa guedez
Semana 10   regla de l hopital  (abril 2021)-prof elsa guedezSemana 10   regla de l hopital  (abril 2021)-prof elsa guedez
Semana 10 regla de l hopital (abril 2021)-prof elsa guedezElsa Guédez
 
Busqueda y uso de rea elsa guedez
Busqueda y uso de rea elsa guedezBusqueda y uso de rea elsa guedez
Busqueda y uso de rea elsa guedezElsa Guédez
 
Predicados y cuantificadores autora elsa guédez
Predicados y cuantificadores autora elsa guédezPredicados y cuantificadores autora elsa guédez
Predicados y cuantificadores autora elsa guédezElsa Guédez
 

Más de Elsa Guédez (17)

Calculo de areas ucv ( 2021)
Calculo de areas   ucv ( 2021)Calculo de areas   ucv ( 2021)
Calculo de areas ucv ( 2021)
 
Introduccion al_calculo_de_areas_-_ucv_(2021)
Introduccion  al_calculo_de_areas_-_ucv_(2021)Introduccion  al_calculo_de_areas_-_ucv_(2021)
Introduccion al_calculo_de_areas_-_ucv_(2021)
 
Metodo sustitucion ucv-(_mayo_2021)
Metodo sustitucion ucv-(_mayo_2021)Metodo sustitucion ucv-(_mayo_2021)
Metodo sustitucion ucv-(_mayo_2021)
 
Volumen de un_solido_de_revolucion_parte_2-ucv_(2021)
Volumen de un_solido_de_revolucion_parte_2-ucv_(2021)Volumen de un_solido_de_revolucion_parte_2-ucv_(2021)
Volumen de un_solido_de_revolucion_parte_2-ucv_(2021)
 
Vol de un solid de revoluc parte 1 ucv (2021)
Vol  de un solid de revoluc parte 1   ucv (2021)Vol  de un solid de revoluc parte 1   ucv (2021)
Vol de un solid de revoluc parte 1 ucv (2021)
 
Sustitucion trigonometrica ucv (2021)
Sustitucion trigonometrica   ucv (2021)Sustitucion trigonometrica   ucv (2021)
Sustitucion trigonometrica ucv (2021)
 
Sumas de riemann tfc ucv ( 2021)
Sumas de riemann tfc   ucv ( 2021)Sumas de riemann tfc   ucv ( 2021)
Sumas de riemann tfc ucv ( 2021)
 
Modelos dispersion circular ucv (2021)
Modelos dispersion circular  ucv (2021)Modelos dispersion circular  ucv (2021)
Modelos dispersion circular ucv (2021)
 
Integrales trigonom ucv (2021)
Integrales trigonom   ucv (2021)Integrales trigonom   ucv (2021)
Integrales trigonom ucv (2021)
 
Integrales impropias ucv (2021)
Integrales impropias   ucv (2021)Integrales impropias   ucv (2021)
Integrales impropias ucv (2021)
 
Fracc simples parte 1 y 2 ucv (2021)
Fracc simples parte 1 y 2  ucv (2021)Fracc simples parte 1 y 2  ucv (2021)
Fracc simples parte 1 y 2 ucv (2021)
 
Ecuac diferenc ucv (2021)
Ecuac diferenc  ucv (2021)Ecuac diferenc  ucv (2021)
Ecuac diferenc ucv (2021)
 
Calculo de areas ucv ( 2021)
Calculo de areas   ucv ( 2021)Calculo de areas   ucv ( 2021)
Calculo de areas ucv ( 2021)
 
Mate 2 ucv integ indef (mayo 2021)
Mate 2 ucv integ indef (mayo 2021)Mate 2 ucv integ indef (mayo 2021)
Mate 2 ucv integ indef (mayo 2021)
 
Semana 10 regla de l hopital (abril 2021)-prof elsa guedez
Semana 10   regla de l hopital  (abril 2021)-prof elsa guedezSemana 10   regla de l hopital  (abril 2021)-prof elsa guedez
Semana 10 regla de l hopital (abril 2021)-prof elsa guedez
 
Busqueda y uso de rea elsa guedez
Busqueda y uso de rea elsa guedezBusqueda y uso de rea elsa guedez
Busqueda y uso de rea elsa guedez
 
Predicados y cuantificadores autora elsa guédez
Predicados y cuantificadores autora elsa guédezPredicados y cuantificadores autora elsa guédez
Predicados y cuantificadores autora elsa guédez
 

Último

ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLA
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLAACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLA
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLAJAVIER SOLIS NOYOLA
 
Tema 19. Inmunología y el sistema inmunitario 2024
Tema 19. Inmunología y el sistema inmunitario 2024Tema 19. Inmunología y el sistema inmunitario 2024
Tema 19. Inmunología y el sistema inmunitario 2024IES Vicent Andres Estelles
 
origen y desarrollo del ensayo literario
origen y desarrollo del ensayo literarioorigen y desarrollo del ensayo literario
origen y desarrollo del ensayo literarioELIASAURELIOCHAVEZCA1
 
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIA
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIASISTEMA RESPIRATORIO PARA NIÑOS PRIMARIA
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIAFabiolaGarcia751855
 
CONCURSO NACIONAL JOSE MARIA ARGUEDAS.pptx
CONCURSO NACIONAL JOSE MARIA ARGUEDAS.pptxCONCURSO NACIONAL JOSE MARIA ARGUEDAS.pptx
CONCURSO NACIONAL JOSE MARIA ARGUEDAS.pptxroberthirigoinvasque
 
RESULTADOS DE LA EVALUACIÓN DIAGNÓSTICA 2024 - ACTUALIZADA.pptx
RESULTADOS DE LA EVALUACIÓN DIAGNÓSTICA 2024 - ACTUALIZADA.pptxRESULTADOS DE LA EVALUACIÓN DIAGNÓSTICA 2024 - ACTUALIZADA.pptx
RESULTADOS DE LA EVALUACIÓN DIAGNÓSTICA 2024 - ACTUALIZADA.pptxpvtablets2023
 
TRABAJO FINAL TOPOGRAFÍA COMPLETO DE LA UPC
TRABAJO FINAL TOPOGRAFÍA COMPLETO DE LA UPCTRABAJO FINAL TOPOGRAFÍA COMPLETO DE LA UPC
TRABAJO FINAL TOPOGRAFÍA COMPLETO DE LA UPCCarlosEduardoSosa2
 
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docxEliaHernndez7
 
LA LITERATURA DEL BARROCO 2023-2024pptx.pptx
LA LITERATURA DEL BARROCO 2023-2024pptx.pptxLA LITERATURA DEL BARROCO 2023-2024pptx.pptx
LA LITERATURA DEL BARROCO 2023-2024pptx.pptxlclcarmen
 
Posición astronómica y geográfica de Europa.pptx
Posición astronómica y geográfica de Europa.pptxPosición astronómica y geográfica de Europa.pptx
Posición astronómica y geográfica de Europa.pptxBeatrizQuijano2
 
activ4-bloque4 transversal doctorado.pdf
activ4-bloque4 transversal doctorado.pdfactiv4-bloque4 transversal doctorado.pdf
activ4-bloque4 transversal doctorado.pdfRosabel UA
 
2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx
2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx
2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptxRigoTito
 
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).pptPINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).pptAlberto Rubio
 
Concepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptxConcepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptxFernando Solis
 
Feliz Día de la Madre - 5 de Mayo, 2024.pdf
Feliz Día de la Madre - 5 de Mayo, 2024.pdfFeliz Día de la Madre - 5 de Mayo, 2024.pdf
Feliz Día de la Madre - 5 de Mayo, 2024.pdfMercedes Gonzalez
 

Último (20)

ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLA
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLAACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLA
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLA
 
Tema 19. Inmunología y el sistema inmunitario 2024
Tema 19. Inmunología y el sistema inmunitario 2024Tema 19. Inmunología y el sistema inmunitario 2024
Tema 19. Inmunología y el sistema inmunitario 2024
 
Supuestos_prácticos_funciones.docx
Supuestos_prácticos_funciones.docxSupuestos_prácticos_funciones.docx
Supuestos_prácticos_funciones.docx
 
origen y desarrollo del ensayo literario
origen y desarrollo del ensayo literarioorigen y desarrollo del ensayo literario
origen y desarrollo del ensayo literario
 
Power Point E. S.: Los dos testigos.pptx
Power Point E. S.: Los dos testigos.pptxPower Point E. S.: Los dos testigos.pptx
Power Point E. S.: Los dos testigos.pptx
 
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIA
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIASISTEMA RESPIRATORIO PARA NIÑOS PRIMARIA
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIA
 
CONCURSO NACIONAL JOSE MARIA ARGUEDAS.pptx
CONCURSO NACIONAL JOSE MARIA ARGUEDAS.pptxCONCURSO NACIONAL JOSE MARIA ARGUEDAS.pptx
CONCURSO NACIONAL JOSE MARIA ARGUEDAS.pptx
 
Lecciones 06 Esc. Sabática. Los dos testigos
Lecciones 06 Esc. Sabática. Los dos testigosLecciones 06 Esc. Sabática. Los dos testigos
Lecciones 06 Esc. Sabática. Los dos testigos
 
RESULTADOS DE LA EVALUACIÓN DIAGNÓSTICA 2024 - ACTUALIZADA.pptx
RESULTADOS DE LA EVALUACIÓN DIAGNÓSTICA 2024 - ACTUALIZADA.pptxRESULTADOS DE LA EVALUACIÓN DIAGNÓSTICA 2024 - ACTUALIZADA.pptx
RESULTADOS DE LA EVALUACIÓN DIAGNÓSTICA 2024 - ACTUALIZADA.pptx
 
TRABAJO FINAL TOPOGRAFÍA COMPLETO DE LA UPC
TRABAJO FINAL TOPOGRAFÍA COMPLETO DE LA UPCTRABAJO FINAL TOPOGRAFÍA COMPLETO DE LA UPC
TRABAJO FINAL TOPOGRAFÍA COMPLETO DE LA UPC
 
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
 
LA LITERATURA DEL BARROCO 2023-2024pptx.pptx
LA LITERATURA DEL BARROCO 2023-2024pptx.pptxLA LITERATURA DEL BARROCO 2023-2024pptx.pptx
LA LITERATURA DEL BARROCO 2023-2024pptx.pptx
 
Posición astronómica y geográfica de Europa.pptx
Posición astronómica y geográfica de Europa.pptxPosición astronómica y geográfica de Europa.pptx
Posición astronómica y geográfica de Europa.pptx
 
activ4-bloque4 transversal doctorado.pdf
activ4-bloque4 transversal doctorado.pdfactiv4-bloque4 transversal doctorado.pdf
activ4-bloque4 transversal doctorado.pdf
 
2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx
2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx
2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx
 
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).pptPINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
 
Concepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptxConcepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptx
 
Sesión de clase: Fe contra todo pronóstico
Sesión de clase: Fe contra todo pronósticoSesión de clase: Fe contra todo pronóstico
Sesión de clase: Fe contra todo pronóstico
 
Feliz Día de la Madre - 5 de Mayo, 2024.pdf
Feliz Día de la Madre - 5 de Mayo, 2024.pdfFeliz Día de la Madre - 5 de Mayo, 2024.pdf
Feliz Día de la Madre - 5 de Mayo, 2024.pdf
 
Interpretación de cortes geológicos 2024
Interpretación de cortes geológicos 2024Interpretación de cortes geológicos 2024
Interpretación de cortes geológicos 2024
 

Proposiciones-Tema 2- enero 2023.ppt

  • 1. Lógica Elaborado por Violeta Guédez PROPOSICIONES
  • 2. Elaborado por Violeta Guédez Matemática Básica Gráfico con la secuencia a seguir en el curso: Distinguiremos en su estructura…. Con el objeto de… Podremos… Definiremos Argumento lógico Premisas Razonamiento Conclusión Identificaremos Proposiciones Proposiciones Simples, Compuestas Conectivos Simbolizar Premisas y Conclusión con Conectivos Predicados Cuantificadores Métodos: Tablas de verdad Diagramas de Venn Reglas de Inferencia Validar Argumentos con razonamiento deductivo
  • 3. Elaborado por Violeta Guédez Matemática Básica Proposiciones En vista de las necesidades de «contar», «ordenar», «medir», «clasificar», «relacionar»,… resultan el lenguaje matemático como una decodificación, elaboración y comunicación de las ideas. Este curso comienza con la presentación de las ideas más simples que caracterizan el lenguaje matemático: el concepto de proposición y las operaciones fundamentales para obtener nuevas proposiciones a partir de algunas ya conocidas, la negación, la conjunción, la disyunción y el condicional.
  • 4. Elaborado por Violeta Guédez Matemática Básica Proposiciones Un enunciado se define como una expresión lingüística que establece un pensamiento completo: • Interrogativos: ¿Qué hora es? • Imperativos: Levántate • Admirativos o exclamativos: ¡Que grande estás! • Declarativos: Hoy es sábado. Los enunciados declarativos serán de estudio en esta área.
  • 5. Elaborado por Violeta Guédez Matemática Básica Proposiciones Una proposición es un enunciado al cual se le puede asociar uno de los conceptos “verdadero” (V) o “falso” (F), pero no ambos. Comúnmente se denotan con las letras p, q, r, s, … De acuerdo a la definición anterior, ¿Cuál(es) de las siguientes expresiones es(son) proposición(es)? (i) 4 es un número impar (ii) Hoy es día lunes (iii) ¡Apague inmediatamente el celular! (iv) Ese triángulo está mal dibujado (v) La suma de dos números impares es un número par. (vi) ¿Qué hora tiene tu reloj?
  • 6. Elaborado por Violeta Guédez Matemática Básica Proposiciones La idea de una proposición se recuerda con una tabla donde se coloca la proposición y sus valores lógicos. A esta tabla se le denomina Tabla Lógica de p o Tabla de Verdad de p o Tabla de Certeza de p. F V p Proposición  Valores lógicos  Nota: A cada proposición se le denomina proposición simple (Atómicas). Su tabla de verdad es:
  • 7. Elaborado por Violeta Guédez Matemática Básica Proposiciones Al conectar dos o más proposiciones simples se obtienen las proposiciones compuestas. Una proposición compuesta se forma enlazando proposiciones simples con conectivos. El valor de certeza de una proposición compuesta dependerá de los valores de certeza de las proposiciones simples que la componen Nota: A cada proposición compuesta también se le denomina moleculares.
  • 8. Elaborado por Violeta Guédez Matemática Básica Los conectivos que abordaremos inicialmente en este curso serán: Conectivos conectivo nombre símbolo y conjunción  o disyunción  ⊻ no negación ~ Si...entonces condicional  …si y sólo si.. bicondicional 
  • 9. Elaborado por Violeta Guédez Matemática Básica La proposición ~p es la proposición compuesta cuyo valor lógico es el contrario al valor lógico de la proposición p. Ejemplo: La negación de “n es menor que 5” es: “n no es menor que 5” Pero también equivale a decir: “n es mayor o igual que 5” La negación
  • 10. Elaborado por Violeta Guédez Matemática Básica Su tabla de verdad será: La negación Proposición Negación Primera fila para las proposiciones  Filas segunda en adelante para los valores lógicos de las proposiciones  Nota: Frases que permiten simbolizar una negación: no p; no es cierto que p; es falso que p.
  • 11. Elaborado por Violeta Guédez Matemática Básica La negación Ejemplos ¿Cuál es la negación, y cuál el valor lógico de ella, para cada una de las siguientes proposiciones? (i) 4 es un número impar (ii)El cuadrado de un número par es par (iii) La Universidad Metropolitana tiene 20 años de existencia. (iv) El número ½ está a la misma distancia del cero que del uno.
  • 12. Elaborado por Violeta Guédez Matemática Básica La conjunción de dos proposiciones p, q es otra proposición denotada por p  q, la cual es cierta, si y sólo si p y q son ciertas. Frases que se toman como “sinónimos” de la conjunción: Además Pero Sin embargo Aunque También Aún A la vez No Obstante (las comas, y el punto y coma) La conjunción (“y”)
  • 13. Elaborado por Violeta Guédez Matemática Básica Ejemplos de conjunción: El número 3 es positivo y se encuentra a la derecha de 0. Colecciono postales además de perfumes. Intenté llegar temprano a clase pero el tráfico lo impidió. Me perdí la primera parte de la película sin embargo la entendí. Estudiaré Básica aunque me cueste concentrarme. Me divertí en la playa, también en la piscina. Entendí el problema a la vez que lo leía. Toco piano muy afinado no obstante canto desafinado. Compraré queso, jamón, pan y mantequilla. La conjunción (“y”)
  • 14. Elaborado por Violeta Guédez Matemática Básica Su tabla de verdad es: La conjunción (“y”) Observe que sólo es cierta cuando p y q son ciertas. Primera fila para las proposiciones  Filas segunda en adelante para los valores lógicos de las proposiciones 
  • 15. Elaborado por Violeta Guédez Matemática Básica La conjunción (“y”) Ejemplos Para cada una de las siguientes proposiciones indique cuales son las proposiciones simples y simbolice utilizando la conjunción: (i) -3 es un número negativo y se representa a la derecha del cero (ii) En la Isla de Margarita hay playas y tiendas (iii) El médico y su paciente discutieron por los honorarios. (iv) Intenté llegar temprano a la Universidad, pero una “tranca” me retrasó.
  • 16. Elaborado por Violeta Guédez Matemática Básica Dadas las proposiciones p y q, definimos la proposición “ p disyunción q”, denotada como p  q, a la proposición que se obtiene conectando ambas proposiciones con la expresión “o”. Ejemplo: Veo las noticias o me divierto. Estudio matemática o lenguaje. Estoy dentro o fuera. Estoy viva o muerta. La disyunción (“o”) Advertencia importante: El “o” correspondiente a la disyunción será siempre incluyente.
  • 17. Elaborado por Violeta Guédez Matemática Básica La tabla de verdad de la “o” inclusiva es: La disyunción (“o”) Primera fila para las proposiciones  Filas segunda en adelante para los valores lógicos de las proposiciones  Observe que sólo es falsa cuando p y q son falsas.
  • 18. Elaborado por Violeta Guédez Matemática Básica La tabla de verdad de la “o” exclusiva es : La disyunción (“o”) Primera fila para las proposiciones  Filas segunda en adelante para los valores lógicos de las proposiciones  Observe que sólo es falsa cuando p y q tiene los mismos valores. p⊻q F V V F
  • 19. Elaborado por Violeta Guédez Matemática Básica La disyunción (“o”) Ejemplos Para cada una de las siguientes proposiciones indique cuales son las proposiciones simples y simbolice utilizando la disyunción: (i) El valor de x es un número mayor que 12 o menor que 3. (ii) El domingo próximo pintaré la pared o el techo. (iii) Me quedo con la duda o pregunto (iv) Vengo a clases en el Ford o en el Nissan. (v) Estoy casada o soltera.
  • 20. Elaborado por Violeta Guédez Matemática Básica Dadas dos proposiciones p, q, la proposición condicional de ellas es la nueva proposición que se obtiene conectando ambas con la expresión “si p… entonces q”. Lecturas equivalentes de “si p entonces q” (p  q) son: • p implica q • q si p • p es suficiente para q • q es necesaria para p • q cuando p • q siempre que p • p sólo si q • q porque p • q a menos que no p El condicional (“si … entonces …”)
  • 21. Elaborado por Violeta Guédez Matemática Básica El condicional (“si … entonces …”) Ejemplos:  Si cumpliste 18 años entonces puedes sufragar.  Cumplir 18 años implica que puedes sufragar.  Puedes sufragar si cumpliste 18 años.  Cumplir 18 años es suficiente para poder sufragar.  Es necesario haber cumplido 18 años para poder sufragar.  Puedes sufragar cuando cumplas 18 años.  Podrás sufragar siempre que cumplas 18 años.  Cumpliste 18 años sólo si has sufragado.  Pudiste sufragar porque cumpliste 18 años.  Podrás sufragar a menos que no hayas cumplido 18 años.
  • 22. Elaborado por Violeta Guédez Matemática Básica Observe en el siguiente condicional: “Si Pedro tiene una gandola entonces pasa por la rampa” Considere p: Pedro tiene una gandola q: Pedro pasa por la rampa El condicional (“si … entonces …”) Asigne valores de verdad a las proposiciones: p: V q: V p:V q: F p: F q: V p: F q: F ¿Cuál de las combinaciones es la que falla (es Falsa)?
  • 23. Elaborado por Violeta Guédez Matemática Básica Su tabla de verdad es: Observe que sólo es falsa cuando el antecedente es verdadero y el consecuente falso. El condicional (“si … entonces …”) Primera fila para las proposiciones  Filas segunda en adelante para los valores lógicos de las proposiciones  Nota: La proposición p se llama antecedente y la proposición q recibe el nombre de consecuente
  • 24. Elaborado por Violeta Guédez Matemática Básica El condicional (“si … entonces …”) Ejemplos Para cada una de las siguientes proposiciones indique cuales son las proposiciones simples y simbolice utilizando el condicional: (i) Si se eleva al cuadrado un número par se obtiene un número par. (ii) Para poder aprobar el trimestre es necesario pasar Lógica. (iii) Si un triángulo es equilátero, también es isósceles. (iv) Debo hacer los ejercicios, puesto que entendí la clase. (v) Es suficiente que sea caraqueño para que sea venezolano.
  • 25. Elaborado por Violeta Guédez Matemática Básica El bicondicional (“… si y sólo si …”) Dadas dos proposiciones p y q, la proposición bicondicional de ellas es la nueva proposición que se obtiene conectando ambas con la expresión “p si y sólo si q”, o «p es condición necesaria y suficiente para q», o «p entonces y sólo entonces q». . El bicondicional es llamado equivalencia entre dos proposiciones p y q compuestas de la forma (p  q)  (q  p) la cual, habitualmente, se denota por p  q , o p  q , o p  q .
  • 26. Elaborado por Violeta Guédez Matemática Básica El bicondicional (“… si y sólo si …”) Por ejemplo en la definición: “Si un triángulo es equilátero entonces todos sus lados tienen la misma longitud, y si todos los lados de un triangulo tienen la misma longitud entonces es equilátero”. Se tiene: “Un triángulo es equilátero si y sólo si todos sus lados tienen la misma longitud”.
  • 27. Lógica Básica Elaborado por Violeta Guédez Ejercicio: a) Determinar cuál de los siguientes es o no proposición. b) Si es proposición indicar si es simple o compuesta. c) Si es proposición compuesta indicar cuál es el conectivo y enunciar cada proposición simple que la conforman. • Tiene tres lados porque es un triángulo . • Lógica Básica es la mejor asignatura. • Carlos y José son hermanos. • Las personas que no miran a los ojos no inspiran confianza. • Quiero ir al cine pero no tengo dinero. • El numero 6 es impar.
  • 28. Elaborado por Violeta Guédez Matemática Básica Un teorema es un esquema valido de razonamiento donde el conjunto de premisas se denomina hipótesis y la conclusión es la tesis. Ejemplo:  Si una figura geométrica tiene tres lados y tiene un ángulo recto entonces es un triángulo rectángulo.  Dos ángulos son complementarios si la suma de la medidas de sus ángulos es 90 grados.  El conjunto C={1, 2, 3, 4, 5} es la unión de los conjuntos A={1, 3, 5} y B={2, 3, 4}. Respecto a los teoremas En matemática, cada vez que se enuncia un Teorema se tiene un condicional: Hipótesis Tesis.
  • 29. Elaborado por Violeta Guédez Matemática Básica Proposiciones Una tautología a una proposición compuesta que es siempre verdadera, cualesquiera que sean los valores de verdad de las proposiciones que la conforman. (La tabla de verdad de una tautología da como resultado exclusivamente el valor V ). Por convención denotaremos una tautología como V0. Una contradicción a una proposición compuesta que es siempre falsa, cualesquiera que sean los valores de verdad de las proposiciones que la conforman. (La tabla de verdad de una contradicción da como resultado exclusivamente el valor F). Por convención denotaremos una contradicción como F0. Nota: Todos los teoremas son una tautología.
  • 30. Elaborado por Violeta Guédez Matemática Básica Proposiciones Una Contingencia es una proposición compuesta que en la tabla de verdad toma valores de verdad V para algunas valoraciones y valores F para otras en su resultado. Ejemplos: (p ∨  p) es tautología (p   p) es contradicción (p  q) es contingencia
  • 31. Lógica Básica Elaborado por Violeta Guédez Formas derivadas del CONDICIONAL Cuando se establece un teorema, de manera casi obligatoria se piensa en los siguientes condicionales asociados: p q q p  p q q  p Teorema directo Teorema recíproco Teorema contrario (Inverso) Teorema contrarrecíproco recíprocos contrarios contrarrecíprocos
  • 32. Lógica Básica Elaborado por Violeta Guédez Notas de Formas derivadas del CONDICIONAL  Toda definición es reversible, es decir la proposición y su recíproca son siempre ciertas.  Una proposición y su contrarrecíproca son equivalentes, quiere decir que en una demostración se puede utilizar cualquiera de las dos.
  • 33. Elaborado por Violeta Guédez Matemática Básica Proposiciones Dos proposiciones son equivalentes si sus valores de verdad son idénticos, esto es, son aquellas proposiciones que tienen la misma tabla de verdad. En las proposiciones condicionales existen expresiones equivalentes entre si: Dado el condicional p  q su equivalente es su contrarrecíproco ~q  ~p Y del recíproco q  p su equivalente es el inverso ~p  ~q Demuestre las equivalencias anteriores realizando las tablas de verdad en cada caso.
  • 34. Elaborado por Violeta Guédez Matemática Básica Proposiciones Negación del condicional ~ (p  q) es ~ (~p  q) Negación del condicional p  q: Se escribe ~ (p  q) = ~(~p  q) = p  ~q Aplicando la Ley de De Morgan: Realice su tabla de verdad y verifique que: ~ (p  q) = p  ~q .
  • 35. Elaborado por Violeta Guédez Matemática Básica Ejercicios: Exprese en símbolos cada una de las siguientes proposiciones compuestas y para ello identifique cada proposición simple con las letras p, q, r, s,… (que hagan falta): a) No es cierto que, si soy venezolana entonces soy de Caracas. b) Soy venezolana pero no soy de Caracas. c) No es cierto que, soy de Caracas y no soy venezolana. d) No es cierto que, no soy venezolana ni soy de Caracas.