DISEÑO Y PLANEACIÓN APROBÓ:

INSTITUCIÓN EDUCATIVA GILBERTO CURRICULAR VERSIÓN: 01

ECHEVERRI MEJÍA CÓDIGO: DPC-G1
“EDUCAMOS PARA LA SANA CONVIVENCIA” GUÍA
FECHA: 19-03-2020

Tema: LOGICA PROPOSICIONAL

Nombre del docente: DAIRO MOSQUERA ESCOBAR Área: MATEMATICAS
Competencia/estándar/DBA: Comparo y contrasto las propiedades de los números (naturales, enteros, racionales y reales) y las de
sus relaciones y operaciones para construir, manejar y utilizar apropiadamente los distintos sistemas numéricos.
Indicadores de logro
Saber Hacer Ser
Describe las características principales de la lógica Reconoce expresiones del lenguaje que pueden ser Valora los conocimientos
proposicional. proposiciones y clasificarlas. adquiridos en el aula de clase.
Resuelve situaciones cotidianas con lógica Identifica conectores lógicos y sus valores de verdad.
Fecha de inicio: DD MM AA HORA Fecha de finalización: DD MM AA HORA
Nombre del estudiante: YEFERSON DAVIAN PIEDRAHITA TORRES Grupo: 10B

1

