Академический Документы
Профессиональный Документы
Культура Документы
Smbolo Operacin asociada Significado Se trata de una operacin unitaria, pues a partir
de una proposicin se obtiene otra, que es su
~ negacin.
no p o no es cierto
Negacin que p Ejemplo.
pyq La negacin de
Conjuncin o p: todos los alumnos estudian matemtica es
producto lgico p o q (en sentido ~p: no todos los alumnos estudian matemtica
incluyente) o bien: ~p: no es cierto que todos los alumnos
Disyuncin o suma estudian matemtica
lgica ~p: hay alumnos que no estudian matemtica
Implicacin p implica q, o si p
entonces q 2.-CONJUNCIN
Doble implicacin p si y slo si q Dadas dos proposiciones p y q, se denomina
conjuncin de estas proposiciones a la
proposicin p q (se lee "p y q")
Diferencia simtrica p o q (en sentido
excluyente) Ejemplo.
A partir de proporciones simples es posible Sea la declaracin
generar otras, simples o compuestas. Es decir
que se puede operar con proposiciones, y para i) 5 es un nmero impar y 6 es un nmero par
ello se utilizan ciertos smbolos llamados
conectivos lgicos
p q
vemos que est compuesta de dos proposiciones
OPERACIONES PROPOSICIONALES a las que llamaremos p y q, que son
Definiremos las operaciones entre proposiciones
en el sentido siguiente: dadas dos o ms p: 5 es un nmero impar
proposiciones, de las que se conoce los valores q: 6 es un nmero par
veritativos, se trata de caracterizar la proposicin
resultante a travs de su valor de verdad. A tal y por ser ambas verdaderas, la conjuncin de
efecto, estudiaremos a continuacin el uso y ellas (que no es sino la declaracin i) es
significado de los diferentes conectivos lgicos verdadera.
mencionados arriba:
1.-NEGACIN Tabla de verdad
Dada una proposicin p, se denomina la
negacin de p a otra proposicin denotada por p q p q
~p (se lee "no p") que le asigna el valor veritativo
opuesto al de p. Por ejemplo: V V V
V F F
P : Diego estudia matemtica F V F
~p : Diego no estudia matemtica F F F
Por lo que nos resulta sencillo construir su tabla
de verdad: La tabla que define esta operacin, establece que
la conjuncin es verdadera slo si lo son las dos
proposiciones componentes. En todo otro caso,
es falsa.
DOCENTE: ING. PERCY ALANIA APOLINARIO
LGICA Y FUNCIONES
Ejemplo 2: Si p: 3 es mayor que 7
q : Todo nmero par es mltiplo de dos La implicacin est compuesta de las
Entonces : proposiciones
p q : 3 es mayor que 7 y todo nmero par es
mltiplo de dos p: apruebo
Por ser ambas verdaderas la conjuncin de ellas q: te presto el libro
es verdadera
Nos interesa conocer la verdad o falsedad
3.-DISYUNCIN de la implicacin i), en relacin a la verdad o
falsedad de las proposiciones p y q. El
enunciado puede pensarse como un compromiso,
Dadas dos proposiciones p yq, la disyuncin de condicionado por p, y podemos asociar su verdad
las proposiciones p y q es la proposicin p q , al cumplimiento del compromiso. Es evidente
se lee p o q que si p es F, es decir si no apruebo el examen,
Ejemplo 1. quedo liberado del compromiso y preste o no el
Tiro las cosas viejas o que no me sirven apunte la implicacin es verdadera.
Si p es verdadera, es decir si apruebo el examen,
El sentido de la disyuncin compuesta por p y q y no presto el libro, el compromiso no se cumple
(p: tiro las cosas viejas, q: tiro las cosas que no y la proposicin i) es falsa. Si p y q son
me sirven) es incluyente, pues si tiro algo viejo, y verdaderas, entonces la proposicin i) es
que adems no me sirve, la disyuncin es V. verdadera pues el compromiso se cumple.
La disyuncin o es utilizada en sentido
excluyente, ya que la verdad de la disyuncin se Tabla de verdad
da en el caso de que al menos una de las p q p q
proposiciones sea verdadera
Tabla de verdad
V V V
p q p q V F F
F V V
V V V F F V
V F V
F V V
F F F La tabla nos muestra que la implicacin slo es
falsa si el antecedente es verdadero y el
consecuente es falso.
Ejemplo2
Si p : Hace fri en Invierno , y
q : Napolen invadi Lima 5.-DOBLE IMPLICACIN O BICONDICIONAL
p q : Hace fri en Invierno o Napolen invadi
Lima Doble implicacin de las proposiciones p y q es la
Por ser al menos una de la proposiciones proposicin p q (se lee "p si y slo si q")
verdadera la conjuncin es verdadera
Ejemplo 1:
4.-IMPLICACIN O CONDICIONAL p : Karina ingresa a la universidad
q : Karina estudia mucho
Entonces:
Implicacin de las proposiciones p y q es la
p q : Karina ingresa a la universidad si y
proposicin p q (si p entonces q). La slo si estudia mucho.
proposicin p se llama antecedente, y la Ejemplo 2:
proposicin q se llama consecuente de la Sea i) a = b si y slo si a = b
implicacin o condicional.
Ejemplo. El enunciado est compuesto por las
proposiciones:
Supongamos la implicacin
p: a = b
i)Si apruebo, ENTONCES te presto el libro q: a = b
p q
TAUTOLOGA, CONTRADICCIN Y
La verdad de p q est caracterizada por la CONTINGENCIA
verdad de una y slo una de las proposiciones Al conjunto de proposiciones, conectivos
componentes.
lgicos y smbolos de agrupacin lo
Ejemplo. denominamos frmula lgica. Por ejemplo:
~{ (p q) (s t) }
Sea i) o vamos a Lima o vamos a Ica Tautologa
Si al evaluar una frmula lgica, resulta que
queda claro que slo podremos ir a uno de los todos los valores de verdad resultantes son
dos lugares, y slo a uno. Es decir que el siempre V para cualquier combinacin de sus
enunciado i) es verdadero slo si vamos a una de valores veritativos, decimos que dicha frmula
las dos ciudades. En caso de ir a ambas, o de no es una Tautologa o Ley lgica.
ir a ninguna, el enunciado es Falso.
DOCENTE: ING. PERCY ALANIA APOLINARIO
LGICA Y FUNCIONES
Encontramos que la frmula es siempre falsa, es
Ejemplo. entonces una Contradiccin.
Si analizamos la proposicin t: p ~p realizando Si una proposicin no es una tautologa ni una
su tabla de verdad: contradiccin (es decir que contiene al menos un
valor V y otro F) es una contingencia
p ~p p ~p PRIMERA PRCTICA DE MATEMTICA
4.- Si p y q son proposiciones falsa y verdadera respectivamente , halle el valor de verdad de las
siguientes proposiciones:
a) p V ( p q ) c) p ( p q )
b) ( p V q ) p d) (p V q ) [ p ( p q ) ]
5.- Si p=V , q= V, r= F. Halle el valor de verdad de los siguientes esquemas moleculares:
a) (p q ) ( p V r ) c) p q r e) ( p q ) r
b) r [p ( r V q ) ] d) )[(p q) (q r )] p f) ( p V q ) ( r q )
7.-
a) Si p es verdadera determinar el valor de verdad de ~pq
b)Si p es falsa p vq
c) Si p es falsa , entonces ~p q es
d) Si la proposicin (p ^ q)r es falsa , determina el valor de las proposiciones:
d .1( p r ) q
d .3( p q ) r
d .2( p q ) r
d .4 ( r p ) ( q p )