Você está na página 1de 10

MATEMTICA BSICA I

1.3.2 EL CONECTIVO DISYUNCIN ( ).- Se dice, que, dos o


ms proposiciones forman una disyuncin, si se les interponen la
letra o, con sentido incluyente. Ejemplo:
p

me compro zapatillas.

me compro una camisa.

pvq :

me compro zapatillas o una camisa.

Principio del valor de verdad.- La relacin de disyuncin es


falsa, s y slo s, ambas proposiciones son falsas.
V
V
V
V
V
F
F
V
V
F
F
F
p

11

MATEMTICA BSICA I

La disyuncin es falsa, s y slo s, ambas proposiciones son


falsas.

1.3.3 DISYUNCIN EXCLUSIVA ( ).- Dos o ms proposiciones


forman una disyuncin exclusiva ( ) si se les interponen la letra
o y al final se agregan las palabras pero no ambos (as).

Principio del valor de verdad


p

El conectivo disyuncin exclusiva; es verdadera s y slo s, una


de las proposiciones es verdadera (V) y la otra es falsa (F).
1.3.4 EL CONECTIVO IMPLICACIN O CONDICIONAL (
).Con las proposiciones p y q; se denomina relacin de implicacin
o condicional (pq); cuando se le antepone a la primera
proposicin la palabra si y se les interponen la palabra
entonces.

Ejemplo:
p

Estudio mis asignaturas.

Aprobar mis exmenes.

pq:

S, estudio entonces aprobar mis exmenes.

Antecedente

Consecuente

12

MATEMTICA BSICA I

Principio del valor de verdad


Para demostrar el principio del valor de verdad, utilicemos un
ejemplo muy humano con un nio:
p

Juanito se porta bien.

Le regalar un chocolate.

pq :

S, Juanito te portas bien entonces te regalar un


chocolate.

Juanito se port bien (V); se le regala el chocolate (V) es


verdadera (V).

Juanito se port bien (V); no se le regala el chocolate (F); es


injusto, luego es falsa (F).

Juanito se port mal (F); como se le quiere y engre, se le


regala el chocolate (V); es verdadero (V).

Juanito se port mal; no se le regala el chocolate; es justo,


luego es verdadero (V).

pq

La implicacin o condicional, es falsa (F) s y slo s; la primera


proposicin (antecedente) es verdadera (V) y la segunda
(consecuente) es falsa (F).

13

MATEMTICA BSICA I

1.3.5

EL

CONECTIVO

IMPLICACIN (
bicondicional
(p q)

BICONDICIONAL

DOBLE

).- Dadas las proposiciones p y q, se denomina


doble

implicacin

la

proposicin

(q p).

Principio del valor de verdad


p

La bicondicional o doble implicacin es verdadera (V) s y slo s,


ambas proposiciones son verdaderas (v) o falsas (F).
1.3.6 EL CONECTIVO CONJUNCIN NEGATIVA ( ).- Dadas las
proposiciones p y q; se dice que forman una conjuncin negativa
s y slo s; en el conectivo p

q se niegan ambas proposiciones:

(~p

~q)

(p

q)

Principio del valor de verdad


p

~p

~q

~p

~q

La conjuncin negativa ( ) es verdadera (V) s y slo s, ambas


proposiciones son falsas (F).

14

MATEMTICA BSICA I

EJERCICIOS PROPUESTOS
1.

Dadas las siguientes proposiciones:


Si:

Hace fro

La manzana es agradable

Juan es inteligente

Lorena es bonita

Representar con oraciones declarativas las proposiciones:


1.

7.

~p

2.

8.

3.

ps

9.

~p s

4.

10.

~q

5.

11.

~q

6.

12.

3.

Indique (5) cinco ejemplos de proposiciones:

q
~r

~q

Niegue los (5) cinco ejemplos que propuso.


Con los ejemplos indicados represente con oraciones declarativas:
a)

g)

~p

b)

h)

~r

c)

sp

i)

~s ~p

d)

j)

~s

e)

k)

~q

f)

r)

~s

~t

15

MATEMTICA BSICA I

1.4. PROPOSICIONES COMPUESTAS


Si

una

proposicin

proposiciones simples

compuesta,

se

relaciona

con

otras

o compuestas mediante signos de

coleccin: parntesis ( ); llaves { }; corchetes [ ]; o barras / / se


les separan con punto y coma (;).

Ejemplos:
p

