Introduccin

Siempre que nosotros hacemos diferentes tipos de afirmaciones nos debemos basar en una serie de anlisis que nos permitan aclarar
y rectificar si lo que dijimos anteriormente es verdadero o falso. En el trabajo que a continuacin desarrollaremos podremos encontrar
como, cuando y en que situacin podemos aplicar este tipo de proposiciones.
OBJETIVO GENERAL
Definir y reconocer las proposiciones simples y compuestas; adems de eso entender el verdadero significado de cada caso que se
presente.
OBJETIVOS ESPECIFICOS
Diferenciar las proposiciones simples de las compuestas.
Construir proposiciones simples y compuestas.
Aplicar lo enseado y entendido a nuestra vida cotidiana.
Clasificar diferentes proposiciones.
Qu es una proposicin
Es toda oracin o enunciado al que se le puede asignar un cierto valor (v o f). Si no puede concluir que es verdadero o falso no es
proposicin. Es cualquier agrupacin de palabras o smbolos que tengan sentido y de la que en un momento determinado se pueda
asegurar si es verdadera o falsa. La verdad o falsedad de una proposicin es lo que se llama su valor lgico o valor de verdad. Las
proposiciones se denotan con letras minsculas. Ejemplo: p, q, r, a, b.
Ejemplo:
Hoy es lunes. (si es proposicin ya que se puede verificar).
Hablo y no hablo.
Viene o no viene.
Carlos Fuentes es un escritor. (Simple)
Sen(x) no es un nmero mayor que 1. (Compuesta)
El 14 y el 7 son factores del 42. (Simple)
El 14 es factor del 42 y el 7 tambin es factor del 42. (Compuesta)
El 2 o el 3 son divisores de 48. (Simple)
El 2 es divisor de 48 o el 3 es divisor de 48. (Compuesta)
Si x es nmero primo, entonces x impar. (Compuesta)
Si x > 10, entonces 2x - 3 > 16. (Compuesta)
No todos los nmeros primos son impares. (Compuesta)
Clases de proposiciones
Existen dos clases de proposiciones:
PROPOSICIONES SIMPLES: tambien denominadas proposiciones atmicas. Son aquellas proposiciones que no se pueden dividir.
Ejemplos:
El cielo es azul.
PROPOSICIONES COMPUESTAS: tambien denominadas moleculares. Son aquellas que estn formadas por dos o ms
proposiciones simples unidas por los operadores lgicos.
Ejemplos:
Fui al banco, pero el banco estaba cerrado.
Los lectores de este libro son jvenes o universitarios.
Si el mircoles prximo me saco la lotera entonces te regalare un auto.
Conectivos (operadores) lgicos
Son aquellos que sirven para formar proposiciones ms complejas (compuestas o moleculares).
TIPOS DE CONECTIVOS Y EJEMPLOS
Conectivo Props. Compuesta
NOT Negacin
AND ^ Conjuncin
OR v Disyuncin inclusiva
OR exclusivo v Disyuncin exclusiva
Condicional
Bicondicional
A) NEGACION:
EJEMPLO: Juan conversa.
Juan no conversa.
B) CONJUNCION:
EJEMPLO: P: La casa esta sucia.
Q: La empleada la limpia maana.
PQ: La casa esta sucia y la empleada la limpia maana.
C) DISYUNCION:
D) DISYUNCION EXCLUSIVA:
EJEMPLO: P: Pedro juega bsquet.
Q: Mara juega futbol.
 PVQ: Pedro juega bsquet o Mara juega futbol.
E) CONDICIONAL:
EJEMPLO: P: Si me saco la lotera.
Q: Te regalare un carro.
PQ: Si me saco la lotera entonces te regalare un carro.
F) BICONDICIONAL:
EJEMPLO: P: Simon bolvar vive.
Q: Montalvo esta muerto.
PQ: Simon bolvar vive si y solo si Montalvo esta muerto.
Formas proposicionales
Existen tres formas proposicionales:
TAUTOLOGIAS: es aquella forma proposicional que da como resultado verdadero.
CONTRADICCIONES: es aquella forma proposicional que siempre da como resultado falso.
FALACIAS O INDETERMINADA: es aquella forma proposicional que siempre es verdadera y falsa a la vez.
PROPIEDADES DEL ALGEBRA DE PROPOSICIONES
A) CONMUTATIVA:

B) ASOCIATIVA:

C) DISTRIBUTIVA:

D) IDENTIDAD:

E) ABSORCION:

F) LEYES DE MORGAN:

G) DOBLE NEGACION:

Anexo (Razonamiento)
Las formas proposicionales que estn constituidas por una o ms hiptesis o premisas por una conclusin.
Estructura
Conjunto de premisas conclusin.

Un razonamiento es valido si y solo si el condicional formado es tautolgico.

