Proposición

Ejemplos 2: Las siguientes afirmaciones son proposiciones:
• • • • • • • •

Omate es nombre de una ciudad andina. Horacio Zeballos Gamez nació en Carúmas 1+1=3 1+6=7 El cuadrado de todo número par también es par.

Está soleado o está nublado. No está nublado. Por lo tanto, está soleado.

Las proposiciones pueden ser simples (o atómicas) y compuestas, cuando esta compuesta por varias proposiciones simples Ejemplos 3: Las dos primeras afirmaciones son proposiciones simples y los restantes, compuestas
• • • • • •

El triángulo es un polígono 1+7=5 Si Juan va al cine, entonces tiene dinero Un triángulo es equiángulo si, y solo si es equilátero Marcos en ingeniero o Beatriz es profesora Enunciado

Algunos enunciados indican expresiones imperativas, exclamativas, interrogativas, otros en cambio, pueden ser verdaderos o falsos. Ejemplo 1. Son enunciados:
• • • •

¿Qué hora es? ¡Arriba Perú! 2+5=7 La cordillera del Cóndor es peruano

Son enunciados abiertos: Los enunciados que usan las palabras "él". que tienen la propiedad de convertirse en proposiciones. q. Para x = 2. r.• • 2x + 3 = 5 Enunciado abierto Ejemplo. Las proposiciones se pueden combinar para obtener proposiciones compuestas utilizando conectivos lógicos que veremos a continuación: .… para simbolizar las proposiciones. Ejemplo: El enunciado abierto x2 + 1 = 5 Es una función proposicional. será la proposición (2)2 + 1 = 5 ……………………… (V) el cual tiene valor de verdad Verdadera • Notación Usaremos las letras minúsculas p. entonces. al sustituirse la variable por una constante específica. se convierte en la proposición (-3)2 + 1 = 5……………………… (F) el cual tiene valorde verdad Falsa • ii. el cual se convierte en proposición cuando: • i. "ella" son enunciados abiertos los enunciados abiertos que contienen variables algebraicas se les denomina función proposicional. Para x = -3 (por ejemplo).

incluyendo ejemplos de su uso en el lenguaje natural y los símbolos que se utilizan para representarlas. Conectiva Expresión en el Ejemplo Símbolo en Símbolos alternativ . q y r las proposiciones siguientes: p: "está lloviendo" q: "el sol esta brillando" r: "hay nubes en el cielo" Conectivas lógicoArtículo principal: Conectiva lógica A continuación hay una tabla que despliega todas las conectivas lógicas que ocupan a la lógica proposicional.Actividades • 1. Sean p.

Negación conjunta ni. sin ambigüedades.. a las proposiciones que contienen alguno de los conectivos lógicos.. Condicional material si. Esto lo haremos a través de tablas de verdad.. ¿cómo le asignamos un valor de verdad a las proposiciones compuestas?.lenguaje natural este artículo os Negación no No está lloviendo. es decir. Tabla de la negación . entonces Si está soleado. Conjunción y Está lloviendo y está nublado... Cálculo proposicional Objetivos • • Calcular el valor de verdad de proposiciones compuestas Construir razonamientos válidos en matemática La definición de proposición nos dice que debe ser una oración a la cual se le puede asignar un valor de verdad de manera precisa. ni Ni está soleado ni está nublado. o bien O bien está soleado. Ahora bien. o bien está nublado. • 1.. Bicondicional si y sólo si Está nublado si y sólo si hay nubes visibles. Disyunción o Está lloviendo o está soleado. entonces es de día. Disyunción excluyente o bien.

si p es falso. resultando falso en cualquier otro caso. Tabla de la disyunción (inclusiva o débil) La disyunción inclusiva es verdadera. si al menos una de las proposiciones componentes es verdadera. La negación de una negación es siempre la proposición original Ejemplo. • 4. Es decir. el valor de la negación de un enunciado es siempre opuesto al valor de verdad del enunciado inicial. Tabla de la conjunción La disyunción exclusiva es únicamente verdadera cuando los valores de las proposiciones que la compone son ambas verdaderas. • • • • pyq p con q p sin embargo q p incluso q .Observamos que si p es verdadera. resultando falso en cualquier otro caso. Tabla de la disyunción (exclusiva o fuerte) La disyunción exclusiva es verdadera cuando sólo una de las proposiciones que la compone es verdadera. entonces (p es verdadero. • 3. p: Pedro es alto (p: Pedro no es alto (p: No es cierto que Pedro es alto (p: Es falso que Pedro no es alto • 2. resultando falso únicamente cuando las dos proposiciones son falsas. entonces (p es falso.

En nuestro ejemplo inicial: "si los precios de los artículos suben. tienen menos demanda. la podemos entender como una deducción(que se puede realizar en base a la experiencia o por simple razonamiento mental). Si trabajamos con funciones proposicionales este sería algunos ejemplos: ." Ahora.• • • • • • • p tanto como q p así mismo q p también q p al igual que q No sólo p también q p no obstante q 5. entonces q A la proposición "p" se le llama antecedente o hipótesis y a "q" consecuente o tesis. la siguiente proposición es una verdad: "Si los precios de los artículos suben. se deduceque tienen menos demanda. Tabla de la condicional En los problemaseconómicos. entonces. para realizar esta deducción (p(q) hemos nos valemos de proposición "p". Aquí p: Los precios de los artículos suben q: Los artículos tiene menos demanda y se simboliza: y se lee: Si p. Esta es su tabla de verdad: ¿Cómo se calcula su valor de verdad? Si analizamos la palabra "entonces".

ley Asociativa. + (signo de suma): significa suma lógica Operaciones básicas en el algebra booleana Ley Distributiva.Las reglas del álgebra Booleana son: Notas: (punto): significa producto lógico. ley Conmutativa .

Precedencia y Teorema de Morgan .