est lloviendo.

La fruta es deliciosa.

Juan es estudioso.

(p ~q) r

Si est lloviendo y la fruta no es deliciosa; entonces Juan es


estudioso.
p

(q

~r)

Est lloviendo; o, la fruta es deliciosa s y slo s Juan no es


estudioso.

EJERCICIOS PROPUESTOS
p

: est nevando.

: Antonio es inteligente.

: La rosa es bella.

Representar con oraciones declarativas:


1.

p (q

2.

(r

~q) v p

3.

(p

~r) v (q

p)

4.

(p

r)

~p)

r)

(q

16

MATEMTICA BSICA I

TAUTOLOGAS, CONTRADICCIN, CONTINGENCIA Y LEYES DEL


LGEBRA PROPOSICIONAL

A.

TAUTOLOGA.- Se dice que una proposicin compuesta es


tautolgica; s y slo s; en sus tablas de verdad, todas son
verdaderas sin que interesen las tablas de verdad de las
proposiciones simples.

B.

CONTRADICCIN.- Se dice que una proposicin compuesta,


forma una contradiccin, s y slo s, sus tablas de verdades,
todas son falsas, sin que interesen las tablas de verdades de las
proposiciones simples.

C.

CONTINGENCIA.- Se dice que una proposicin compuesta, forma


una contingencia, s y slo s, sus tablas de verdades, no son
tautolgicas ni contradictorias.

EJERCICIOS PROPUESTOS
Demostrar sus tablas

de verdades,

contradictorias o son una contingencia.


1.

(~ p

q)

(p

~ q)

2.

~ (p

q)

(~p

~q)

3.

~ (p ~q)

(p

q)

4.

[(p q)

5.

~ [~ (p

(p q)]
q)]

(~p

p
~ q)

17

si son:

tautolgicas,

MATEMTICA BSICA I

1.4.1 LEYES DEL LGEBRA PROPOSICIONAL


1.

2.

Idempotencia
p

Involucin
~ (~p)

3.

4.

5.

6.

7.

Asociativa
(p

q)

(q

r)

(p

q)

(q

r)

Conmutativa
p

Distributiva
(p

q)

(p

r)

(p

q)

(p

r) v (q

(q

r)
r)

Identidad
6.1

f f

6.2

6.3

6.4

7.2

~p

7.4

~f

Complemento
7.1

7.3

~~p

7.5

~v

~p

f
p

18

MATEMTICA BSICA I

8.

Leyes de Morgan

a)

La negacin de la conjuncin es equivalente, s y slo s, a


las negaciones de la disyuncin
~ (p

b)

q)

~p

~q

La negacin de la disyuncin es equivalente, s y slo s, a


las negaciones de la conjuncin ~ (p

c)

q)

~p

~q

La negacin de la implicacin es equivalente, s y slo s, a


la primera proposicin y la segunda proposicin negada.
~ (p q)

~q

Implicaciones asociadas
pq

Recproca

qp

Contraria

~p~q

Contra-recproca

~q~p

pq

Recproca

~p~q

Recprocas

qp

Contrarias

Directa

Contrarias

9.

~q~p

Se puede demostrar, mediante tablas de verdades que las contrarecprocas: son tautolgicas.

19

MATEMTICA BSICA I

Demostrar:
1)

(p q)

2)

(~ p ~ q)

(~ q ~ p)
(q p)

Si la implicacin directa es verdadera, no se puede asegurar


respecto a la verdad o falsedad de la implicacin: recproca o
contraria.

RAZONAMIENTO DEDUCTIVO VLIDO


Lo ms importante en la matemtica es el razonamiento
deductivo; los teoremas se enuncian mediante una implicacin,
cuyo antecedente es la hiptesis y el consecuente la tesis; de
acuerdo con lo establecido al analizar las condicionales
conjugadas se puede afirmar la validez del teorema directo, el
contra recproco tambin se cumple; nada se puede asegurar del
teorema recproco y contrario.
El razonamiento es deductivo, s y slo s las premisas son
evidentes para una conclusin evidente. No tiene sentido afirmar
que un razonamiento es verdadero o falso; debe expresarse que
es vlido o no.

1.5. REGLA DE INFERENCIA


Se denomina Regla de inferencia a todo esquema vlido de
razonamiento independientemente de la interpretacin de las
proposiciones simples; es decir, toda regla de inferencia es
tautolgica; y son:

20