You are on page 1of 11

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)

Leer ms: http://www.monografias.com/trabajos100/proposiciones-simples-ycompuestas/proposiciones-simples-y-compuestas.shtml#ixzz3mcFSmcei


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

Disyuncin inclusiva

OR exclusivo

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 sistem

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 oroespaol, 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.
Bibliografa

INTERNET EXPLORED.
ENCARTA 2006 BIBLIOTECA PREMIUM.
Autor:
Leer ms: http://www.monografias.com/trabajos100/proposiciones-simples-ycompuestas/proposiciones-simples-ycompueshttp://www.monografias.com/trabajos100/proposiciones-simples-ycompuestas/proposiciones-sProposiciones, trminos de enlace o conectivos lgicos
Definicin:
Una proposicin lgica es una oracin declarativa completa con un significado bien
definido y de la cual podemos decir si es verdadera o falsa.

Ejemplos:

"Hoy esta lloviendo"


"Hoy es el primer da de clase"
"5+6=11"
"1+1=3"

(proposicin atmica)
(proposicin atmica)
(proposicin atmica)
(proposicin atmica)

"Si llueve entonces mi ropa se seca" (proposicin compuesta)


"Es lunes y hay clase"
(proposicin compuesta)
Las proposiciones mas simples se llaman "atmicas", y son aquellas que no cuentan con
conectores lgicos o trminos de enlace, aquellas que tienen conectores son llamadas
"proposiciones compuestas" o moleculares.
Trminos de enlace o conectivos lgicos
Los trminos de enlace son los elementos que usamos para formar con proposiciones
simples o atmicas, proposiciones compuestas o moleculares.

Es de notar que el nico conector que acta sobre una sola proposicin es la negacin,
los
dems
siempre
conectan
dos
proposiciones.

imples-y-compuestas.shtmltas.shtml#ixzz3mcFjbEyASIMBOLIZACIN DE
PROPOSICIONES
Publicado el noviembre 24, 2011 por linkinomoto

SIMBOLIZACIN DE PROPOSICIONES (pincha aqu para obtener la versin PDF)


Para poder simbolizar proposiciones en Lgica es preciso saber distinguir las partes lgicas de estas
proposiciones. Una proposicin molecular est formada por una proposicin atmica ms un
trmino de enlace, por lo menos. Una proposicin atmica es aquella que no posee ningn trmino
de enlace. Trminos de enlace de proposiciones (o simplemente trminos de enlace) es el
nombre que en Lgica se da a trminos tales como a la vez y, o o, si entonces
y no que se utilizan para formar proposiciones moleculares a partir de proposiciones atmicas.
De los cuatro trminos de enlace indicados, y, o, y si entonces ligan o actan sobre dos
proposiciones a la vez, mientras que el trmino de enlace no acta slo sobre una. Una
proposicin molecular formada utilizando el trmino de enlace y es una conjuncin, una
proposicin molecular formada utilizando el trmino de enlace o es una disjuncin, una
proposicin molecular formada utilizando el trmino de enlace no es una negacin, y una
proposicin molecular formada utilizando el trmino de enlace si entonces es una
proposicin condicional.
Es conveniente en Lgica utilizar unos smbolos para proposiciones y otros para trminos de enlace.
Para proposiciones atmicas se usan letras maysculas tales como P, Q, R, S, y as
sucesivamente. Puesto que los trminos de enlace terminan la forma de una proposicin en Lgica,
se puede sustituir cada proposicin atmica por otra cualquiera y la forma se conserva. Por ejemplo,
en la proposicin P&Q se puede sustituir P y Q por proposiciones escritas cualesquiera. Los
smbolos utilizados para los trminos de enlace, por otra parte, permanecen siempre los mismos; y
son: & para conjuncin, para disjuncin, para negacin, y para la condicin.
En proposiciones que tienen ms de un trmino de enlace es preciso indicar la manera de agruparse,
pues distintas agrupaciones pueden tener distintos significados. En lengua castellana, las
agrupaciones se presentan de acuerdo con la colocacin de ciertas palabras, o mediante la
puntuacin. En Lgica la agrupacin se expresa por parntesis. La conjuncin (PQ)&R tiene
distinto significado que la disjuncin P(Q&R), a pesar de tener las mismas proposiciones
atmicas y los mismos trminos de enlace. Se necesitan los parntesis para indicar cundo un
trmino de enlace domina la proposicin, si no es el trmino de enlace ms fuerte en la proposicin.
No es el ms dbil; despus siguen y y o que tienen la misma potencia; y si entonces
es el ms fuerte. Sin embargo, cada trmino de enlace puede dominar, si lo indica el parntesis.
Con estos smbolos como instrumentos estamos ahora preparados para expresar de manera clara y
precisa el significado de las proposiciones, salvo algunas, que se presentan dentro de la parte de la
Lgica formal elemental conocida por Lgica proposicional.
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
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
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
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

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

You might also like