Академический Документы
Профессиональный Документы
Культура Документы
Ejemplos:
La luna es cuadrada: p
La nieve es blanca: q
CONECTIVOS LGICOS: Las frmulas atmicas
pueden ser combinadas entre si, para representar tales
combinaciones usaremos los conectivos lgicos :
: y , v: o , : si...entonces , : si y solamente si , ~:
no
Ejemplos:
La luna es cuadrada y la nieve es blanca. : p q
La luna es cuadrada o la nieve es blanca. : p v q
Si la luna es cuadrada entonces la nieve es blanca. :
p q ( p es antecedente y q consecuente)
La luna es cuadrada si y solamente si la nieve es blanca.
:pq
La luna no es cuadrada. : ~p
Cuantificador, es la palabra que indica
cantidad y modifica a un sustantivo que
presenta un conjunto referencial o
universal. Segn el nmero de elementos
que considera del conjunto universal, el
cuantificador puede ser:
Tipo Sm Uso Significado
bolo
Universal, si considera a todos los
elementos del conjunto universal, es
x
U:
Para todo x que
pertenece a U se cumple
decir si todo valor que asume el sujeto p(X) p(x)
cumple lo indicado por la funcin Cualquier x de U,
proposicional. cumple p(x)
p ~p
V F
F V
tabla de verdad de la conjuncin
La conjuncin es verdadera si y solo si p, q son
verdaderos.
p q pq
V V V
V F F
F V F
F F F
tabla de verdad de la disyuncin
La disyuncin es falso si y solo si p y q son
falsos.
p q pvq
V V V
V F V
F V V
F F F
tabla de verdad de la implicacin
La implicacin es falsa si y solo si el
antecedente es verdadero y el consecuente
falso.
p q pq
V V V
V F F
F V V
F F V
tabla de verdad de la bicondicional
La bicondicional es verdadera si y solo si sus
componentes son ambos verdaderos o ambos
falsos.
p q pq
V V V
V F F
F V F
F F V
Tabla de verdad de la disyuncin
exclusiva
Es la negacin de pq se denota por p q y su
tabla est dada por:
p q p q
V V F
V F V
F V V
F F F
Funcin de Sheffer o de
incompatibilidad
Es la negacin de la conjuncin se
denota por pq y su tabla es:
p q p| q
V V F
V F V
F V V
F F V
Funcin de Nicod o de negacin
conjunta
Es la negacin de la disyuncin, se
denota por pq y la distribucin de
valores de verdad est dada por:
p q pq
V V F
V F F
F V F
F F V
Ejercicios
Determinar la distribucin de valores de
cada una de las siguientes funciones
veritacionales:
a. f(p,q) = (p q) (p v ~q)
b.f(p,q,r) = (p v q) ((q v r) (~q r))
c. f(p,q,r) = ((p q) | (qr)) (~p v r)
Tautologa
Es una funcin veritacional cuyos valores
de verdad son todos verdaderos
cualesquiera que sean los valores de
verdad de los argumentos.
Ejemplo:
f(p) = p v ~p
Contradiccin
Es una funcin veritacional cuyos valores
de verdad son todos falsos cualquiera que
sean los valores de verdad de los
argumentos.
Ejemplo:
f(p) = p ~p
Contingencia
Es una funcin veritacional cuyos valores
de verdad son unos verdaderos y otros
falsos.
Ejemplo:
f(p,q) = p q
Funciones veritacionales equivalentes
p f1 f2 f3 f4
V V V F F
F V F V F
f1(p) = p v ~p
f2(p) = p
f3(p) = ~p
f4(p) = p ~p
Funciones de dos variables
V V V V V V V V V V F F F F F F F F
V F V V V V F F F F V V V V F F F F
F V V V F F V V F F V V F F V V F F
F F V F V F V F V F V F V F V F V F
f1(p,q) =U(p,q) f9(p,q) = p|q
f2(p,q) = p v q f10(p,q) = p q
f3(p,q) = q pf11(p,q) = ~q
f4(p,q) = p f12(p,q) = ~(p q)
f5(p,q) = p qf13(p,q) = ~p
f6(p,q) = q f14(p,q) = ~(q p)
f7(p,q) = pq f15(p,q) = ~(p v q)
f8(p,q) = p q f16(p,q) = N(p,q)
Convencin notacional
Orden de procedencia.- Con los conectivos
lgicos ~, , v, , se establece una
relacin de procedencia en lo relativo a su
alcance
El alcance del conectivo es mayor que
el alcance del conectivo ~
Convencin notacional
El alcance del conectivo v es mayor que el
alcance del conectivo
El alcance del conectivo es mayor que
el alcance del conectivo v
El alcance del conectivo es mayor que
el alcance del conectivo v
Los conectivos y tienen el mismo
alcance
Ejemplos
1) ~p q = (~p ) q
2) p ~q r = p ( ~q ) r
3) p q v r = (p q ) v r
4) ~p v q ~r = ( ~p ) v [q ( ~r )]
5) p v q r = (p v q) r
6) p v~q~p r vp = [p v(~q ~p)] (r v p)
7) p q r ambiguedad
Expresin de una funcin
veritacional por medio de otras
1) p q = ~(~p v ~q)
2) p v q = ~(~p ~q)
3) p q = ~p v q
4) p q = ~(p ~q)
5) p q = ~(p ~q)
6) p v q = ~p q
7) p q = ~(p ~q) ~(q ~p)
Ejercicio
Expresar la funcin veritacional:
(p q) v (p v q)
en trminos de la conjuncin y negacin
solucin
Reducibilidad de funciones veritacionales de
ms de dos argumentos
N(f(p,q,r)) = 28 = 256
(p q) r = p (q r)
Teorema de Post
Una funcin veritacional de cualquier
nmero de argumentos puede expresarse
en trminos de la conjuncin con el uso de
la negacin
Prueba
Caso particular: Sea f una funcin
veritacional cuya distribucin de valores
de verdad es la siguiente: VFVVFVVV
Regla
Para transformar una funcin veritacional
de cualquier nmero de argumentos en una
conjuncin haciendo uso de la negacin, se
procede de la siguiente manera:
1. Se determina la distribucin de valores de
verdad de la funcin dada.
2. Se niegan los argumentos correspondientes
a las F al arreglo de valores argumentales
relativo a cada F de la distribucin de
valores de la funcin dada.
3. Se unen mediante el conectivo lgico
los argumentos negados y no negados y
luego la conjuncin as obtenida se niega.
4. Las conjunciones negadas se unen
nuevamente con el conectivo , la funcin
resultante es la pedida
Excepcin una tautologa.
Ejemplo: Haciendo uso de la negacin
expresar la funcin veritacional:
como a) una conjuncin b) una disyuncin