Lógica Proposicional Empleando Las Tic
Lógica Proposicional Empleando Las Tic
Lógica Proposicional Empleando Las Tic
A) CONCEPTOS BSICOS
Proposicin lgica.- Es una sucesin finita de signos (palabras o trminos) a los que se les puede
calificar como verdaderos o como falsos, pero nunca como ambos a valores a la vez
Valor de verdad.- Es la propiedad fundamental de toda proposicin de ser verdadera (V) o de ser falsa
(F).
Ejemplo: Sea la proposicin p = Ibarra es capital de Imbabura. El valor de verdad de p es V
Conectiva lgica.- Llamada tambin conector, es una letra o palabra (y, o, si y solo si, pero,..) que se
emplean para unir a las proposiciones entre s, dndoles adems un sentido o significado lgico.
Ejemplo: Est lloviendo y hace fro
Proposiciones atmicas o simples.- Son aquellas que no tienen conectiva lgica, es decir, estn
construidas por una sola proposicin
Ejemplo: Mathas est observando videos en el celular
Proposiciones compuestas o moleculares.- Son las que tienen por lo menos una conectiva lgica, es
decir son aquellas que estn construidas por 2 o ms proposiciones simples unidas a travs de una
conectiva lgica.
Ejemplo: Emily est tomando avena y est observando videos en el celular
Tablas de verdad.- Llamadas tambin mtodo de las matrices o tablas verificativas, son
procedimientos de decisin para determinar el valor de verdad de una proposicin compuesta o
molecular, la misma que depende de sus proposiciones simples y de los operadores que contenga.
El nmero de valores tabulares que se ubican en la tabla de verdad depende del nmero de variables
proposicionales, este nmero se ilustra en la siguiente tabla:
Nmero de variables 1 2 3 4 n
proposicionales
n
Nmero de valores tabulares 2 4 8 1 2
6
Ejemplos ilustrativos
Como se puede observar si existen n valores tabulares se distribuye n/2 de V y n/2 de F para la primera
variable proposicional, luego la mitad de valores tabulares del anterior para la siguiente variable
proposicional y as hasta n/n de V y n/n de F para la ltima variable proposicional
La tabla de verdad es
p q
V V V
V F F
F F V
F F F
Como el valor de verdad de una proposicin es verdadero o falso se le utiliza para representar circuitos
conmutadores, y la razn estriba en que un circuito slo puede estar en uno de sus estados: circula la
corriente o cerrado, o no circula la corriente o abierto.
La palabra conmutador designa el elemento para impedir el paso de la corriente o deja pasar la
corriente, por ejemplo: el interruptor de la luz. Cuando se prende la luz se ha cerrado el conmutador, lo
que se simboliza por V 1, y cuando se apaga la luz se ha abierto el conmutador, lo que se simboliza
con F o 0.
Se dice que dos conmutadores estn conectados en serie cuando est dispuesto uno a continuacin del
otro, y se relacionan con la proposicin conjuntiva.
Circuitos en serie p q
p q
V V V
V V F
F V V
F F F
Se dice que dos conmutadores estn conectados en paralelo cuando estn dispuestos de tal manera que
basta que uno de ellos est cerrado para que circule la corriente, y se relaciona con la proposicin
disyuntiva. Circuitos en paralelo p q
P q
V F V
V V F
F V V
F F F
p q
V F V
V F F
F F V
F V F
G) NEGACIN.- Es una conectiva especial que no enlaza proposiciones sino que se aplica
directamente sobre ellas modificando su valor de verdad; es decir, si la proposicin es verdadera
entonces su correspondiente negacin ser falsa u viceversa.
5
Desde el punto de vista lgico la negacin acta como un inversor. De manera convencional se emplea
la conectiva lgica No para negar proposiciones simples; y se emplean No es cierto que, No se da
el caso que, No ocurre que, No es posible que, etc. Para negar las proposiciones compuestas, stas
van al comienzo de la proposicin y la afecta su conjunto.
Ejemplo:
La ciudad de Ibarra no es capital de Ecuador
No es cierto que el 7 sea un nmero perfecto
No es verdad que 6 sea un nmero impar
H) CONDICIONAL.- Son verdaderas en todos los casos, excepto cuando el antecedente es verdadero
y el consecuente es falso. Las proposiciones condicionales tienen 2 formas:
a) Forma Lgica (FL).- Son aquellos condicionales que estn lgicamente ordenados y se les reconoce
porque llevan la conectiva compuesta Si.entonces. La proposicin que va entre si y entonces se
denomina antecedente o condicin suficiente, y la proposicin que va despus de entonces se denomina
consecuente o condicin necesaria
Ejemplo:
Si se grada de bachiller, entonces se puede iniciar con los estudios en la universidad (FL)
Antecedente Consecuente
b) Forma Ordinaria (FO). Son aquellas proposiciones condicionales que no estn lgicamente
ordenadas, porque primero tienen el consecuente y luego el antecedente. Las condicionales de forma
ordinaria o indirecta llevan las conectivas Si, Pues, Puesto que, Porque, Dado que, A menos que.
Cada vez que un condicional est escrito en la forma ordinaria necesariamente debe ser traducido a la
correspondiente forma lgica.
Ejemplo:
Santiago puede iniciar con los estudios en la universidad si se grada de bachiller (FO)
Consecuente Antecedente
I) BICONDICIONAL.- Son aquellas proposiciones que llevan la conectiva si y slo si, y solamente
sern verdaderas cuando sus 2 proposiciones componentes tienen igual valor, y falsas en los otros
casos. Estas proposiciones son conmutativas y se interpretan como un doble condicional.
Ejemplo:
El agua se congela si y slo si la temperatura est bajo cero
Si el agua se congela entonces la temperatura est bajo cero
Si la temperatura est bajo cero entonces el agua se congela
Tautolgico o tautologa.- Cuando la cifra tabular tiene todos sus valores verdaderos
Contingente o consistente.- Cuando la cifra tabular tiene por lo menos una verdad y una falsedad
Contradictorio, contradiccin o inconsistente.- Cuando la cifra tabular tiene todos sus valores falsos
Ejemplos ilustrativos
Solucin
No es cierto que voy a ir a la playa y que est engordando
Proposicin Conector
1 Fui a la biblioteca y estaba cerrada a Conjuncin
7
2 La camiseta de Emily o es blanca o es rojo b Disyuncin inclusiva
3 Voy a estudiar Estadstica o Fsica c Disyuncin exclusiva
4 Si aumento la velocidad, entonces llegar en menos tiempo d Negacin
5 El 13 ni es impar ni es dgito e Condicional
6 Un nmero es par si y solo es divisible para 2 f Bicondicional
7 No es cierto que el 8 sea nmero primo g Negacin conjunta
8 Ni voy a estudiar Estadstica o ni voy a estudiar Fsica h Disyuncin negativa
Solucin:
Como se tiene una proposicin simple (p), entonces el nmero de valores tabulares es
n 1
2 =2 =2
p p ( p p ) ( p p ) p
V V F F
F F V F
1 1 2 3
Donde:
Las columnas 1 se obtienen en base al criterio 2n
La columna 2 se obtiene realizando entre las columnas 1
La columna 3 se obtiene realizando entre las columnas 2 y 1
La columna 3 es la respuesta, es este caso segn su cifra tabular es una Contradiccin
( p p) p
V F V F V
F V F F F
1 2 1 3 1
8
Empleando AnalogicA versin 1.5 (disponible en internet) se procede de la siguiente manera
Ingrese al programa
Aparece una ventana para configurar la terminologa. Realice los cambios de terminologa que
considere necesario. Clic en Listo!
9
Escribir ( p p ) p . Clic en Hacer
Solucin
Como se tiene 2 proposiciones simples (p, q), entonces el nmero de valores tabulares es
2n=22=4
Por lo tanto, la tabla elaborada paso a paso (1, 2, 3, 4) es
P Q ( p q ) ( p q ) p
V V V V
V F F F
F V V F
F F V F
1 2 3 4
Donde:
Las columnas 1 y 2 se obtienen en base al criterio 2n
La columna 3 se obtiene realizando entre las columnas 1 y 2
La columna 4 se obtiene realizando entre las columnas 3 y 1
La columna 4 es la respuesta, es este caso segn su cifra tabular es Contingente
( p q) p
V V V V V
V F F F V
F V V F F
F V F F F
1 3 2 4 1
10
Empleando Tablas de verdad 1.0 (software disponible en internet) se procede de la siguiente manera
Ingrese al programa
11
5) Comprobar que [ (q p) r ] (q p) es tautolgico
Solucin:
Elaborando paso a paso la tabla de verdad se tiene
[(q p) r] (q p)
V
V
V
V
F
F
F
F
1
[(q p) r] (q p)
V V
V V
V V
V V
F F
F F
F F
F F
1 1
12
Ubicando los valores tabulares de la primera q
[(q p) r] (q p)
F V V
F V V
V V V
V V V
F F F
F F F
V F F
V F F
2 1 1
[(q p) r] (q p)
F V F V
F V F V
V V V V
V V V V
F F F F
F F F F
V F V F
V F V F
2 1 2 1
[(q p) r] (q p)
F V V F V
F V F F V
V V V V V
V V F V V
F F V F F
F F F F F
V F V V F
V F F V F
2 1 3 2 1
[(q p) r] (q p)
13
F V V V F V
F V V F F V
V V V V V V
V V V F V V
F V F V F F
F V F F F F
V F F V V F
V F F F V F
2 4 1 3 2 1
[(q p) r] (q p )
F V V V V F V
F V V F F F V
V V V F V V V
V V V F F V V
F V F F V F F
F V F F F F F
V F F F V V F
V F F F F V F
2 4 1 5 3 2 1
Realizando entre las columnas 2 y 1
[(q p) r] (q p)
F V V V V F V V
F V V F F F V V
V V V F V V V V
V V V F F V V V
F V F F V F V F
F V F F F F V F
V F F F V V F F
V F F F F V F F
2 4 1 5 3 2 6 1
[(q p) (q
r] p)
F V V V V V F V V
F V V F F V F V V
V V V F V V V V V
V V V F F V V V V
F V F F V V F V F
F V F F F V F V F
V F F F V V V F F
V F F F F V V F F
2 4 1 5 3 7 2 6 1
14
Empleando AnalogicA
Solucin:
a) Si Mathas tiene 8 aos, entonces es un nio y es de Ecuador
r (q p )
V F F F V
F V F F V
V V V V V
F V V V V
V F F F F
F V F F F
V F V F F
F V V F F
3 5 2 4 1
Al observar la cifra tabular (columna 5) se evidencia que existen 3 valores de verdad F, por lo tanto, la
proposicin no es vlida (no es tautologa)
( q p) p r
F V F F F F F V F
5 3 6 1 9 2 8 7 4
Donde:
Las columnas 1, 2, 3, 4 se obtienen de los datos
La columna 5 se obtiene realizando de la columna 3
La columna 6 se obtiene realizando entre las columnas 5 y 1
La columna 7 se obtiene realizando de la columna 4
La columna 8 se obtiene realizando entre las columnas 2 y 7
La columna 9 se obtiene realizando entre las columnas 6 y 8
La columna 9 es la respuesta, es este caso segn su cifra tabular es una Negacin
(p q r
F
1
(p q r
V F F
2 1 3
(p q r
V V V F F
4 2 5 1 3
Si q es V, entonces
( p q r
V V V F F F
4 2 5 6 1 3
16
Por lo tanto p=V ; q=F ; r =F
Solucin:
( p r ) q
[ ( p r ) q ] (r s)
La tabla de verdad es
[( p r) q] r s)
V V V V V V V V V
V V V V V V V V F
V V F V V V F V V
V V F V V V F F F
V V V F F V V V V
V V V F F V V V F
V V F F F V F V V
V V F F F F F F F
F V V V V V V V V
F V V V V V V V F
F F F F V V F V V
F F F F V F F F F
F V V F F V V V V
F V V F F V V V F
F F F F F V F V V
F F F F F F F F F
1 5 3 6 2 8 3 7 4
17
Para elaborar la tabla en Excel se sigue los siguientes pasos:
Digitar el esquema molecular [ ( p r ) q ] (r s) . Para escribir los valores tabulares (V, F), clic en
funcin (fx) para insertar funcin
18
En la Ventana Argumentos de funcin, Clic en Aceptar
19
Ubicarse en la fila 10, clic en funcin (fx) para insertar funcin
Clic en FALSO
20
Repetir el proceso anterior para las columnas de q, r y s
Clic en O (Disyuncin). En valor lgico1, clic en A2. En valor lgico2, clic en C2.
21
Clic en Aceptar
Seleccionar Y (Conjuncin)
22
En la ventana Argumentos de funcin. En valor lgico 1, clic en B2. En valor lgico 2, clic en E2.
Clic en Aceptar
Arrastrar la celda
23
Repetir el proceso anterior para la disyuncin entre las columnas G e I
Repetir el proceso anterior para la disyuncin entre las columnas D y H (Columna 6 y Columna 7)
Empleando AnalogicA
24
Nota: La relacin entre la teora de conjuntos y la lgica proposicional se muestra en la siguiente tabla:
Conjuntos A B A=B A B A B A
c
Proposicione a b a b a b ab a
s
TAREA
Conjuntos P=Q P Q
Proposicione p q p q p
s
25
8) Termine de llenar la siguiente tabla de valor de verdad para las proposiciones compuestas
considerando V = 1 y F = 0.
p q p q
1 1 1
1 0 0
0 1 0
0 0 0
9) Elabore la tabla de verdad para comprobar los siguientes ejercicios en forma manual y con Tablas de
verdad 1.0
10) Elabore la tabla de verdad para comprobar los siguientes ejercicios en forma manual y con
AnalogicA
26
11) Bajo la suposicin de que los valores de verdad de las proposiciones simples p, q, r, y s son
respectivamente F, F, V, V, indique el valor de verdad de ( p q) ( r s )
F
12) Bajo la suposicin de que los valores de verdad de las proposiciones simples a, b, c, y d son
respectivamente F, F, V, V, indique el valor de verdad de (c a) ( b d )
V
13) Escriba los esquemas moleculares de los siguientes circuitos. Realice la tabla de verdad en forma
manual y empleando algn medio tecnolgico.
a) b)
c) d)
e) f)
15) Realice los circuitos conmutadores y la tabla de verdad de los siguientes esquemas moleculares.
Elabore las tablas de verdad en forma manual y con AnalogicA
27
a) ( p q ) (r s)
b) ( p q ) ( r s )
c) [ ( p q) ( r s ) ] p
d) ( p q ) [ ( r s ) p ]
e) {[ ( p r ) q ] [ s p ] } r
f) [ ( p q r ) ( p q r ) ] [ ( p q ) ( r s ) ]
g) { p [ ( q r ) ( r s ) ] } { ( p q ) [ ( q r ) s ] }
h) {[ ( q r ) ( r s ) ] p } { [ p ( p r ) ] [ ( p q ) r ] }
16) Cree y resuelva un ejercicio similar al anterior
28