Proposicin

Ejemplos 2: Las siguientes afirmaciones son proposiciones:

Omate es nombre de una ciudad andina. Horacio Zeballos Gamez naci en Carmas 1+1=3 1+6=7 El cuadrado de todo nmero par tambin es par.

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

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

El tringulo es un polgono 1+7=5 Si Juan va al cine, entonces tiene dinero Un tringulo es equingulo si, y solo si es equiltero 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 Cndor es peruano

2x + 3 = 5 Enunciado abierto

Ejemplo. Son enunciados abiertos:

Los enunciados que usan las palabras "l", "ella" son enunciados abiertos los enunciados abiertos que contienen variables algebraicas se les denomina funcin proposicional, que tienen la propiedad de convertirse en proposiciones, al sustituirse la variable por una constante especfica. Ejemplo: El enunciado abierto x2 + 1 = 5 Es una funcin proposicional, el cual se convierte en proposicin cuando:

i. Para x = -3 (por ejemplo), se convierte en la proposicin (-3)2 + 1 = 5 (F)

el cual tiene valorde verdad Falsa

ii. Para x = 2, entonces, ser la proposicin (2)2 + 1 = 5 (V)

el cual tiene valor de verdad Verdadera

Notacin

Usaremos las letras minsculas p, q, r, para simbolizar las proposiciones. Las proposiciones se pueden combinar para obtener proposiciones compuestas utilizando conectivos lgicos que veremos a continuacin:

Actividades

1. Sean p, q y r las proposiciones siguientes:

p: "est lloviendo" q: "el sol esta brillando" r: "hay nubes en el cielo"

Conectivas lgicoArtculo principal: Conectiva lgica

A continuacin hay una tabla que despliega todas las conectivas lgicas que ocupan a la lgica proposicional, incluyendo ejemplos de su uso en el lenguaje natural y los smbolos que se utilizan para representarlas.

Conectiva

Expresin en el

Ejemplo

Smbolo en

Smbolos alternativ

lenguaje natural

este artculo

os

Negacin

no

No est lloviendo.

Conjuncin

Est lloviendo y est nublado.

Disyuncin

Est lloviendo o est soleado.

Condicional material

si... entonces

Si est soleado, entonces es de da.

Bicondicional

si y slo si

Est nublado si y slo si hay nubes visibles.

Negacin conjunta

ni... ni

Ni est soleado ni est nublado.

Disyuncin excluyente

o bien... o bien

O bien est soleado, o bien est nublado.

Clculo proposicional
Objetivos

Calcular el valor de verdad de proposiciones compuestas Construir razonamientos vlidos en matemtica

La definicin de proposicin nos dice que debe ser una oracin a la cual se le puede asignar un valor de verdad de manera precisa, sin ambigedades. Ahora bien, cmo le asignamos un valor de verdad a las proposiciones compuestas?, es decir, a las proposiciones que contienen alguno de los conectivos lgicos. Esto lo haremos a travs de tablas de verdad.

1. Tabla de la negacin

Observamos que si p es verdadera, entonces (p es falso; si p es falso, entonces (p es verdadero. Es decir, el valor de la negacin de un enunciado es siempre opuesto al valor de verdad del enunciado inicial. La negacin de una negacin es siempre la proposicin original Ejemplo. 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. Tabla de la disyuncin (inclusiva o dbil)

La disyuncin inclusiva es verdadera, si al menos una de las proposiciones componentes es verdadera, resultando falso nicamente cuando las dos proposiciones son falsas.

3. Tabla de la disyuncin (exclusiva o fuerte)

La disyuncin exclusiva es verdadera cuando slo una de las proposiciones que la compone es verdadera, resultando falso en cualquier otro caso.

4. Tabla de la conjuncin

La disyuncin exclusiva es nicamente verdadera cuando los valores de las proposiciones que la compone son ambas verdaderas, resultando falso en cualquier otro caso.

pyq p con q p sin embargo q p incluso q

p tanto como q p as mismo q p tambin q p al igual que q No slo p tambin q p no obstante q 5. Tabla de la condicional

En los problemaseconmicos, la siguiente proposicin es una verdad: "Si los precios de los artculos suben, entonces, tienen menos demanda. Aqu p: Los precios de los artculos suben q: Los artculos tiene menos demanda y se simboliza: y se lee: Si p, entonces q A la proposicin "p" se le llama antecedente o hiptesis y a "q" consecuente o tesis. Esta es su tabla de verdad:

Cmo se calcula su valor de verdad?

Si analizamos la palabra "entonces", la podemos entender como una deduccin(que se puede realizar en base a la experiencia o por simple razonamiento mental). En nuestro ejemplo inicial: "si los precios de los artculos suben, se deduceque tienen menos demanda." Ahora, para realizar esta deduccin (p(q) hemos nos valemos de proposicin "p". Si trabajamos con funciones proposicionales este sera algunos ejemplos:

Las reglas del lgebra Booleana son:

Notas: (punto): significa producto lgico. + (signo de suma): significa suma lgica

Operaciones bsicas en el algebra booleana

Ley Distributiva, ley Asociativa, ley Conmutativa

Precedencia y Teorema de Morgan