Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Veracruz
Ensayo de:
Blanca Geronimo
Introduccin --------------------------------------------------------
UNIDAD II PROPOSICIONES
Proposiciones, enunciados y oraciones ---------------
10
conclusin --------------------------------------------------------
14
15
NDICE
Blanca Geronimo
Introduccin:
En el presente trabajo hablaremos sobre las proposiciones y su orden lgico, como
se clasifican, su enfoque, simbolizacin y valor funcional.
Una proposicin es una cadena de signos expresados en un determinado lenguaje.
A su vez estos signos expresados en el lenguaje natural son sonidos o caracteres
escritos.
Dicho de otra manera: la proposicin es un sistema formal cuyos elementos ms
simples
representan
proposiciones,
cuyas constantes
lgicas,
Blanca Geronimo
UNIDAD II
PROPOSICIONES, ENUNCIADOS Y
ORACIONES
ENUNCIADO
Llamamos enunciado a cada secuencia delimitada entre dos silencios, marcada por
una determinada curva entonativa, y que constituye un mensaje que ofrece sentido
completo en una situacin dada. El enunciado es, por tanto, una unidad mnima de
comunicacin.
Los enunciados estn constituidos de manera diversa, segn las palabras que lo
forman y las relaciones que se establecen entre ellas.
ORACIN
Llamamos oracin a un tipo particular de enunciados caracterizado por la presencia
de una forma verbal:
ORACIN Y PROPOSICIN
La proposicin es un sintagma ms reducido que la oracin. Y por lo tanto,
cualquiera que sea su estructura, estar siempre incluida en la oracin.
Tanto la oracin como la proposicin son unidades semnticas, sintcticas y
fonticas. La diferencia estriba en que la proposicin es una unidad menor y
formante de la oracin compuesta, ya sea por coordinacin o por subordinacin.
4
Blanca Geronimo
Blanca Geronimo
CLASIFICACIN DE PROPOSICIONES
CLASIFICACIN:
Enunciados abiertos:
Un enunciado abierto es una oracin donde el sujeto de la accin no se identifica
claramente. Ejemplo:
X es un nmero par y primo y es un da de la semana. Un enunciado abierto que
involucra una igualdad y en la que se desconocen uno o varios de sus trminos se
llama ECUACIN
Enunciados Cerrados:
Es un enunciado que puede ser VERADERO o FALSO, cuando identificamos
claramente el sujeto que realiza la accin. Un enunciado abierto, puede convertirse
en un enunciado cerrado, verdadero o falso, al sustituir el trmino variable por un
trmino constante elegido de un conjunto referencial. Ejemplo:
6
Blanca Geronimo
Proposiciones Simples:
Una proposicin se considera simple si en ella no intervienen conectores lgicos o
trminos de enlace. Las proposiciones simples se representan mediante las letras
del alfabeto espaol p, q, r, s, t, usadas comnmente. A las cuales se les denomina
como Variables Proposicionales. Ejemplo:
Enlaces Lgicos:
Los conectores son las contrapartidas formales de las conjunciones gramaticales,
mediante las cuales formamos de enunciados simples, otros llamados compuestos.
Proposiciones Compuestas:
Una proposicin compuesta es un enunciado de verdad que est compuesto por
dos o ms proposiciones simples, unidas mediante conectores lgicos, formando
una nueva oracin. Una proposicin se considera compuesta o molecular si se
juntan dos o ms proposiciones simples con trminos de enlace o conectores.
Los conectores o trminos de enlace y, o, Si entonces, Si y solo si;
se usan para ligar dos proposiciones, el trmino no se agrega a una sola
proposicin.
Ejemplos:
p : Hoy es da mircoles.
q : Hay clase de lgica matemtica
Estas proposiciones son simples, y con ellas se puede formar o construir
proposiciones compuestas.
Blanca Geronimo
CONECTIVAS LGICAS
En lgica,
una conectiva
lgica,
o
simplemente conectiva,
(tambin
llamado operador lgico o conectores lgicos) es un smbolo o palabra que se
utiliza para conectar dos frmulas bien formadas o sentencias (atmicas o
moleculares), de modo que el valor de verdad de la frmula compuesta depende
del valor de verdad de las frmulas componentes.
Los conectivos lgicos pueden ser utilizados para conectar ms de dos
afirmaciones, entonces es comn hablar de "conector lgico n-ario".
Conectivos lgicos comnmente usados:
Negacin (no): , ~
Blanca Geronimo
No est lloviendo
No est lloviendo ( P)
Verdadero (, 1 o T)
Falso (, 0 o F)
SIMBOLIZACIN DE PROPOSICIONES Y
ARGUMENTOS
SIMBOLIZAR: Es la representacin de las proposiciones por medio de la utilizacin
de smbolos, con el fin de crear un lenguaje para trasmitir estas proposiciones al
computador de una manera ms fcil. Es una representacin matemtica, por
medio de la asignacin de identificadores a cada una de las proposiciones y la
asignacin de smbolos a los trminos de enlace, con lo que se obtendr una
expresin.
Blanca Geronimo
Blanca Geronimo
CONJUNCION
Es un trmino de enlace de certeza funcional de manera que se puede decidir el
valor de certeza de la proposicin P & Q si se conocen los valores de certeza de la
proposicin P y de la proposicin Q.
COMBINACION DE VALORES CERTEZA P Y Q
Blanca Geronimo
Blanca Geronimo
BICONDICIONAL
Vemos entonces que pq no es lo mismo que qp. Puede ocurrir, sin embarg,
que ambos pq y qp son verdaderas.
Por ejemplo, si p: "0 = 1" y q: "1 = 2," entonces pq y qp ambas son verdaderas
porque p y q ambas son falsas. La proposicin pq se define como la proposicin
(pq) (qp). Por esta razn, la flecha de doble cabeza se llama
el bicondicional.
Obtenemos la tabla de verdad para pq construyendo la tabla para (pq) (qp),
que nos da lo siguiente.
El bicondicional pq, que leemos "p si y solo si q" o "p es equivalente a q," se
define por la siguiente tabla de verdad.
p
V
La flecha q
V
F
Algunas frases del Biondicional
pq
es el operador bicondicional
V
Blanca Geronimo
Conclusin
proposiciones
pueden
estar
representadas
por
smbolos,
es
una
Blanca Geronimo
Y^
Ov
SI...entonces
NO
Cada proposicin debe de tener un valor de certeza, y esta debe de ser verdadera
o falsa.
Referencias bibliogrficas
15
Blanca Geronimo
https://lalenguamola.wordpress.com/2011/08/16/el-enunciado-la-oracion-laproposicion-y-la-frase/
http://es.slideshare.net/VickyGarcaHernndez/clasificacin-de-lasproposiciones
http://introduccionalpensmientologico.blogspot.mx/2009/09/conectivoslogicos.html
https://es.scribd.com/doc/14172945/CERTEZA-Y-VALIDEZ
http://www.zweigmedia.com/MundoReal/logic/logic3.html
16