Proposiciones

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 4

MATEMÁTICAS

Proposiciones

PROPOSICIONES una proposición se le antepone “no o no es


cierto” y se simboliza (~) o (¬).
Una proposición es un enunciado del que
se puede afirmar si es verdadero o falso. Ejemplo:

Proposiciones Simples: es aquella que se 1. Escribir en símbolos la siguiente


forma sin utilizar conectivos lógicos proposición compuesta.
ejemplo “Currulao es un corregimiento de
Turbo”; para representar una proposición Si la expresión 𝑥 2 + 5𝑥 + 6 es un
se utilizan letras minúsculas tales como p, trinomio, entonces, es igual al producto de
q, r, s y t. (𝑥 + 2)(𝑥 + 3).

Ejemplos. p: La expresión 𝑥 2 + 5𝑥 + 6 es un
trinomio
1. 5 es divisor de 60: es una proposición q: la expresión 𝑥 2 + 5𝑥 + 6 es igual al
por que se le puede dar un valor de verdad, producto de (𝑥 + 2)(𝑥 + 3)
como 60 ÷ 5 = 12 la proposición es
verdadera. Por tanto, la simbolización queda 𝑝 → 𝑞.

2. ¿Qué hora es?: no es una proposición, 2. Negar las siguientes proposiciones


ya que es una pregunta y no podemos dar
un valor de verdad. 𝑝: Turbo es un municipio de Antioquia
~𝑝: Turbo no es un municipio de
Proposiciones Compuestas: es una Antioquia
expresión conformada por dos o más
proposiciones simples, unidas por 𝑞: Colombia no está ubicado en
conectivos lógicos. Ejemplo “todo Suramérica
triangulo rectángulo tiene un ángulo recto ~𝑞: Colombia está ubicado en Suramérica
y dos ángulos agudos”
CONJUNCIÓN (∧)
Los conectivos lógicos son:
Conectiv Operación Símbol Notació Lectura
Es una proposición compuesta en la que se
o lógico lógica o n relacionan dos o más proposiciones
y Conjunción ∧ 𝑝∧𝑞 𝑝𝑦𝑞
o Disyunción ∨ 𝑝∨𝑞 𝑝𝑜𝑞 simples mediante el conectivo lógico “y”.
Si… Implicación → 𝑝→𝑞 𝑠𝑖 𝑝 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑞
entonces
… si y Equivalenci ↔ 𝑝↔𝑞 𝑝 𝑠𝑖 𝑦 𝑠ó𝑙𝑜 𝑠𝑖 𝑞 Ejemplo: El carro prende si tiene gasolina
solo si… a
No Negación ¬ ¬𝑝 𝑁𝑜 𝑝 y electricidad.

Negación de una proposición: es otra Una conjunción se simboliza 𝑝 ∧ 𝑞 y es


proposición con valor de verdad contrario verdadera y las dos proposiciones simples
al de la proposición original. Para negar
JUAN CARLOS MURILLO RIVAS
LIC. MATEMÁTICAS Y FÍSICA
TL. EN ADMÓN. DE REDES DE COMPUTADORES
INGENIERÍA DE TELECOMUNICACIONES (FORMACIÓN)
MATEMÁTICAS
Proposiciones

que la componen son verdaderas en caso Ejemplo: Colombia está ubicado en


contrario es falsa. América entonces América es un
continente.
Tabal de verdad conjunción
El condicional se simboliza 𝑝 → 𝑞, la
𝒑 𝒒 (𝒑 ∧ 𝒒) primera proposición se denomina
V V V antecedente y la segunda consecuente; el
V F F condicional es falso el antecedente es
F V F verdadero y el consecuente falso en caso
F F F contrario es verdadero.

DISYUNCIÓN (∨) Tabal de verdad condicional.

Es una proposición compuesta en la que se 𝒑 𝒒 (𝒑 → 𝒒)


relacionan dos o más proposiciones V V V
simples mediante el conectivo lógico “o” V F F
F V V
Ejemplo: La actividad de clases es resolver F F V
ejercicios o realizar un examen.
BICONDICIONAL (↔)
Una disyunción se simboliza 𝑝 𝜈 𝑞 y es
falsa si las dos proposiciones simples que Es una proposición compuesta es la que se
la componen son falsas en caso contrario relacionan dos o más proposiciones
es verdadera. simples mediante el conectivo lógico “si y
sólo si”
Tabla de verdad disyunción
Ejemplo: Un número es par si y solo si es
𝒑 𝒒 (𝒑 ∨ 𝒒) divisible entre 5.
V V V
V F V El bicondicional se simboliza 𝑝 ↔ 𝑞, y es
F V V verdadera si las dos proposiciones simples
F F F que la componen son verdaderas o ambas
son falsa.
CONDICIONAL (→)
La tabla de verdad del bicondicional.
Es una proposición compuesta es la que se
relacionan dos o más proposiciones 𝒑 𝒒 (𝒑 ↔ 𝒒)
simples mediante el conectivo lógico “si… V V V
entonces” V F F
F V F
F F V
JUAN CARLOS MURILLO RIVAS
LIC. MATEMÁTICAS Y FÍSICA
TL. EN ADMÓN. DE REDES DE COMPUTADORES
INGENIERÍA DE TELECOMUNICACIONES (FORMACIÓN)
MATEMÁTICAS
Proposiciones