INSTITUCIÓN EDUCATIVA GILBERTO
ECHEVERRI MEJÍA
“EDUCAMOS PARA LA SANA CONVIVENCIA”
LO QUE SÉ: “Somos lo que hacemos cada día, por lo
tanto la excelencia no es una meta sino un hábito”
1. Indica la clase de proposición de: 8 + 7 = 15
A. Proposición simple o atómica
B. Proposición compuesta o molecular
2. Determinar cuales son proposiciones
A. 4 + 8 = 12 B. ¿ Eres estudiante de química?
C. 8 < 5 D. ¡ Arriba el Perú !
E. x + 3 = 11
3. Indica la clase de proposición de: 18 y 24 son múltiplos
de 6
A. Proposición simple o atómica
B. Proposición compuesta o molecular
4. Indica la clase de proposición de: La selección bien gana
o pierde.
A. Proposición simple o atómica
B. Proposición compuesta o molecular
5. Indica el lenguaje coloquial de los Operadores Lógicos
A. Bueno B. y C. Si .... entonces D. o E. que
6. Las proposiciones se caracterizan por
A. enunciados con sentido, y posee un único valor de verdad
B. ser largas y explicar algo sobrenatural
7. En la lógica proposicional se debe esclarecer si es
verdadero (v) o falso (f) A. verdadero B. falso
8. Diga según corresponda los triángulos isósceles tienen dos
lados iguales. A. verdadero B. falso
9. Qué fecha es hoy " esto es
A. Proposición B. verdadero o falso C. no es proposición
10. Que son proposiciones simples
A. que no se pueden descomponer
B. proposición que resulta de unir dos proposiciones
11. proposiciones compuestas se definen por que
A. se puede hacer mas de una oración
B. porque tiene única respuesta
APRENDIENDO:
LÓGICA PROPOSICIONAL: La lógica es una de las
ramas más importante de todas las matemáticas, permitiendo
definir las bases de las demostraciones de los teoremas,
hipótesis y problemas de todas las índoles. Gran parte del
trabajo matemático se realiza operando con proposiciones y
todas las ciencias emplean oraciones, enunciados o
proposiciones para afirmar o negar los fenómenos que a cada
una concierne, por eso, es necesario tener claro el concepto
de proposiciones y saberlas operar.
2
DISEÑO Y PLANEACIÓN APROBÓ:
CURRICULAR VERSIÓN: 01
CÓDIGO: DPC-G1
GUÍA
FECHA: 19-03-2020
PROPOSICIONES: Una proposición es una oración, frase
o enunciado el cual afirma o niega algo que puede ser
verdadero o falso (No ambas a la vez).
Notación: Para nombrar las proposiciones utilizamos letras
minúscula como p, q, r, s, t, seguidas de dos puntos.
Ejemplos:
1. p: Todo triangulo tiene tres lados iguales Si___ No__( )
2. r: 25 es un múltiplo de 4 Si ___ No ___( )
3. t: La vaca es un animal rumiante Si ___ No ___( )
EXPRESIONES QUE NO SON PROPOSICIONES: Son
las expresiones que no podemos afirmar que son verdaderas
o falsas como las preguntas, las órdenes, las exclamaciones.
1. Las oraciones interrogativas (Preguntas), por ejemplo:
a. ¿Cómo estás? b. _______________________________
2. Las oraciones imperativas: Se usan para dar órdenes,
ruegos o deseos, por ejemplo:
a. ¡Tú te callas¡
b. ¡No me grites que no estoy sordo!
d. ¡Haz la tarea y ponte a estudiar!
3. Las oraciones exclamatorias: Son aquellas que expresan
o señalan algún tipo de exclamación, regaño o similar, y van
encerradas en signos de exclamación (¡!).
Ejemplos:
1) ¡Qué maravilloso día!
2) ¡Felicitaciones, te has graduado de ingeniero!
3) ¡Qué paisaje tan hermoso!
4) ¡Estudia todo el día! 5) ¡Limpia bien tu cuarto!
6) ¡Responde todas las preguntas!
7) ¡Qué alegría poder verte todos los días!
PROPOSICIONES SIMPLES O ATÓMICAS: Son
expresiones, oraciones o enunciados que constan de una sola
afirmación, además no pueden descomponerse o dividirse en
partes que a su vez sean proposiciones.
Ejemplos:
a. Los números pares son divisibles por dos. Si_X_ No__ V_X_
F__
Valor de Verdad de una Proposición Simple: Consiste en
establecer si la proposición es verdadera o falsa.
Ejemplos:
p: El murciélago es un animal mamífero V__ F__
r: 2 elevado a la 3 es 8 V__ F__
NEGACION DE PROPOSICIONES SIMPLES: Se les
antepone palabras como ¨No¨, ¨No es verdad que¨, ni nada,
ningún, ninguna, etc. a la proposición dada para que cambie su
significado a lo contrario. Cuando se niega una proposición
simple se cambia su valor de verdad, es decir: Si una
proposición es V su negación es falsa y viceversa.
Las proposiciones se simbolizan con letras: p, q, r,… y las
negaciones como: ~ p, ~ q, ~ r,… La proposición p puede ser verdadera o falsa al igual que la
En lógica el símbolo – ~ ¬ se lee no, representa la negación y proposición q. Analicemos las combinaciones posibles entre los
hace que el valor de verdad cambie. Por ejemplo: valores de p y q esto es:
p ~p Que p sea verdadera y q sea verdadera
V F Que p sea verdadera y q sea falsa
F V Que p sea falsa y q sea verdadera
a. p: El sol calienta la tierra V__ F__ Que p sea falsa y q sea falsa es decir:
b. ~ p: El sol no calienta la tierra V__ F__ p q pºq
c. ~ p: No es cierto que el sol no calienta la tierra V__ F__ V V
d. ~ p: Es falso que el sol no calienta la tierra. V__ F__ V F
F V
PROPOSICIONES COMPUESTAS O MOLECULARES: Se F F
obtienen al unir dos o más proposiciones simples con los Con dos proposiciones suceden siempre sólo las cuatro (4)
conectores lógicos o, y, si..., entonces,..., ...si y solo si... o combinaciones anteriores de sus valores de verdad. Para hallar el
anteponiendo la palabra no. valor de verdad de la proposición compuesta p º q debemos usar los
Las proposiciones compuestas si las podemos descomponer o conectivos lógicos así:
dividir en varias expresiones u oraciones que a la vez sean
proposiciones simples LA CONJUNCION (⋀ = y): Es el resultado de unir dos
Ejemplos:
proposiciones simples con el conectivo lógico y (p ⋀ q). La
a. La raíz cuadrada de 25 es 5, o –5. V__ F__
b. No todos los números primos son impares. V__ F__ conjunción sirve para indicar que se cumplen dos condiciones
ENLACES, CONECTIVOS O CONECTORES LOGICOS simultáneamente.
Enunciado Valor de verdad: La conjunción solo es verdadera cuando ambas
Nombre Símbolo compuesto Significado proposiciones son verdaderas de lo contrario es falsa. Veamos:
Conjunción ⋀ (p ⋀ q) ... y..., ... pero ..., p q p ⋀ q
V V V
Disyunción ⋁ (p ⋁ q) ... o ..., ... y/o ...,
inclusiva incluyente V F
F V
Disyunción ⋁ (p ⋁ q) o bien ... o bien ...
exclusiva excluyente F F
Implicación o ⇒ (p ⇒ q) Ejemplos: Halle el valor de verdad
condicional Si..., entonces... p ⋀q: El gato es un felino y la paloma es un ave.
Doble p ⋀q: Los iPhone son celulares inteligentes y los fabrica Samsung.
implicación, (p ⇔ q) ... si y solo si... p ⋀q: Juanita, podrás salir a la calle cuando arregles la cama y
⇔ limpies los muebles.
bicondicional o
equivalencia p ⋀q: El dos es un número par y primo a la vez
Negación – ~ ¬ –p, ~p, ¬p No, no es cierto que... p ⋀q: 16 es un número para pero su raíz es u número irracional
Ejemplos: LA DISYUNCION (V = O): Es el resultado de unir dos
Traduce los símbolos si: p: Está lloviendo q: Está nublado proposiciones simples con el conectivo o.
r: Está soleado t: Es de día s: hay nubes visibles Valor de verdad: La disyunción solo es falsa cuando las dos
p ⋀q: está lloviendo y este nublado proposiciones son falsas, de lo contrario es verdadera.
p ⋁r: Está lloviendo o esta soleado p q p ⋁q
r ⋁ q: Es de dia o este nublado V V
r ⇒ t: Si esta soleada entonces es de dia V F
F V
q ⇔ s: Este nublado si y solo si hay nubes visibles
F F F
r: La paloma es un ave s: La paloma tiene alas
Valor de verdad: La disyunción solo es falsa cuando las dos
r ⇒ s: Si la paloma es un ave entonces tiene alas
proposiciones son falsas, de lo contrario es verdadera.
t: Gabriel va al paseo u: Gabriel tiene dinero
Ejemplos:
t⇔ u: Gabriel va al paseo si y solo si tiene dinero p ⋁q: Juanita, te dejo salir a jugar cuando arregles la cama o
Valor de verdad de una proposición compuesta: Se obtiene con sacudas el polvo.
la ayuda de una tabla de verdad, donde se representan todas las p ⋁q: Viajamos de día o viajamos de noche.
posibles combinaciones del valor de verdad de las proposiciones p ⋁q: El número 7 es impar o primo
simples que la forman. Al igual que las proposiciones simples estas p ⋁q: 18 es múltiplo de 6 ô 18 es múltiplo de 5.
también tienen un único valor de verdad veamos. IMPLICACION O CONDICIONAL (⇒): Es el resultado de
Sea la proposición compuesta p º q ¿Cuál será su valor de verdad? unir dos proposiciones simples con el conectivo lógico
si...entonces...,
3
 Se denota así: p ⇒ q y se lee si p entonces q. Ejemplos:
