Instituto Universitario de Tecnologa

Jos Antonio Anzotegui

Ingeniera en Informtica
Ncleo: El Tigre

Tema IV
Clase 1

FACILITADOR: Thais Hernndez

Materia: Matemticas

El Tigre, Mayo de 2012

Contenido

Preposiciones

Clasificacin de las preposiciones

Valor de la verdad

Simbolizacin de las preposiciones

Operacin lgica y Diagrama de la operacin

binaria
La conjuncin y los valores de la verdad

La
La
La
La

disjuncin y los valores de la verdad

negacin y los valores de la verdad
implicacin
equivalencia

Preposiciones
Definicin:
La preposicin en una oracin con sujeto,
verbo y predicado que puede ser calificada
de Verdadera o Falsa, pero no las dos cosas
a la vez.

Ejemplo:

Hoy es Martes
Las Flores son rojas
El perro tiene colmillos
Jos no ha llegado demasiado tarde

Preposiciones
Clasificacin:
Las preposiciones se pueden clasificar en:
Atmicas
Moleculares

Preposiciones
Atmicas:
Son las proposiciones de forma ms simple
(o ms bsicas).

Ejemplo:
Hoy es Lunes
Las Flores son rojas
El perro tiene colmillos
Maana hay clases
Las Flores son blancas

Preposiciones
Moleculares:
Son un conjunto de dos o ms proposiciones
atmicas con un trmino de enlace.

Trminos de Enlace:
Son
aquellos
trminos
que
enlazan
preposiciones
y
permiten
formar
proposiciones moleculares a partir de las
atmicas.
YEntre ellas tenemos:
Si . , entonces
O

No

Preposiciones
Ejemplo 1:

<<Y>>:

Hoy es Lunes
Maana hay clases

Resultado:
Hoy es Lunes y Maana hay
clases

Ejemplo 2:

<<O>>:

Las flores son

rojas
Las flores son blancas

Resultado:
Las flores son rojas o las flores son blancas
Las flores son (rojas o blancas)
Las flores son rojas o blancas

Preposiciones
Ejemplo 3: <<Si , entonces
>>: Hoy es Lunes
Maana hay clases

Resultado:
Si Hoy es Lunes, entonces Maana hay clases

Ejemplo 4:

<< No >>:

Las flores son

rojas

Resultado:

Las flores No son rojas

Preposiciones
Ejercicios:
Este no es mi da feliz
Ha llegado el invierno y los das son ms
cortos
Muchos grmenes no son bacterias
Los anfibios se encuentran en el agua fresca o se
encuentran en la tierra cerca de sitios hmedos
Si hay fallas en las
grandes masas rocosas,
entonces es posible que ocurran terremotos
Si es un nmero positivo entonces es mayor que
cero
Este chico es mi hermano y yo soy su hermana
Mi puntuacin es alta o recibir una calificacin baja

Preposiciones
La Forma de
Moleculares:

las

Proposiciones

La forma de las proposiciones moleculares

construidas dependen del trmino de enlace
seguido, no del contenido de la proposicin
o proposiciones atmicas.
Es decir, si en una proposicin molecular se
sustituyen las proposiciones atmicas por
otras proposiciones atmicas cualesquiera,
la forma de la proposicin molecular se
conserva.

Preposiciones
Se puede dar cuenta fcilmente de la forma
de la preposicin molecular, no escribiendo
las proposiciones atmicas de que consta y
slo indicando el lugar que ocupan.
Forma de la << Y >>
y
(

y
)

(
)

Preposiciones
Se pueden sustituir los espacios por
cualquier proposicin y la forma es la
misma. (
y (
Ejemplo
:

)
y

)
( Ha llegado el
y
invierno)
( Este chico es mi
y
hermano)
( El pregunta por su pipa) y

(
)
( Los das son ms
cortos)
( yo soy su hermana)
( pregunta por su
escudilla)

Preposiciones
(

Ejemplo
:

O
)

)
(Mi puntuacin es
alta)
( X = 0)
(Esta proposicin es
atmica)
(Luis es un buen
jugador)

(
)

)
( recibir una calificacin baja)

( X = 1)

( es molecular)

(es muy afortunado)

Preposiciones
Si
(

),

Ejemplo
:
Si
(

),
Si ( Mara
canta),

Si ( los deseos fueran

caballos),
Si ( yo
estudio),

