Está en la página 1de 6

MATERIAL DE APOYO CURSO MATEMATICAS BASICA

PROCESO TUTORIAL VIRTUAL

TUTOR: Mg. EDER DAVID RANGEL MANCHEGO


LIC. KAREL ESTER ANGARITA CARRASCAL
LIC. JANY DANESA ROJAS TORRES

Curso: Matemáticas Básicas.


Fecha de inicio y finalización del curso: 16 de NOVIMEBRE AL 27 DE
DICIEMBRE.

VOY A APRENDER
Tu plan de trabajo...
 Hallar el valor de verdad de una proposición.
 Simbolizar una proposición con cuantificadores.
Proposiciones
Una proposición es un enunciado del cual se puede afirmar si es verdadero o falso,
pero no las dos cosas a la vez. Por esta razón las preguntas, las órdenes y las
exclamaciones no son proposiciones.
Proposición simple
Una proposición simple es aquella que se forma sin utilizar términos de enlace.
EJEMPLOS
1. Determinar cuáles de las siguientes expresiones son proposiciones.
a. Tokio es la capital de Japón.
Esta expresión es una proposición porque se puede afirmar si es verdadero o falso que
Tokio es la capital de Japón.
b. ¿Cuál es la raíz cuadrada de 576?
Esta expresión no es una proposición porque es una pregunta y por tanto no se puede
afirmar si es verdadera o falsa.
c. Cierre la puerta.
Esta expresión no es una proposición porque es una orden y por esto no se puede
afirmar si es verdadera o falsa.
d. 320 + 54 > 368.
Esta expresión es una proposición porque se puede afirmar si es verdadero o falso que
la suma 320 + 54 es mayor que 368.
2. Simbolizar cada proposición. Luego, determinar su valor de verdad.
a. 25 es divisor de 173.
La proposición se puede simbolizar como p: 25 es divisor de 173. El valor de verdad de
p es falso porque la división de 173 entre 25 no es exacta.
b. El período de la función f ( )  Cos es  .
La proposición se puede simbolizar q: el período de la función f ( )  Cos es  . El
valor de verdad de q es falso porque el período de f ( )  Cos es 2  .
c. Una de las soluciones de la ecuación x 2  7 x  12  0 es x = 4.
La proposición se puede simbolizar como r: una de las soluciones de la ecuación
x 2  7 x  12  0 es x = 4. Para determinar el valor de verdad de r se resuelve la ecuación
así:
x 2  7 x  12  0 Ecuación cuadrática.
(x - 3) (x - 4) = 0 Se factoriza.
x=3ox=4 Se hallan las posibles soluciones.
Por tanto, el valor de verdad de r es verdadero.
Proposiciones compuestas
Una proposición compuesta es aquella que se forma a partir de dos o más
proposiciones simples que se relacionan mediante enlaces denominados conectivos
lógicos.
Por ejemplo, la proposición “Un triángulo equilátero es equiángulo y en un cuadrado
cada ángulo interno mide 90°” es una proposición compuesta formada por las
siguientes proposiciones simples:
p: un triángulo equilátero es equiángulo.
q: en un cuadrado cada ángulo interno mide 90°.
En este caso, las proposiciones p y q se unen mediante el conectivo lógico “y”.
Conectivos lógicos
Los conectivos lógicos son los términos de enlace que se utilizan para formar
proposiciones compuestas. Cada conectivo lógico se simboliza de una manera
diferente y define una operación lógica según la función que cumple. Los conectivos
lógicos son:
El conectivo “no” se denomina monádico porque se aplica a una sola proposición. En
cambio, a los conectivos y, o, si… entonces, si y sólo si, se les denomina diádicos
porque se aplica a dos proposiciones.
EJEMPLOS
1. Escribir la negación de p: el planeta más grande del sistema solar es Júpiter.
Luego, determinar su valor de verdad.
La negación de p es:
¬p: el planeta más grande del sistema solar no es Júpiter.
El valor de verdad de ¬p es falso porque Júpiter si es el planeta más grande del
sistema solar.
2. Simbolizar la proposición “Un polígono es regular si sus lados tienen igual
medida”.
La proposición se puede reescribir como “Si los lados de un polígono tienen
igual medida, entonces, es un polígono regular”. Luego, se tienen dos
proposiciones simples p y q relacionadas mediante el conectivo si… entonces.
Por tanto, la proposición se simboliza p → q.
Conjunción
La conjunción es una proposición compuesta que se forma al enlazar dos o más
proposiciones simples mediante el conectivo lógico “y”.
Una conjunción es verdadera cuando las dos proposiciones simples que la conforman
son verdaderas. En la tabla de verdad se muestran los posibles valores de verdad para
una conjunción formada por dos proposiciones simples p y q.
Disyunción
La disyunción es una proposición compuesta que se forma al enlazar dos
proposiciones simples mediante el conectivo lógico “o“.
La disyunción es falsa cuando las dos proposiciones simples que la conforman son
falsas. En la tabla de verdad se muestran los posibles valores de verdad de una
disyunción formada por dos proposiciones simples.