La primera proposición (p) se llama antecedente y la segunda (q) Comprobar por medio de una tabla de verdad que las siguientes
consecuente de la implicación proposiciones compuestas son tautologías.
Valor de verdad: La implicación solo es falsa cuando la primera p v ¬p.
proposición es verdadera y la segunda es falsa, de lo contrario es [p ^ (p => q)] => q.
verdadera. Veamos: (p v q) <=> (q v p).
p q p ⇒q (p => q) <=> (¬q => ¬p).
[(p => q) ^ (q => r)] = (p => r).
V V
CONTRADICCIONES: Es una proposición compuesta siempre
V F F
falsa sin importar el valor de verdad que tengan las proposiciones
F V
que la componen. Cuando todos los valores de la tabla de verdad
F F del polinomio Booleano son falsos. Por ejemplo:
Todo condicional no es una implicación. Comprobar que la proposición (p ^ ¬p) es una contradicción.
Ejemplos: ¬(p v q) ^ ¬(q => p)
1. Si el mar es dulce entonces 3 es un número impar.
2. Si estudias entonces irás al paseo.
3. Si x + 3 = 5, entonces x = 2.
4. Si ABC es un triángulo, entonces el ángulo A mas el ángulo B
mas el ángulo C es igual a 180 grados. Indeterminación: Cuando los valores de la tabla de verdad del
5. Si ha llovido entonces las calles están mojadas. polinomio se alternan en valores verdaderos y falsos.Nota:
Cada uno de estos enunciados reciben el nombre de condicional. Cuando en la tabla de verdad de una proposición aparecen valores
DOBLE IMPLICACION, BICONDICIONAL O (V) y (F) se dice que la proposición es incierta o indeterminada.
EQUIVALENCIA (⇔ =...si y sólo si...): Es el resultado de unir SIGNOS DE PUNTUACIÓN O AGRUPACIÓN: Son signos
de puntuación o agrupación cuya función en el lenguaje corriente
dos proposiciones simples con el conectivo lógico ...si y solo si...
es separar unas proposiciones de otras: Los paréntesis ( ), Los
Se denota así: p ⇔ q, y se lee p si y solo si q. corchetes [ ], Las llaves { }
Cada una de las proposiciones es condición necesaria y suficiente Ejemplo: En la proposición compuesta:
para la otra. a) p ^ ( q v r) ; ^ es el conector principal.
Valor de verdad: Las implicaciones dobles o bicondicionales b) p => (p v r) ; => es el conector principal.
son verdaderas solo si ambas proposiciones son verdaderas o si c) p => (p ^ r) ; => es el conector principal
ambas son falsas, de lo contrario es falsa. Ejemplo: Escribir simbólicamente las proposiciones siguientes.
p q p ⇔q a. 2 es # par y 21 es múltiplo de 3 o 5 es la raíz cuadrada de 10.
V V V Solución:
V F F p: 2 es número par.
F V F q: 21 es múltiplo de 3.
F F V r: 5 es la raíz cuadrada de 10.
Respuesta: (p ^ q) v r
Ejemplos:
1.  x es un número par si y sólo si x es múltiplo de 2. b) Si 5 multiplicado por 12 es 60, y 3 es el cuadrado de 9,
entonces, estudio o juego ajedrez.
2.  r <=> s: A es un polígono de 4 lados si y sólo si A es un
Solución:
cuadrilátero. r es verdadera, s es verdadera.
p: 5 es multiplicado por 12 es 60. q: 3 es el cuadrado de 9.
Nota: Cuando el condicional es verdadero se acostumbra a decir
r: estudio. s: juego ajedrez.
que las proposiciones que intervienen son equivalentes.
Respuesta: (p ^ q) => (r v s)
AXIOMAS:Son proposiciones que son verdaderas por definición.
VALORES DE VERDAD DE PROPOSICIONES
Ejemplo: El todo es mayor que las partes
COMPUESTAS: Supongamos que se quiere determinar que la
Dos cosas iguales a una tercera son iguales entre si.
proposición (¬p ^ q) es equivalente a (p => ¬r) suponiendo que:
El método deductivo permite partir de un conjunto de hipótesis y
p: es falsa. q: es verdadera r: es verdadera
llegar a una conclusión.
p, q, r, (¬p ^ q) <=> (p => ¬r).
En matemáticas, la deducción es un proceso concatenado de la
forma: TABLAS DE VERDAD: Son utilizadas para establecer el valor
Si A entonces B, si B entonces C, si C entonces D… hasta llegar a de verdad de proposiciones compuestas.
una conclusión. Ejemplo: Hallar el valor de verdad de las siguientes
proposiciones compuestas: a) ¬(p ^ q) v ¬(q <=> p)
POLINOMIO BOOLEANO: Se forma al combinar varios casos
b) [(p => q) ^ p] => q
de los conectivos lógicos como: (m ⋀ p) ⇒ (¬p ⇔ q)
TAUTOLOGÍAS: Es una proposición compuesta siempre
verdadera, sin importar el valor de verdad que tengan las
proposiciones simples que la componen. Cuando todos los valores
de la tabla de verdad del polinomio Booleano son verdaderos.

