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.