EJEMPLOS
1. Simbolizar la siguiente proposición.
Los precios son altos y el dinero no siempre alcanza.
Primero, se simbolizan las proposiciones simples. Por tanto, se tienen las
proposiciones
p: Los precios son altos y q: El dinero no siempre alcanza.
Luego, se tiene que ambas proposiciones se relacionan mediante el conectivo
lógico “y”.
Finalmente, la conjunción se simboliza p  q.
2. Determinar el valor de verdad de las proposiciones compuestas conformadas
por las siguientes proposiciones simples.
p: La ecuación x 2  y 2  a 2 representa una circunferencia.
q: El radio de la circunferencia es a.
a. p  q
Como p es verdadera y q es verdadera, entonces la conjunción p  q es
verdadera.
b. p  ¬q
Primero, la negación de q es ¬q: El radio de la circunferencia no es a.
Luego, se tiene que p es verdadera y como q también es verdadera, entonces, la
proposición ¬q es falsa.
Finalmente, la disyunción p  ¬q es verdadera, porque para ello basta con que
solo p sea verdadera.
Implicación
La implicación es una proposición compuesta que se forma al enlazar dos
proposiciones simples mediante el conectivo lógico “si… entonces…”.

En una implicación p → q, la primera proposición simple p es el antecedente y la


segunda proposición simple q es el consecuente. En la tabla de verdad se
muestra que la implicación es falsa cuando el antecedente es verdadero y el
consecuente es falso.
Equivalencia
La equivalencia es una proposición compuesta que se forma al enlazar dos
proposiciones simples mediante el conectivo lógico “si y sólo si”.

Una equivalencia p ↔ q es verdadera cuando ambas proposiciones simples p y


q son verdaderas o cuando ambas proposiciones son falsas, como se muestra
en la tabla de verdad.
A partir de las tablas de verdad de la conjunción, la disyunción, la implicación y
la equivalencia, se pueden obtener los posibles valores de verdad de otras
proposiciones compuestas. Si todos los valores de verdad de una proposición
compuesta son verdaderos, entonces, la proposición es una tautología. En
cambio, cuando todos los valores de verdad son falsos, entonces, la proposición
es una contradicción.
En el caso en el que haya al menos un valor de verdad falso y otro verdadero, la
proposición es una contingencia.
EJEMPLO
Hallar los posibles valores de verdad de la proposición (¬p  q) → (p → q)
Primero, la proposición compuesta tiene cuatro posibles combinaciones de
valores de verdad porque está formada por dos proposiciones simples p y q.
Luego, se construye la tabla de verdad.
Finalmente, se tiene que todos los posibles valores de la proposición (¬p  q) →
(p → q) son verdaderos. Por tanto, la proposición compuesta es una tautología.
Proposiciones con cuantificadores
Para formar proposiciones se utilizan las funciones proposicionales y los
cuantificadores.
Funciones proposicionales
Una función proposicional es una expresión que tiene una o más variables que,
al ser sustituidas por los elementos de un conjunto de referencia, dan origen a
una proposición.
Las funciones proposicionales se representan con letras mayúsculas (P, Q, R, S)
en función de las variables correspondientes. Por ejemplo, la función
proposicional “x es menor que 5” se puede representar como P(x): x ˂ 5, en
donde x se puede remplazar por valores de cualquier conjunto numérico para
formar una proposición.
Cuantificadores
Un cuantificador es una expresión que indica la cantidad de elementos que
cumplen una proposición.
Los principales cuantificadores son el cuantificador universal “para todo” que se
simboliza  y el cuantificador existencial “existe algún” que se simboliza  .
Para negar una proposición con cuantificador universal se utiliza el cuantificador
existencial y para negar una proposición con cuantificador existencial se utiliza el
cuantificador universal.
Negación cuantificador universal ¬(  x  A: P(x)) ↔  x  A: ¬P(x)
Negación cuantificador existencial ¬(  x  A: P(x)) ↔  x  A: ¬P(x)
Pongo en practica
Construye la tabla de verdad para cada proposición. Luego, determina si es
tautología, contradicción o contingencia.
[(p  q) →(p  r)] ↔r

También podría gustarte