4
 Solución:
a) (p ^ q) => r   ;  p => q <=> ¬p v q
(p ^ q) = A
A => r
¬A v r
¬(p ^ q) v r
AvB b) p => (¬q v ¬r)
p=A
(¬q v ¬r) = B
¬A v B
¬p v(¬q v ¬r)
c)  ¬p => ¬q <=> ¬(¬p) v ¬q
LEYES DE ÁLGEBRA PROPOSICIONAL: Las siguientes ¬p => ¬q <=> p v ¬q
proposiciones constituyen unos axiomas conocidos como leyes
Ejemplo:
tautológicas.
Escribir una proposición a: si x es par entonces x es divisible por
AXIOMA 1 Leyes de Idempotencia: Si p es una proposición 2.
simple o compuesta, entonces: a) (p v p) <=> p p: x es par
b) (p ^ p) <=> p q: x es divisible por 2
Quiere decir que p v p y p ^ p se sustituye por p. p => q <=> ¬p v q
AXIOMA 2 Leyes de identidad para “o” y para “y” (^ , v). x no es par o x no es divisible por 2.
a) p v (V) <=> V Ejemplo:
b) p ^ (F) <=> F Probar que p => q <=> ¬p v q
c) p ^ (V) <=> P ————> El valor de verdad de la conjunción y
Aplicaciones de las leyes proposicionales.
disyunción v , ^ depende del valor de p.
Ejemplo: Probar que ¬(p => q) <=> [p ^ (¬q)]
AXIOMA 3 Leyes de conmutativas: Si p y q son proposiciones, ¬(p => q) <=> ¬(¬p v q) ———- AX 10
entonces: a) (p v  q) <=> (q v p) ¬(p => q) <=> ¬(¬p) ^ ¬q ———Ley de M
b) (p ^ q) <=> (q ^ p) ¬(p => q) <=> p ^ q
Se pueden escribir en cualquier orden.
Ejemplo:
AXIOMA 4 Ley asociativa: Si p, q, r son proposiciones (p ^ q) => p es tautología
cualesquiera, entonces: a) (p ^ q ) ^ r <=> p ^ (q ^ r) (p ^ q) => p <=> ¬(p ^ q) v p  ———A 10
b) p v (q v r) <=> (p v q) v r. (p ^ q) => p <=> (¬p v ¬q) v p  ——– L de M
AXIOMA 5 Ley distributiva: Si p , q, r son proposiciones (p ^ q) => p <=> (¬p v p) v ¬q  ——–Ley conmutativa
cualesquiera, entonces: a) [p ^ (q v r)] <=> [(p ^ q) v (p ^ r)] (p ^ q) => p <=> [V] v ¬q ————-Ley del tercero excluido.
b) [p v (q ^ r)] <=> [(p v q) ^ (p v r)] V Ley
AXIOMA 6 Ley de doble negación: Si p es una proposición FUNCION PROPOSICIONAL: Es todo enunciado que a cada
cualquiera, entonces: ¬(¬p) <=> v individuo x de un conjunto, le asigna una proposición; denotada
Al negar dos veces una proposición, obtenemos una afirmación. por “P(x) se lee p de x”
AXIOMA 7 Ley del tercero excluido. (p v ¬p) <=> V Toda proposición particular atribuye a un sujeto una propiedad.
P “o” no p siempre es verdadera. independientemente del valor de Ejemplo
p. Sea P la propiedad es varón y un sujeto variable x; por lo tanto:
AXIOMA 8 Ley de contradicción: Si p es una proposición P(x) (donde x es varón) es una función proposicional.
cualquiera, entonces: (p ^ ¬p) <=> F
AXIOMA 9 Leyes de Morgan: Si p y q son proposiciones CUANTIFICADORES: Las proposiciones que contienen las
simples , o compuestas, entonces: a) ¬(p ^ q) <=> (¬p v ¬q) frases: “Para todo...” “Existe algún...” desempeñan un papel
b) ¬(p v q) <=> (¬p ^ ¬q) importante en la estructura de las matemáticas, ya que con estas
Negar una conjunción o una disyunción consiste en cambiar “v”o podemos expresar importantes propiedades de los números reales.
“^” y negar las proposiciones dadas. Estas frases son los cuantificadores.
AXIOMA 10 Definición alterna del condicional: Usando tablas Ejemplos:
de verdad podemos verificar que: p => q <=> ¬p v q a. Para todos x, x+0 = 0
Ejemplo de las leyes de Morgan: b. Existe alguna x, tal que x2 = 2
Para negar la proposición 7 es un número primo y 30 es divisible
por 5, cambiamos “y” por “o” y negamos proposiciones simples CUANTIFICADOR EXISTENCIAL (∃): Se simboliza así: (∃)
que forman el enunciado.
Una cuantificación existencial es una proposición de la forma:
7 no es un número primo o 30 no es divisible por 5.
Ejemplo: Escribir sin condicional las proposiciones siguientes: existe un x, tal que p que podemos simbolizar como:
a) (p ^ q) => r ∃x, p
b) p => (¬p v ¬p) Ejemplo
c) ¬p => ¬q Las siguientes expresiones tienen el mismo significado:
5
 ∃x, N = x∈N