EJEMPLO: Si hay lluvias, hay cosechas; si hay enfermedades, no hay cosechas; hay heladas o hay enfermedades; no hay
enfermedades. Por lo tanto, hay lluvias.
1.- Identificamos las hiptesis y la conclusin, que en este caso son separadas por ";".
H1.- Si hay lluvias, hay cosechas.
H2.- Si hay enfermedades, no hay cosechas.
H3.- Hay heladas o hay enfermedades.
H4.- No hay enfermedades.
C.- Hay lluvias.
2.- Determinamos las proposiciones simples:
p: Hay lluvias
q: Hay cosechas
r: Hay enfermedades
S: Hay heladas
 3.- Traducimos al lenguaje formal.

H1:

H2:

H3:

H4:

C:
4.- Entonces estructuramos el razonamiento.

Preguntas generadoras
De que manera podemos aplicar la lgica proposicional a la ingeniera de sistemas?
a travs de las proposiciones lgicas en que modelo la carrera podemos aplicar razonamientos lgicos?
Qu mtodos se utilizan para saber si algo es verdadero o es falso, y que tanto aportan las proposiciones a la ingeniera de
sistemas?
MAPAS CONCEPTUALES

1) 2

VOCABULARIO
MONTALVO: Juan Montalvo (1832-1889), escritor ecuatoriano, nacido en Ambato y fallecido en Pars.
Su obra, personal y fuerte, es de difcil clasificacin, aunque le corresponde el amplio y abierto campo del ensayo, basado en el gran
ejemplo fundacional del escritor francs Miguel de Montaigne. Se le considera uno de los mayores prosistas hispanoamericanos del
siglo XIX, pues su lxico, giros y cadencias, as como la desenfadada agudeza de su pensamiento, apelan a fuentes diversas: los
clsicos latinos, el siglo de oro espaol, los romnticos franceses. Frente a la opcin de Domingo Faustino Sarmiento, o sea la
constante reinvencin latinoamericana del idioma, Montalvo trabaja por recuperar olvidadas fuentes de la literatura espaola,
empleadas con extrema libertad.
Conclusiones
 Buscar que el tema halla sido entendido y aplicar esto a nuestra carrera.
Encontramos el significado de las proposiciones y logramos adquirir un nuevo conocimiento que aportara a nuestra carrera.
Queremos con este trabajo encontrar los errores antes de presentar a nuestros compaeros una informacin que ellos
tomaran como aporte tambien para la carrera.

Proposiciones compuestas (Disyuncin, Conjuncin, Negacin, Condicional, Bicondicional)

Oct18de zector0k

DISYUNCIN

La disyuncin es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones,

devolviendo el valor de verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas

son falsas.

Tabla de verdad de la disyuncin

(Ir a 3.1.3 Tablas de Verdad)

p v q (se lee: p o q)

EJEMPLOS:

p = El numero 2 es par

q = la suma de 2 + 2 es 4

entonces

pvq: El numero 2 es par o la suma de 2 + 2 es 4

p = La raz cuadrada del 4 es 2

 q = El numero 3 es par

entonces

pvq: La raz cuadrada del 4 es 2 o el numero 3 es par

CONJUNCIN

La conjuncin es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones,

devolviendo el valor de verdad verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es decir es

verdadera cuando ambas son verdaderas.

Tabla de verdad de la conjuncin

(Ir a 3.1.3 Tablas de Verdad)

p ^ q (se lee: p y q)

EJEMPLOS:

p = El numero 4 es par

q = Siempre el residuo de los nmeros pares es 2

entonces

p^q: El numero 4 es par y Siempre el residuo de los nmeros pares es 2

p = El numero mas grande es el 34

q = El triangulo tiene 3 lados

 entonces

p^q: El numero mas grande es el 34 y El triangulo tiene 3 lados

NEGACIN

La negacin es un operador que se ejecuta. sobre un nico valor de verdad, devolviendo el valor contradictorio de la proposicin

considerada.

Tabla de verdad de Negacin

(Ir a 3.1.3 Tablas de Verdad)

EJEMPLOS

p: 4 + 4 es igual a 9

-p: 4 + 4 no es igual a 9

p: El 4 es un numero par

-p: El 4 no es un numero par

CONDICIONAL

El condicional material es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones,

devolviendo el valor de verdad falso slo cuando la primera proposicin es verdadera y la segunda falsa, yverdadero en cualquier otro

caso.

La condicional de dos proposiciones p, q da lugar a la proposicin; si p entonces q, se representa por p q

 Tabla de Verdad Condicional

(Ir a 3.1.3 Tablas de Verdad)

EJEMPLOS

p: llueve

q: hay nubes

pq: si llueve entonces hay nubes

p: Hoy es mircoles

q: Maana ser jueves

pq: Si Hoy es mircoles entonces Maana ser jueves

BICONDICIONAL

El bicondicional o doble implicacin es un operador que funciona sobre dos valores de verdad, tpicamente los valores de verdad de dos

proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando

sus valores de verdad difieren.

Tabla de Verdad Bicondicional

(Ir a 3.1.3 Tablas de Verdad)

EJEMPLOS
 p: 10 es un nmero impar

q: 6 es un nmero primo

pq: 10 es un nmero impar si y solo si 6 es un nmero primo

p: 3 + 2 = 7

q: 4 + 4 = 8

pq: 3 + 2 = 7 si y solo si 4 + 4 = 8