Professional Documents
Culture Documents
PROFESOR RONALD CHN: Conectivos lgicos y tablas de verdad (Primero Bsico 2017) Conceptos 3
Conectivos lgicos son aquellas palabras que enlazan proposiciones o cambian su valor de verdad. A partir de proposiciones atmicas
es posible generar otras atmicas o moleculares. Es decir que se puede operar con proposiciones, y para ello se utilizan ciertos
smbolos llamados conectivos lgicos, tambin llamados operadores o constantes. A continuacin, vemos una concreta definicin de
cada uno:
Ejemplo
Es conveniente un mismo procedimiento para anotar las combinaciones posibles, de acuerdo con el nmero de proposiciones
atmicas.
Cuando hay solo una proposicin es evidente que no caben ms que dos posibilidades: es verdadera o falsa. As P
tenemos la tabla de alternativa para los valores de una proposicin P. V
F
Cuando se trata de dos proposiciones atmicas por ejemplo P y Q, el procedimiento sera el P Q
siguiente: Elija dos columnas (una proposicin), en la primera de la derecha anote primero una V V V
y luego una F. Contine as, de arriba hacia abajo hasta completar la columna. V F
F V
F F
En cada columna siguiente, los valores se van duplicando; por ejemplo, en el caso de tres proposiciones P, Q y R.
P Q R
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
De manera prctica sealaremos que como haba que anotar 8 valores en la primera columna de izquierda a derecha, ponemos la
mitad, es decir, 4 valores V (uno a continuacin de otro) seguidos de 4 valores F, tambin uno a continuacin del otro. En la segunda
columna, la mitad de 4, es decir, 2 valores de V seguidos de dos valores F hasta completar 8 valores; y finalmente, en la ltima
columna, la mitad de 2, un valor V, un valor F as hasta completar los 8.
ANLISIS DE LAS PROPOSICIONES MOLECULARES BSICAS
Negacin (~, )
Dada una proposicin P, se denomina la negacin de P a otra proposicin denotada por ~P que le asigna el valor de verdad opuesto al
de P.
Ejemplos
P: El perro ladra.
La negacin es una proposicin
~P: El perro no ladra.
cuyo valor es opuesto al de la
P ~P proposicin original.
V F
F V
Las palabras no, no es verdad que, es falso, no es cierto que, es falso que, no ocurre que, no es el caso que, etc., equivales al
conectivo ~.
Conjuncin ()
Dada dos proposiciones P y Q, se denomina conjuncin de estas proposiciones a la proposicin P Q (se lee P y Q). Cuya tabla de
verdad es:
P Q PQ La conjuncin es verdadera solo si
sus proposiciones son verdaderas;
V V V
en otros casos, ser falsa.
V F F
F V F
F F F
Las palabras, pero, sin embargo, adems, no obstante, aunque, a la vez, tambin, etc., equivalen al conectivo .
Ejemplo
Esta proposicin est compuesta de dos proposiciones a las que llamaremos P y Q, que son:
Esta aseveracin es verdadera porque P y Q son verdaderas. Si una de ellas hubiera sido falsa, la proposicin molecular tambin
sera falsa.
Disyuncin (V)
Dadas dos proposiciones P y Q, la disyuncin de las proposiciones P y Q es la proposicin P V Q (Se lee P o Q), cuya tabla de
verdad es:
La disyuncin es falsa solo si sus
P Q PvQ
proposiciones son falsos; en otros
V V V casos, ser verdadera.
V F V
F V V
F F F
Ejemplo
Esta aseveracin es verdadera porque P = V y Q = F. Si ambas hubieran sido falsas, la proposicin molecular tambin sera falsa.
Condicional o Implicacin ()
Son aquellas proposiciones que se relacionan mediante el conectivo lgico Si entonces o sus expresiones equivalentes. Las
palabras porque, puesto que, cuando, si, cada vez, etc., equivales al conectivo . La condicional de las proposiciones P y Q es la
proposicin PQ (si P entonces Q) cuya tabla de valores de verdad es:
Ejemplo
Son aquellas proposiciones que se relacionan mediante el conectivo lgico si y solo si o sus expresiones equivalentes. Las palabras
cuando y solo cuando, entonces y solamente entonces, etc., equivales al conectivo . La Bicondicional de las proposiciones P y Q es
la proposicin PQ (Se lee P si y solo si Q) cuya tabla de valores de verdad es:
18
P: =3 Valor de verdad (V)
6
NOMBRE: _______________________________________________________________________________________________________________
A. Simbolizar las proposiciones siguientes, completamente, utilizando el smbolo lgico correspondiente para los trminos de enlace. Indicar
la proposicin atmica que corresponde a cada letra.
1. Ricardo vive en nuestra calle y Juan en la manzana contigua.
2. Darwin fue bilogo y Newton fsico.
3. El 13 es nmero impar adems es primo.
4. Hace frio o est lloviendo.
5. 10 es par o mltiplo de 2.
6. Si obtengo ms de 60 puntos entonces aprobare el examen.
7. La educacin mejorar cuando, y solo cuando se tenga una sociedad justa.
8. Un ngulo es recto, si y solo si su medida es 90.
9. No es cierto que Jos sea mdico.
10. Si mi gato estornuda entonces llover.
B. A continuacin, aparece una lista de proposiciones. Escriba la negacin de cada una de ellas y califquelas escribiendo dentro de los
parntesis una V o una F.
1. 5 es un nmero par. ( ) ___________________________________________________________________ ( )
2. 2x2x2=6 ( ) ___________________________________________________________________ ( )
3. Es falso que 100 = 102 . ( ) ___________________________________________________________________ ( )
4. La mitad de 78 es 39. ( ) ___________________________________________________________________ ( )
5. 12 + 18 es menor que 29. ( ) ___________________________________________________________________ ( )
6. Enero tiene 30 das. ( ) ___________________________________________________________________ ( )
7. Las ballenas son peces. ( ) ___________________________________________________________________ ( )
8. 5 + 5 x 5 +5 = 100 ( ) ___________________________________________________________________ ( )
9. Los rboles dan oxgeno. ( ) ___________________________________________________________________ ( )
10. El lunes antecede al martes. ( ) ___________________________________________________________________ ( )
C. Halle el valor de verdad de las proposiciones.
1. Si un da tiene 24 horas, entonces una hora tiene 3600 segundos.
2. Si x es igual a dos, entonces x ms uno es igual a tres.
3. Si dos y tres son cinco, entonces tres y dos son cinco.
4. Si la suma do dos nmeros naturales es impar, entonces los dos sumandos son impares.
5. Si 10 es menor que 0, entonces 10 es un nmero negativo.
6. 23 es un nmero primo si y slo si es divisible por s mismo y por la unidad.
7. 43 > 27 si y slo si 43 27 > 0.
8. Si 100 es divisible por 2, entonces 7 es par.
9. 42 7 = 8 si y slo si 72 4 = 23.
10. Si 2 + 2 = 4, entonces 2 x 2 = 4
Problema 1. Cada vez que Sara saca 100 en su examen de mate, llega muy sonriente a su casa. Ayer
Sara lleg muy contenta a su casa. Significa entonces que sac 100 en un examen de mate?
Problema 2. El gato de mi ta SIEMPRE estornuda unas horas antes de que llueva. Si el gato est
estornudando ahorita, significa que va a llover en unas horas?
Problema 3. En el cumpleaos de Batman, Robn decide averiguar cuntos aos tiene su compaero. El
Guasn dice que el Batichucho tiene al menos 45 y el Pingino le dice que tiene al menos 44. Si solo uno
de ellos miente, Cuntos aos tiene Batman?
Problema 5. Un sultn encierra a un prisionero en una celda con dos guardianes, uno que dice siempre
la verdad y otro que siempre miente. La celda tiene dos puertas: la de la libertad y la de la esclavitud. La
puerta que elija el prisionero para salir de la celda decidir su suerte. Puede el prisionero obtener la
libertad de forma segura?