Entonces (

Entonces (

Entonces ( es feliz )
Entonces ( los mendigos
cabalgaran)
Entonces ( apruebo la materia)

Preposiciones
La palabra <<No>> en castellano, se
encuentra muy frecuentemente dentro de
las proposiciones atmicas.
Ejemplo
:
La lgica no es difcil

Es una proposicin molecular puesto que

contiene el <<No>>. Es posible escribir ste
trmino de enlace utilizando la frase <<No
ocurre
que>>.
No ocurre que (La lgica sea difcil)
No (La lgica sea
difcil)

Preposiciones
Valor de la Verdad
En la lgica Aristotlica, las proposiciones
pueden ser solamente Verdaderas o
Falsas.
Cada uno de estos valores de la proposicin
lgica se llama Valor de la Verdad de la
proposicin y se representa por:
V de Verdadero
F de Falso

Preposiciones
Ejemplo:
Hoy es Martes (F)

M
D

La flor es roja

(V)

El perro tiene colmillos

(V)

La puerta es negra

(F)

Preposiciones
Simbolizacin de las Preposiciones:
Generalmente se cree que las proposiciones
atmicas son proposiciones cortas, pero
tambin algunas de las proposiciones
atmicas del lenguaje corriente son largas,
resultando por ello pesadas y de difcil
manejo.
En lgica se afronta este problema utilizando
smbolos en lugar de las preposiciones
completas.

Preposiciones
Los smbolos que usaremos en lgica para
representar
proposiciones, son letra
maysculas tales como <<P>>, <<Q>>,
<<R>>, ., entre otras.

De acuerdo a los tipos

de enlaces, podemos
Conjuncin: <<Y>>; se denota <<^>>
tener:
Disjuncin: <<O>>; se denota <<v>>
Negacin: <<No>>; se denota <<>>
Implicacin: <<Si entonces >>; se denota <<>>
Equivalencia: <<Si y slo si >>; se denota << <-> >>

Preposiciones
Ejemplo:
La nieve es
profunda
El tiempo es fro

P
Q

Resultado:
(La nieve es profunda) y (el tiempo es fro)
(

) y(

Conjuncin

Preposiciones
Ejemplo:
Se puede elegir
sopa
Se puede elegir ensalada

R
S

Resultado:
(Se puede elegir sopa) o (se puede elegir
ensalada)
(

) o(

Disjuncin

Preposiciones
Ejemplo:
Usted se da prisa
el pblico es numeroso

L
M

Resultado:
O (usted no se da prisa), o (el pblico no es
numeroso)

L
L

), o

Disjuncin

Preposiciones
Ejemplo:
Usted se da prisa

Usted no se da
prisa

Resultado:

Como no ocurre que (usted se da prisa)

No

No

P
P
P

Negacin

Preposiciones
Ejemplo:
Usted se da prisa
llegar a tiempo

L
M

Resultado:
Si (usted se da prisa), entonces (llegar a tiempo)

Si (
)

), entonces (

Si

, entonces

Implicacin

M
M
M

Preposiciones
Operacin Lgica Binaria:
Si p, q son dos proposiciones, entonces al
combinarlas por medio de un conectivo
lgico se obtiene una nueva proposicin.
Esta combinacin de dos proposiciones para
formar una tercera proposicin se llama
operacin binaria lgica.

Preposiciones
Diagrama de la operacin binaria:
Para representar una operacin lgica
binaria usamos un diagrama, formado por
dos flechas, una por cada proposicin
componente, un crculo en el que se da el
smbolo del conectivo, y una tercera flecha
P proposicin
q
que representa a la
construida.
^

Conjuncin
Binaria

p^q

Preposiciones
P

Negacin
-

Unaria

-p
P

Disjuncin
Binaria

pvq

Preposiciones
La conjuncin y sus valores de la
verdad
Si p, q son dos proposiciones, entonces la

construccin de la proposicin conjuntiva de

p y q, se le llama operacin lgica de la
conjuncin de p y q, o simplemente
conjuncin de p y q.
Esta operacin tambin es conocida en las
aplicaciones por el nombre de multiplicacin
lgica.
El smbolo de la conjuncin, es el conectivo
lgico, ^, que se lee: y.

Preposiciones
Tabla de la Verdad de la
Conjuncin:

Smbolos Lgicos

Smbolos
Digitales
P
Q
P^Q

P^Q

Conjuncin
Binaria

p^q

Preposiciones
Tabla de la Verdad de la
Conjuncin:
P

P^Q

P ^ Q^ R

p^q^r

Conjuncin

Preposiciones
La disjuncin y sus valores de la
verdad
Si p, q son dos proposiciones, entonces la

construccin de la proposicin disjuntiva de

p y q, se le llama operacin lgica de la
disjuncin de p y q, o simplemente
disjuncin de p y q.
Esta operacin tambin es conocida en las
aplicaciones por el nombre de suma lgica.
El smbolo de la conjuncin, es el conectivo
lgico, v, que se lee: o.

Preposiciones
Tabla de la Verdad de la Disjuncin:
Smbolos Lgicos

Smbolos
Digitales
P
Q
PvQ

PvQ

Disjuncin
Binaria

pvq

Preposiciones
Tabla de la Verdad de la Disjuncin:
P

PvQ

P v Qv R

pvqvr

Disjuncin

Preposiciones
La Negacin y sus valores de la
verdad
La negacin es una operacin unaria en el

sentido de que se aplica a una sola

proposicin,
en
contraposicin
a
la
conjuncin y la disjuncin que son
operaciones binarias, aplicada a dos
proposiciones.
Si p es una proposicin, la proposicin no p,
que se denota por: -p, se denomina
negacin
Al
smbolo de
p.
colocado delante del smbolo
p, ledo no, se le denomina smbolo de la
operacin de la negacin, o conectivo de la
negacin.

Preposiciones
Tabla de la Verdad de la negacin:
Smbolos Lgicos

Smbolos
Digitales

-P

-P

Negacin
-

-p

Unaria

Preposiciones
La implicacin
La implicacin es una operacin binaria que
se representa por el smbolo de la flecha
que se lee implica.
Para construir una implicacin se conectan
dos proposiciones p, q, por el smbolo en
la forma: p q, que se lee: p implica q.
Las proposiciones componentes de la
implicacin pueden ser verdaderas o falsas,
iguales o distintas.

Preposiciones
Terminologa de la implicacin
Las proposiciones componentes de la
implicacin
reciben
en
los
textos
matemticos diferentes nombres, que el
estudiante debe conocer por cuanto se usan
indistintamente en los textos matemticos.
Asimismo,
la
implicacin
puede
ser
enunciada con diferentes formas.

Preposiciones
Las
siguientes
tablas
modalidades:
Lectura de la implicacin
Si p entonces Q

recogen
P

estas
q

P implica Q
P es condicin suficiente de Q
Q es condicin necesaria de P
Q solamente si P

Q si P
Q se sigue de P

pq

Q cuando P
Dada P entonces Q
Dada P entonces se sigue Q

Implicacin

Preposiciones
Implicacin, Condicional
Si p, q son dos proposiciones, entonces a la
proposicin denotada por p q, se le llama
implicacin o condicional.

Conectivo Lgico de la Implicacin:

Es el smbolo que se lee por una de las
formas indicadas anteriormente

Preposiciones
Tabla de la Verdad de la
Implicacin:

Smbolos Lgicos
P

Smbolos
Digitales
P
Q
P

P
Q

Implicacin

Binaria
pq

Preposiciones
La equivalencia
Dadas dos proposiciones p, q, se puede
construir una nueva proposicin por medio
de la conjuncin de dos implicaciones,
formadas con las mismas proposiciones, en
la forma siguiente:
(pq)^(qp)
Esta proposicin as formada se llama
equivalencia entre p y q, o tambin
proposicin bicondicional, por estar formada
por dos implicaciones o condicionales.

Preposiciones
Smbolo de la equivalencia
Para representar la equivalencia se usa el
smbolo de la , escrito en la forma
siguiente: , que se lee por p equivale a
q.
Por lo tanto, la equivalencia entre p y q,
escrita con este smbolo, toma la forma
siguiente:
pq=(pq)^(qp)

Preposiciones
Terminologa de la equivalencia:
Lectura de la implicacin
P si y solo si Q

P es condicin necesaria y suficiente

para Q
(P implica Q) y (Q implica P)
P es equivalente a Q

Q es equivalente a P
P si Q, y recprocamente

p q

Q si P, y recprocamente
P es bicondicional con Q
Q es bicondicional conP

Equivalencia

Preposiciones
Tabla de la Verdad de la
Equivalencia:

Smbolos Lgicos
P

P Q

Smbolos
Digitales
P
Q
P
Q

PQ

QP

Equivalencia

Binaria
p q

Sesin de preguntas