a. Existe alguna x, tal que x es un número N.
b. Existe por lo menos un número N
c. Algún número es N
Ej: ______________________________________________
* Una función proposicional se ha cuantificado existencialmente
para un conjunto dado si y sólo si una o alguna de las
proposiciones que resulta al reemplazar x por cada uno de los
individuos, son verdaderas (V).
Ejemplos: “Existen mujeres que son brujas”
Ej: ______________________________________________
Una función proposicional cuantificada existencialmente es
verdadera si y solo si existe al menos un individuo del conjunto
para el cual la proposición correspondiente es verdadera (V).
Ej: ______________________________________________
CUANTIFICADOR UNIVERSAL (∀): Se simboliza así: ∀,
“se lee para todo”. Una cuantificación universal es de la forma x,
p donde p es una proposición cualquiera.
La función para toda x, p la podemos simbolizar así:
∀x, p
Las siguientes expresiones tienen el mismo significado. Veamos:
∀x, x = 2 ⇒ x2 = 4
Se lee para toda x, si x = 2 ⇒ x2 = 4
Para cada x, si x = 2 ⇒ x2 = 4
Generalmente el cuantificador no se escribe, así la expresión √x2
= | x |, es una forma de escribir:
∀x, √x2 = | x |
* Sen2 x + Cos2 x = 1, es una forma de escribir:
∀x, Sen2 x + Cos2 x = 1.
Una función proposicional se ha cuantificado universalmente
para un conjunto dado si y sólo si todas las proposiciones que
resulta al reemplazar x por cada uno de los individuos, son
verdaderas (V).
Ejemplos:
Sea P(x): x es un número natural (N). Esta función se puede
cuantificar así:
Para todo x número N, ocurre que x es un número entero (Z).
Ej: ______________________________________________
Una función proposicional cuantificada universalmente es
verdadera si y solo si son verdaderas (V) todas las proposiciones
particulares que se obtienen al reemplazar la variable x por cada
uno de los individuos del conjunto.
Ej: ______________________________________________
Para demostrar que todos los elementos de un conjunto
determinado poseen una propiedad, hay dos formas:
1. Demostrarlo uno por uno para cada elemento del conjunto.
2. Demostrar que un elemento cualquiera posee la propiedad.
6
Así para demostrar que las bisectrices anteriores de un triángulo
se cortan en un punto, no podemos utilizar un triángulo especial,
tal como el equilátero, sino que tenemos que utilizar las
propiedades generales que se deduzcan a partir de la definición de
triángulo.
Ej: ______________________________________________
En cambio para demostrar que una proposición universal es
falsa es necesario mostrar un caso en el cual no se cumpla.
Ejemplos:
1. Para demostrar que la proposición “Todos los números primos
son impares” es falsa basta con demostrar que el número dos (2)
es primo y par. Este método de demostración se denomina por el
contra ejemplo.
2. Para demostrar que la proposición: ∃x [ p(x) ] existe algún x tal
que p(x) es verdadera, es suficiente con dar un ejemplo, así
podemos mostrar que “Existen números primos pares”, mostrando
que el dos (2) es primo y par.
REDUCCIÓN AL ABSURDO: Proposiciones del tipo “Dos (2)
es un número par e impar”; “Este libro es blanco y no es blanco”;
“Trece (13) es primo y no es primo” se denominan
contradicciones o proposiciones lógicamente falsas.
Ejemplos:
Una manera de demostrar que una proposición es falsa (F):
Consiste en obtener de ella mediante un proceso lógico una
contradicción así, si en un razonamiento válido llegamos a
demostrar a partir de una proposición P que “2 es par y primo”,
concluimos que la proposición P es falsa. Esta demostración se
llama razonamiento absurdo.
De la misma forma se puede demostrar que una proposición
es verdadera (V): Demostramos que de su negación llegamos a
una contradicción y por lo tanto la negación es falsa.
Ej: ______________________________________________
ESTRUCTURA DE LAS MATEMÁTICAS: En el desarrollo
de una teoría matemática consideramos tres tipos especiales de
proposiciones definiciones, postulados y teoremas; una
proposición matemática puede clasificarse en una de estas
categorías:
1. DEFINICIONES: Se consideran dos tipos de definiciones:
a. Definiciones Descriptivas: En esta se explica el significado de
un término, utilizando términos que se suponen conocidos. Por
ejemplo las definiciones de los diccionarios; en matemáticas
también se utilizan cuando decimos un conjunto es una colección
de objetos.
b. Definiciones Formales: Es una convención mediante la cual
acordamos usar una expresión en lugar de otra. La expresión que
se define se denomina definendo y la expresión usada para definir
se denomina definente.
Ejemplo:
Una definición formal de x2 seria:
Escribimos x2 en lugar de x . x
O por definición: x2 = x . x
2. POSTULADOS: Son proposiciones supuestas, es decir,
aceptadas como verdaderas sin demostración. También se
denominan axiomas.
Ejemplos:
1. Dos puntos determinan una recta.
2. a + (b + c) = (a + b) + c
3. a + (– a) = 0 ∀ a, b, c ∈ R
4. ∀ a + b = d y d ∈ R
3. TEOREMAS: Son proposiciones matemáticas cuya verdad
necesita ser demostrada. En general constan de dos partes
hipótesis y tesis o conclusión.
La Hipótesis: La constituyen los datos dados.
La Tesis: o conclusión es lo que se debe demostrar.
Ej: ______________________________________________
_________________________________________________
Un teorema puede enunciarse en forma de proposición
condicional si A entonces B, en este caso A que es el antecedente
constituye la hipótesis y B que es el consecuente es la tesis o
conclusión así:
“Si x es par entonces x2 es par”. ¿Cuál es la hipótesis y la tesis?
Rta: ________________________________________
_________________________________________________
Recuerda que A ⇒ B no es lo mismo que
B ⇒ A una es la inversa de la otra.
PRACTICANDO:
SITUACIÓN DE DESEMPEÑO Nº 1
LOGICA PROPOSICIONAL Y TEORIA CONJUNTOS
Nombre: _________________________________________
Fecha: ____________________Periodo:_1_ Grado: _____
Criterios de evaluación: Son 13 puntos, por tanto, cada uno
tiene un valor de 0,385; los puntos con literales se promedia.
Además de la presentación debes sustentar el taller.
Lic. Dairo Mosquera Escobar Asesorías Mat.
1. Identifica los enunciados que corresponden a
proposiciones escribiendo al frente Si o No, luego escribe 2
proposiciones.
a. ¿Llegaste temprano a clase? Rta: ________SI
b. NaCl es la fórmula química de la sal de cocina. Rta: _SI
c. García Márquez escribió “Cien años de soledad” Rta: SI
d. ¡Permanece atento! Rta: ________NO
e. 9 no es la raíz cuadrada de 81 Rta: ________SI
f. De las siguientes oraciones son proposiciones lógicas:
g. Einsten es el creador de la Física Clásica.
h. Rocinante es el caballo de Don Quijote de La Mancha
i. "Las Tic en la Matemática-Física" es un blog educativo.
j. ¿Ingresaré a la universidad?
k. Ningún número par es divisible por dos
2. Son proposiciones simples o atómicas:
a) La radio es un medio de comunicación y distracción.
b) El protón o antiprotón son partículas atómicas.
c) El Perú es un méndigo sentado en un banco de oro.
d) La Historia es una ciencia fáctica.
e) Todas las aves son vertebrados
3. Realiza:
a. Si los valores de verdad de las proposiciones p, q y r son
F, V, F, respectivamente, determina el valor de verdad de la
siguiente proposición: (p → q) → (q ⋀ r)
b. Si p representa la proposición: "1112 = 1234321" y q
representa la proposición: "17 es un divisor de 71",escribe en
forma simbólica la proposición:
"1112 ≠ 1234321 si y solo si 17 no es divisor de 71"
c. Representa simbólicamente la proposición:
"Si 24 es menor o igual que 26, entonces 6 + 4 = 10"
d. p: Mi primo corre rápido q: Juega fútbol r: Come
saludable s: Esta en la titular (p ↔ q) Λ (r V~s) ¿Como se
armaría la frase según el lenguaje proposicional anterior?
e. p: Mi novia es bonita. A base de la proposición anterior,
¿como quedarían formadas las oraciones haciendo la
negación (~p)?
f. Me gusta la pizza PORQUE tiene salchichas. Para
completar la proposición se utiliza el conector
"Bicondicional" , entonces quedaría:
g. p: Mi hermano es fuerte q: Mi hermano levanta
pesas
Mi hermano es fuerte, si, levanta pesas. De la anterior
proposición, ¿Cuál sería su lenguaje proposicional?
PVQ
h. En la proposición compuesta: "Si 93 es número primo y
no es divisible por 2, entonces 39 es divisor de 78 o es
divisible por 3". ¿Cuántas proposiciones simples hay?
i. Niega, de dos formas diferentes cada proposición y
subraya las proposiciones cuya negación sea verdadera.
a. 2 es un divisor de 5
b. La tierra gira alrededor del sol.
c. Un trapecio tiene sus lados congruentes.
d. 49 es el cuadrado de 7.
e. Todo número natural es un número entero.
4. Halla el valor de verdad de las proposiciones:
a. Si un día tiene 24 horas, entonces la semana tiene 168.
7
Rta: V V= V F F
b. Si la suma de dos números naturales es impar, entonces
los dos sumandos son impares. Rta: F F = F d) ¬p => (¬p ^ q).
c. Si al intersecarse dos rectas todos los ángulos que se e) (¬p ^ ¬q) => (p v q).
forman son congruentes, entonces las rectas son f) (p => q) => ¬p.
perpendiculares. Rta: V F g) (¬q ^ r) v (q v ¬r).
d. Un número es múltiplo de 7 si y sólo si termina en 7. h) (r ^ ¬r) v r.
Rta: F F = F
7. Dadas las proposiciones m y n:
5. Escribe en cada caso si la proposición es V o F. Caso 1 m: 7 + 5 = 12 n: 103 = 100
a. Los ¾ de 20 equivalen a 15 o los 2/3 de 30 equivalen a 30. Caso 2 m: 24 ÷ 3 = 8 n: 4 / 9 es un número racional (Q)
Rta: F a. Forma, en cada caso, la proposición (m ⋁ n) y halla su
b. 7 es un número primo y 17 es un número compuesto. V
valor de verdad= 7 + 5 = 12 o 103 = 100 V
c. 52 = 25 o √81 = 8 Rta: F
24 ÷ 3 = 8 o 4 / 9 es un número racional (Q) V
d. x = 5 / 7 y 3x = 15 / 21 Rta: F
e. Un Km. equivale a 1.000m y un dm a 10cm Rta: V b. Forma, en cada caso, la proposición (m ⋀ n) y halla su
valor de verdad= 7 + 5 = 12 y 103 = 100 F
6. Elaborar la tabla de verdad de las siguientes proposiciones 24 ÷ 3 = 8 o 4 / 9 es un número racional (Q) V
y decir en casa caso si se trata de una tautología, una c. Forma, en cada caso, la proposición m ⇒ (m ⋁ n) y halla su
contradicción o una indeterminación. valor de verdad.
a) ¬(p => ¬q) <=> (p ^ q).
d. Forma, en cada caso, la proposición m ⇒ (m ⋀ n) y halla su
p q p ⇔q
valor de verdad.
V V V 8. Escribe cada proposición de la forma si..., entonces...
V F F a. La medida de un ángulo recto es 90º
F V F si la medida de una Angulo recto es 90° entonces, 4 angulos de
F F V 90°forman un cuadrado.
b. La suma de dos números pares es par.
b) (p ^ ¬q) <=> (¬p v q). si la suma de dos números pares el par, entonces si lo divido por 2
p q p ⇔q sigue siendo par.
V V V c. Un número es múltiplo de 5 si termina en 0 o en 5.
V F F d. El cuadrado de un número impar es impar.
F V F 9. Dadas las proposiciones. p: Andrés estudia bastante
F F V q: Andrés ganó el año
r: Andrés va al paseo
c) p => (q ^ r). Escribe el significado de las siguientes expresiones:
a. q ⇒ p: si Andrés gano el año, entonces, Andrés estudio bastante
p q p ⇒q
V V b. ¬ p ⋀ q: Andrés no estudio bastante y gano el año c.
V F F p ⇒ ¬r: si Andrés estudio bastante entonces no va al paseo
F V d. ¬p ⋁ ¬q: e. q ⋁ ¬r: f. ¬p ⇔ r: g. q ⋁ p:

10. Según lo visto completa las siguientes tablas:

Tabla N° 1
m P q –p ––p p⇔q q⋀p m ⇒ (p ⋁ q) (p ⋀ q) ⇒ m (m ⋁ p) ⇒ q (m ⋀ p)⇒(p ⋀ q)
V V V
V V F
V F V
V F F
F V V
F V F

8
 F F V
F F F
Tabla N° 2
r S t –t –r s ⋀ t r ⋁t s ⇒ (r ⋁t) (s ⋀ t) ⇒ t (s ⇔ p) ⇒ q (r ⋁ s) ⇔ (t ⋀ r)
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F

RECURSOS:
https://www.edu.xunta.gal/espazoAbalar/sites/espazoAbalar/ REFLEXIÓN DEL APRENDIZAJE
files/datos/1493724904/contido/lgica_proposicional.html
https://www.youtube.com/watch?v=6isDhahJve0 1. Yo conocía del tema:
https://www.youtube.com/watch?v=gNdrxk5yTWU
https://www.youtube.com/watch?v=xwQt2RVYH2U

RUBRICA DE EVALUACIÓN: 2. Hoy aprendí:

HOJA DE COTEJO PARA LA AUTOEVALUACIÓN
Criterio Si No Observaciones
1. Describe las características
principales de la lógica
proposicional. 3. Me gustaría aprender más sobre:
2. identifica y utiliza los
conectores lógicos y sus valores
de verdad.
3. Reconoce expresiones del
lenguaje que pueden ser
proposiciones y clasificarlas.
4. Analiza y resuelve situaciones
problemas con los elementos de
la lógica proposicional.
5. Clasifica adecuadamente una
proposición dada y halla su valor
de verdad.
6. Traduce proposiciones a
lenguaje simbólico.
7. Valora los conocimientos
adquiridos en el aula de clase.
8. Entrega los productos
solicitados en la fecha
establecida, en este caso:
___/febrero/2021
9. El equipo se organiza con
éxito, aporta ideas de manera
positiva y creativa, y utilizan el
tiempo adecuadamente.
10. El trabajo es entregado en un
formato cumpliendo los requisitos