PROPOSICIONES

Generalmente, al hablar de proposiciones nos referiremos exclusivamente a

afirmaciones relativas a los elementos de un conjunto determinado, y para cada
elemento del conjunto, la proposicin necesariamente deber ser, una de dos: falsa o
verdadera.
Ejemplo: En el conjunto de los nmeros reales la proposicin: x es positivo
es verdadera para unos x
y es falsa para otros.
De sta manera, cada proposicin P, relativa a los elementos de un conjunto X, se puede ver
como una funcin P : X falso, verdadero

falso , verdadero

P(a) = verdadero

P(b) = falso

P(c) = verdadero

P(d) = falso

P(e) = falso

Si A y B son proposiciones sobre los elementos de un mismo conjunto, se construyen otras

proposiciones como se muestra en la siguiente Tabla de Verdad:
A
V
V
F
F

B
V
F
V
F

No B
F
V
F
V

AB
V
V
V
F

AB
V
F
F
F

A B se lee:
AoB
A B se lee:
AyB
A B se lee: A implica B
A B se lee: A si y solo si B

A B
V
F
V
V

A B
V
F
F
V