Proposiciones
Definicin y tipos.
Definicin: 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.
Estructura de la
proposicin:
S es P
[concepto sujeto] cpula [concepto predicado]
[La justicia] es [una virtud]
Hoy es lunes. (si es proposicin ya que se puede
verificar).
No todos los nmeros primos son
impares. (Compuesta)
El sol es agradable en primavera.
Algunas expresiones no son
proposiciones:
Las frases gramaticales: no afirman ni niegan nada:
Ej: los perros hambrientos.
Las ordenes: retrese!, cllese!, etc.
Los deseos: cmo me gustara volar!
Las interrogaciones: ser cierto que el cigarrillo
produce cncer?
Las exclamaciones: qu hambre tengo!
Algunas expresiones no son
proposiciones:
Debemos honrar a nuestros hroes.
Por Jpiter! Casi me saco la lotera!
Valentn es bueno
El triangulo es inteligente
X+3=5
A es la capital del Per.
El cuadriltero es un polgono de cuatro lados.
Qu es la lgica?
Sea en hora buena.
Tipos de proposiciones
Estas se clasifican en dos tipos: Simples y
Compuestas, dependiendo de como estn
conformadas.
Proposiciones Simples
Son
aquellas
que
no
tienen
oraciones
componentes afectadas por negaciones ("no") o
trminos de enlace como conjunciones ("y"),
disyunciones ("o") o implicaciones ("si . . .
entonces"). Pueden aparecer trminos de
enlace en el sujeto o en el predicado, pero no
entre oraciones.
Carlos Fuentes es un escritor. (Simple)
El 14 y el 7 son factores del 42. (Simple)
El 2 o el 3 son divisores de 48. (Simple)
Proposiciones
Compuestas
Una proposicin ser compuesta si no es simple. Es
decir, si est afectada por negaciones o trminos de
enlace entre oraciones componentes.
No todos los nmeros primos son impares. (Compuesta)
El 2 es divisor de 48 o el 3 es divisor de 48.
Si x es nmero primo, entonces x impar. (Compuesta)
El alma es espiritual y libre
(Compuesta)
(Compuesta)
Conectivos (operadores) lgicos
Son aquellos que sirven para formar proposiciones ms complejas
(compuestas o moleculares).
NEGACION:
EJEMPLO: Juan conversa.
Juan no conversa.
CONJUNCION:
EJEMPLO: P: La casa esta sucia.
Q: La empleada la limpia maana.
PQ: La casa esta sucia y la empleada la limpia maana.
DISYUNCION:
EJEMPLO: P: Pedro juega bsquet.
Q: Mara juega futbol.
PVQ: Pedro juega bsquet o Mara juega futbol.
Conectivos (operadores)
lgicos
CONDICIONAL:
EJEMPLO: P: Si me saco la lotera.
Q: Te regalare un carro.
PQ: Si me saco la lotera entonces te
regalare un carro.
BICONDICIONAL:
EJEMPLO: P: Un tringulo es rectngulo.
Q: un tringulo tiene un ngulo recto
PQ: Un tringulo es rectngulo s y slo s
tiene un ngulo recto.
Propiedades:
La Cualidad:
las hace afirmativas o negativas.
Afirmativas: el predicado expresa una seal del sujeto.
El predicado forma parte de la comprensin del
sujeto
Ej.:
El cobre es metal (afirma una cualidad: metal)
Negativas: El predicado no conviene al sujeto. La
negacin afecta a la copula
El da no es soleado (niega una cualidad)
La Cantidad:
Universales:
Cuando el sujeto se refiere a todos los de la clase
que indica o est en toda su extensin; o el
predicado se atribuye a toda la extensin del sujeto.
(Llevan los trminos sincategoremticos. Todos,
ninguno, nadie, etc.)
Ej: Todo ser humano es racional
Particulares:
Cuando el sujeto se refiere a parte del grupo o clase
(llevan los trminos sincategoremticos: alguno (a),
algo, cada, etc.)
Ej: algunos hombres son filsofos, ciertos, unos,
muchos, pocos.
Falsas
Lo expresado en la proposicin no est de acuerdo
con lo que se verifica en la realidad.
Atenas es la capital de Turqua (falso: la capital de
Turqua es Estambul).
Verdaderas
Lo expresado en la proposicin est de acuerdo con
lo que se verifica en la realidad.
Todos los seres vivos tienen compuestos de
carbono.