UNIVERSIDAD PERUANA LOS ANDES

MATEMATICA BSICA I
Enunciados y proposiciones
Enunciado: Se llama enunciado a una frase u oracin. Algunos enunciados son
mandatos o interrogantes o son expresiones de emocin.
Ejemplo:

Qu estudias en la universidad?
Prohibido hacer bulla
Auxilio, me ahogo!
No conversen en clase
Qu da es hoy?

Proposicin:
Llamados proposiciones a todos lo enunciados que tienen la cualidad de verdadero (V) o
la cualidad de ser falso (F), pero nunca pueden ser verdadero (V)o falso (F) a la vez.
Notacin: Denotaremos a las proposiciones por letras minsculas: p, q, r, s, t; en cambio
s existen muchas proposiciones, entonces se usaremos sin ndices tales como:

p1, p2, p3, p4, p5, pn

q1, q2, q3, q4, q5, qn

Ejemplos:

p : dos ms tres, es igual a cinco

q : cinco es diferente de cero
t = cuatro y diez son mltiples de diez
u = 2 es menor que 3 y 3 es mltiplo de 5

Si una proposicin p es verdadera se dice que su validez o valor de verdad es v, se

escribe V(p) = V o se lee valor de verdad de p es igual a V.
Si una proposicin p es falsa se dice que su validez o valor de verdad es F1 se escribe
V(p) = F y se lee valor de verdad de p es igual a F.

Ejemplo:
Proposicin Valor de Verdad
p : Csar Vallejo naci en Pars V(p) = F
q : 2 + 3 < 10 3 V(q) = V
Tema2: Proposiciones Simples y Compuestas:

Docente: Mg. Jorch Joan Coras Bendez

Email: jcorasb@upla.edu.pe

UNIVERSIDAD PERUANA LOS ANDES

MATEMATICA BSICA I
Las proposiciones simples: Llamadas tambin proposiciones atmicas o elementales,
son aquellos enunciados que tienen un solo sujeto y un solo predicado.
Ejemplo:
1) Carlos Marx naci en Alemania.
2) La silla es de madera.
Las proposiciones compuestas: Llamadas tambin proposiciones moleculares, son
aquellas que estn constituidas por dos o ms proposiciones simplesEjemplo:
1) Carlos estudia Derecho o Contabilidad.
2) Si maana el cielo est nublado, entonces llover.
Propiedad Fundamental de las Proposiciones
Compuestas:
La verdad de la proposicin compuesta depende de la verdad de cada una de las
proposiciones componentes, sin que en esta dependencia de verdades tenga que ver la
naturaleza, la significacin o la estructura de la propiedad, a las proposiciones
compuestas.
ConectivosLgicos: Son expresiones que sirven para unir dos o ms proposiciones,
entre los ms importantes conectivos lgicos tenemos: La conjuncin, disyuncin,
implicacin, bicondicional, negacin, contradiccin, esto mostraremos en el siguiente
cuadro:
Nombre
Conjuncin
Disyuncin

Implicacin
Bicondicional,

Expresin
Y

equivalencia,

Contradiccin

si ... entonces

... si y slo si ...

doble implicacin
Negacin

Smbolo

Lgico

no

...no equivalente

Proposiciones Compuestas Lgicas:

a) Negacin: Dada una proposicin P, llamaremos la negacin de p, a otra proposicin
que denotaremos por p, y que se le asigna el valor opuesto a p, y su tabla de verdad
es:

Docente: Mg. Jorch Joan Coras Bendez

Email: jcorasb@upla.edu.pe

UNIVERSIDAD PERUANA LOS ANDES

MATEMATICA BSICA I
p

p
V

Ejemplo:
1. La tiza es blanca.
Su negacin es: no es cierto que la tiza es blanca.
2. Dada la proposicin p = 5 x 7 = 35
Su negacin: no es cierto que 5 x 7 = 35
b) La Disyuncin Inclusiva: Dadas dos proposiciones p y q, la disyuncin inclusiva o
dbil, es una proposicin coligativa que resulta de unir las proposiciones p y q con el
conectivo o, el cual se denota por el smbolo , se escribe p q y se lee p o
q. La tabla de verdad para la disyuncin es:
p

V V
V F
F V
F F

p q
V
V
V
F

Ejemplo:
Juan habla ingls o Juan habla francs
p

Maritza estudi italiano en un instituto o

p

quiz en Italia

c) Conjuncin: La conjuncin de dos proposiciones p y q es la proposicin

compuesta que resulta de unir p y q mediante el conectivo y que se
simboliza p y q, donde el principio lgico es la conjuncin p

q es

verdadero V, solo cuando p es verdadero y q es verdadero V, en todos

los dems casos es falso. Su tabla de verdad es:
p

V V
V F
F V
F F

p q
V
F
F
F

d) La Condicional: Dadas las proposiciones p y q, se denomina proposicin

condicional a la que resulta de unir p y q por el conectivo si ...

Docente: Mg. Jorch Joan Coras Bendez

Email: jcorasb@upla.edu.pe

UNIVERSIDAD PERUANA LOS ANDES

MATEMATICA BSICA I
entonces ... , que se denota por el smbolo , se escribe p q y se
lee si p, entonces q, donde el principio lgico es la proposicin
implicativa es falso nicamente en el caso que la proposicin p es
verdadera y la proposicin q es falsa, siendo verdadera en todos los
dems casos. Su tabla de verdad es:
p
V
V
F
F

q
V
F
V
F

p q
V
F
V
V

A la proposicin p se denomina antecedente y la proposicin q

consecuente.
Ejemplo:
Si Patricia consigue visa de turista, entonces viajar a Japn
p

e) La

Bicondicional:

La

doble

implicacin

bicondicional

de

dos

proposiciones p y q es la proposicin compuesta mediante el conectivo

lgico si y slo si y se simboliza p q son verdaderos V o son falsos F,
en otros casos es falso F. Su tabla de verdad es:
p q
V V

p q
V

Ejemplo:

Jack comprar una casa si y slo si obtiene un prstamo del banco.

p

Proposiciones Compuestas:
Mediante los conectivos lgicos se pueden combinar cualquier nmero finito de
proposiciones cuyos valores de verdad pueden ser conocidos, construyendo su tabla de
verdad, en dicha tabla se puede indicar los valores resultantes de estas proposiciones

Docente: Mg. Jorch Joan Coras Bendez

Email: jcorasb@upla.edu.pe

UNIVERSIDAD PERUANA LOS ANDES

MATEMATICA BSICA I
compuestas para todas las combinaciones posibles de valores de verdad de
proposiciones compuestas.
Ejemplo: La tabla de verdad de la proposicin compuesta de:

[ (p q) (q r) ] (p r)
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

[(p
V
V
F
F
V
V
V
V

q)

V
F
F
F
V
F
V
V

(q r)]
V
V
F
V
V
V
V
V
V
V
F
V
V
V
V
V

(p r)
V
F
V
F
V
V
V
V

Docente: Mg. Jorch Joan Coras Bendez

Email: jcorasb@upla.edu.pe