Ejemplos. negar la proposición con cuantificador


existencial se una el universal.
Hallar el valor de verdad de la
proposición 𝒑 ∨ ~(𝒑 → 𝒒). Ejemplo.

Se construye una tabla de verdad de forma Identificar el cuantificador en cada


tal que en las primeras columnas se proposición
indiquen todas las combinaciones posibles
de valores de verdad de las proposiciones a. Algunos estudiantes de la I. E. Central
simples. están en 11

𝒑 𝒒 𝒑→𝒒 ~(𝒑 → 𝒒) 𝒑 ∨ ~(𝒑 → 𝒒). “Algunos “

V V V F V b. Ningún profesor de Turbo trabajo en


V F F V V diciembre.
F V V F V
F F V F V “Ningún”
ACTIVIDADES
PROPOSICIONES CON
CUANTIFICADORES 1. Dadas las proposiciones simples,
escribe las proposiciones compuestas
Un cuantificador es una expresión que pedidas.
indica la cantidad de elementos que
cumplen una proposición; expresiones 𝑝: Las rectas m y l son paralelas
como todos, algunos, solo uno, se emplean 𝑞: Las rectas tienen la misma pendiente
como cuantificadores sin embargo en 𝑟: Las rectas se interceptan formando un
matemáticas los cuantificadores más ángulo recto.
utilizados son: 𝑠: Las rectas m y l son perpendiculares

“para todo” es llamado cuantificador 𝑝↔𝑞 𝑟 ∧𝑞 𝑝 ∨𝑠


universal y se simboliza ∀. 𝑝→𝑟 𝑟→𝑠 (𝑝 ∧ 𝑟) → 𝑠

“existe algún” es llamado cuantificador 2. Completa las siguientes tablas.


existencial y se simboliza ∃. a.
𝒑 𝒒 (𝒑 ∧ 𝒒) ~(𝒑 ∧ 𝒒)
Negación de proposiciones con V V
cuantificadores. V F
F V
Para negar una proposición con F F
cuantificador universal se usa el
existencial del mismo modo si se va a

JUAN CARLOS MURILLO RIVAS


LIC. MATEMÁTICAS Y FÍSICA
TL. EN ADMÓN. DE REDES DE COMPUTADORES
INGENIERÍA DE TELECOMUNICACIONES (FORMACIÓN)
MATEMÁTICAS
Proposiciones

b.
𝒑 𝒒 ~𝒑 ~𝒒 ~𝒑 ∨ ~𝒒

V V
V F
F V
F F

3. Elabora la tabla de verdad para cada


caso.

a. ~𝑝 ∨ (~𝑞) d. (𝑞 ∨ ~𝑞 ) ∧ (~𝑝 ∨ 𝑞)

b. ~(𝑝 ∨ 𝑞) e. (~𝑞 ∧ 𝑞 ) ∨ (𝑝 ∧ ~𝑞)

c. ~(𝑝 ∧ 𝑞) f. (𝑞 ∨ 𝑞 ) ↔ (~𝑝 ∧ ~𝑞)

4. Si 𝐴 = {1, 2, 3, 4, 5}, determina el valor


de verdad de las siguientes proposiciones.

a. ∀ 𝑥 ∈ 𝐴: 𝑥 2 < 32

b. ∃ 𝑥 ∈ 𝐴: 𝑥 2 − 𝑥 = 15

c. ∀ 𝑥 ∈ 𝐴: 2𝑥 > 16

5. Determina el valor de verdad de cada


proposición teniendo en cuenta las
siguientes funciones proposicionales.
Justifica tu respuesta.

𝑃(𝑥) : 𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑒𝑛𝑡𝑒𝑟𝑜


𝑄(𝑥) : 𝑥 𝑒𝑠 𝑚ú𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 5
𝑅(𝑥) : 𝑥 𝑒𝑠 𝑚𝑎𝑦𝑜𝑟 𝑞𝑢𝑒 2
𝑆(𝑥) : 𝑥 𝑒𝑠 𝑚𝑒𝑛𝑜𝑟 𝑜 𝑖𝑔𝑢𝑎𝑙 𝑎 6

a. 𝑄(20)

b. 𝑃 (4) ⋀ 𝑄(16)

c. ¬[𝑃(7) ∧ ¬𝑄(8)] → 𝑅(10)

JUAN CARLOS MURILLO RIVAS


LIC. MATEMÁTICAS Y FÍSICA
TL. EN ADMÓN. DE REDES DE COMPUTADORES
INGENIERÍA DE TELECOMUNICACIONES (FORMACIÓN)

También podría gustarte