Professional Documents
Culture Documents
Para expresar sus ideas, el hombre ha utilizado fundamentalmente los signos orales y
escritos. El lenguaje corriente a veces se presta a confusiones y a falsas interpretaciones,
este es uno de los problemas que ha tenido el hombre en el estudio de las matemticas y
de las ciencias en general. Por ello, se hace necesario construir un lenguaje claro y
preciso que nos permita llegar a una correcta interpretacin basndonos en la lgica
para tener una buena comunicacin.
2. OBJETIVOS
2.1 OBJETIVO DEL PROYECTO
3. FUNDAMENTOS TEORICOS
3
3.2 PROPOSICION
Una proposicin es una oracin con valor referencial o informativo, de la cual se puede
predicar su veracidad o falsedad, es decir, que puede ser falsa o verdadera pero no
ambas a la vez.
La proposicin es la expresin lingstica del razonamiento, que se caracteriza por ser
verdadera o falsa empricamente, sin ambigedades.
Proposiciones Simples:
Son aquellas que no tienen oraciones componentes afectadas por negaciones (no) o
trminos de enlace como conjunciones (y), disyunciones (o) o implicaciones (si. . .
entonces). Pueden aparecer trminos de enlace en el sujeto o en el predicado, pero no
entre oraciones.
Proposiciones Compuestas:
3.3.1 DISYUNCIN
Se representan dos enunciados separadas por la expresin o basta con que una sea
verdadera para que se cumpla la proposicin (pvq). Su smbolo es: V
La disyuncin es verdadera, si al menos una de las proposiciones componentes es
verdadera, resultando falso nicamente cuando las dos proposiciones son falsas.
Una disyuncin, es verdadera cuando por lo menos una de sus alternativas es
verdadera; solamente ser falsa si las dos lo son.
Ejemplo
Cecilia y Roberto estn en su casa y ocurre un sismo:
Hay dos puertas de escape la A o la B.
A
La puerta A esta
abierta
la B est
O abierta.
V
La puerta A est
cerrada
V
la B est
O abierta.
F
La puerta A esta
abierta
V
la B est
O cerrada.
V
La puerta A esta
cerrada
F
la B est
O cerrada.
(
V
)
(
V
)
(
V
)
(F
)
3.3.2 CONJUNCIN
Es cuando dos proposiciones simples se combinan mediante la expresin y, la
proposicin compuesta resultante se le llama conjuncin (pq). Su smbolo es: .
La regla para establecer los criterios de verdad de la conectiva lgica conjuncin es la
siguiente:
Una conjuncin de enunciados en los cuales todos son verdaderos, es verdadera.
Una conjuncin de enunciados en donde no todos son verdaderos es falsa.
Lo que equivale a decir que basta que uno de sus componentes sea falsa para que
toda la proposicin sea falsa y slo ser verdadera en el caso de que ambos
componentes lo sean.
Ejemplo:
La mam de Luis le dice:
y limpia la sala.
V
no limpia la
y sala.
(F
)
Luis no hace su
tarea
(
V
)
y limpia la sala.
(F
)
Luis no hace su
tarea
no limpia la
y sala.
(F
)
3.3.3 CONDICIONAL
Es aquella proposicin compleja cuya conectiva dominante es el condicional, es decir,
aquella expresin que tiene la forma p q, y que se lee si p, entonces q o bien p
es condicin suficiente de q, donde A es el antecedente y B el consecuente. Su smbolo
es:
Expresada
por
la
frase
entonces,
se
simboliza
mediante
el
Ejemplo:
Daniela le dice a su hijo:
Si estudias entonces ingresars a la Universidad.
entonc
Si estudias es
V
entonc
Si estudias es
V
No
estudias
F
No
estudias
entonc
es
entonc
es
ingresas a la
Universidad.
V
no ingresas a la
Universidad.
F
ingresas a la
Universidad.
V
no ingresas a la
Universidad.
(V
)
(F
)
(V
)
(V
)
3.3.4 BICONDICIONAL
Tambin llamado equivalencia o implicacin doble, es una proposicin de la forma P
si y slo si Q, en la cual tanto P como Q son ambas ciertas o ambas falsas.
Tambin se dice que Q es una condicin necesaria y suficiente para P , (pq). Su
smbolo es:
Ejemplo.
Carla encuentra en su libro lo siguiente:
7 es primo si y solo si tiene dos divisores.
7 es primo
V
7 no es
primo
si y
solo si
V
si y
solo si
tiene 2 divisores.
si y
solo si
V
no tiene 2
divisores
si y
solo si
F
no tiene 2
divisores
F
7 es primo
V
7 no es
primo
F
tiene dos
divisores
(
V
)
(F
)
(F
)
(
V
)
3.3.5 NEGACIN
Si p es una proposicin fundamental, de sta se puede formar otra proposicin, que se le
p, , cuando es
Dada una proposicin simple p, esta puede ser negada y convertirse en otra proposicin
llamada negacin de ~p. Este signo puede ser traducido en palabras, as: no es el caso
que o, es falso que y ms brevemente,
no.
CONJUNCION
DISYUNCION
V
CONDICIONAL
BICONDICIONAL
10
3.5.1 TAUTOLOGA
Una proposicin compuesta es una tautologa si es verdadera para todas las asignaciones
de valores de verdad para sus proposiciones componentes. Dicho de otra forma, su
valor V no depende de los valores de verdad de las proposiciones que la forman, sino de
la forma en que estn establecidas las relaciones sintcticas de unas con otras. Sea el
caso:
.
3.5.2 ANTITAUTOLOGIA
Se entiende por proposicin contradictoria, o contradiccin, aquella proposicin que en
todos los casos posibles de su tabla de verdad su valor siempre es F. Dicho de otra
forma, su valor F no depende de los valores de verdad de las proposiciones que la
forman, sino de la forma en que estn establecidas las relaciones sintcticas de unas con
otras. Sea el caso:
11
3.5.3 CONTINGENCIA
Se entiende por verdad contingente, o verdad de hecho, aquella proposicin que puede
ser verdadera o falsa,(combinacin entre tautologa y antitautoliga) ,segn los
valores de las proposiciones que la integran. Sea el caso:
.
a. Smbolos de proposiciones: p, q, r, s, t, u, v
b. Smbolos de conectivos: , , , , c.
Smbolos de parntesis: { [ ( ) ] }
12
Cada proposicin puede tener solo 2 valores, verdadero y falso un circuito puede tomar
solo 2 valores cerrados o abiertos, por un circuito cerrado si pasa corriente, por uno
abierto no pasa corriente por tanto se puede establecer una equivalencia lgica. Un
circuito abierto equivale a una proposicin Falso y el circuito cerrado equivale a una
proposicin Verdadera.
13
4. RELEVAMIENTO DE LA INFORMACION
Los Conectivos: son los elementos del lenguaje que permiten construir frases nuevas a
partir de las existentes obteniendo nuevos significados.
CONECTIVOS
CONECTIVO
Negacin
SMBOLO
LGICO
EXPRESIN EN
LENGUAJE NATURAL
No p
No ocurre que p
No es cierto que p
Es falso que p
EJEMPLOS
pyq
p aunque q
p pero q
p sin embargo q
p no obstante q
p a pesar de q
pq
poq
bien p o bien q
Al menos p o q
Si saco 8 entonces es mi
aprob el parcial.
Condicional
implicacin
pq
si p entonces q
Slo si q entonces p
p es necesaria para q
Bicondicional
doble implicacin
pq
Conjuncin (y)
Disyuncin (0)
pq
pyq
p es necesario y
suficiente para q.
p si y solo si q
14
Voy de vacaciones si y
solo si apruebo todas
mis materias.
APLICACIN
DE LA
LOGICA
MATEMATICA
CONSTRUYENDO
TABLAS DE VERDAD
EN EXCEL
Y
EN PROPOSICIONES
4.1 APLICACION DE EXPRESIONES
Las proposiciones son asignadas por letras minsculas (p,q,r,s,tetc.), a lo que
convertiremos en proposicin una oracin para aplicar los conectivos y as determinar
el valor de verdad de cada oracin.
Ejemplo 1: aplicar una expresin para p y r , construir una tabla de verdad y
DESARROLLO
DE LA PROPUESTA
determinar si es una tautologa,
antitautologia
o contingencia para la siguiente
conjuncin.
15
(r q) (p r)
5. FUNCIN LGICA SI EN EXCEL
Es una de las funciones ms potentes de Excel, la cual trabaja bajo el entorno:
Verdadero y Falso que decide el contenido de una celda dependiendo de que la prueba
lgica sea cierta o falsa.
Sintaxis
=SI(Prueba_lgica;Valor_si_verdadero;Valor_si_falso)
Argumentos de la funcin:
La
prueba
lgica:
Es
16
Ejemplo:
Calculen las comisiones a pagar a 5 empleados de una determinada empresa en un todo
de acuerdo con el siguiente plan: Cancele una comisin del 10 % a cada vendedor que
venda Bs. 50000 o ms durante el mes; de lo contrario, la comisin a pagar ser solo del
2%.
Aplicaremos a la frmula de la lgica en Excel de la siguiente manera:
Formula Lgica:
=SI (B5>=50000;B5*B11;B12)
17
Para averiguar si se cumple una condicin y devuelve un valor que pueda evaluarse
como Verdadero o Falso las comisiones que sean 50000 aplicaremos en la frmula
de la siguiente manera, aplicando un 10% y 50000.
18
6. HOJAS DE CLCULO
6.1 PLANILLA RC-IVA 2015
En esta planilla de rc-iva 2015, podemos demostrar como ejemplo que podemos
utilizar las proposiciones para realizar las frmulas de una manera que nos permiten
realizar de una manera rpida el llenado de las celdas de nuestra planilla tributaria.
Frmulas de Excel
Las frmulas de Excel son lo que dan un tremendo poder a nuestras hojas de clculo.
Sin las frmulas nuestras hojas de clculo seran como cualquier otro documento creado
en un procesador de palabras. Utilizamos las frmulas de Excel para realizar clculos en
los datos de una hoja y obtener los resultados actualizados cada vez que los datos
cambien.
Qu son las frmulas de Excel?
Una frmula de Excel es un cdigo especial que introducimos en una celda. Ese cdigo
realiza algunos clculos y regresa un resultado que es desplegado en la celda.
Existen millones de variaciones de frmulas porque cada persona crear la frmula que
mejor se adapte a sus necesidades especficas. Pero sin importar la cantidad de frmulas
que vaya a crear, todas debern seguir las mismas reglas en especial la regla que indica
que todas las frmulas deben empezar con un smbolo igual (=).
FORMULAS LOGICAS
Las frmulas lgicas se diferencian de las frmulas, en que estas ltimas devuelven un
resultado numrico, en tanto que las primeras entregan un resultado lgico, es decir:
verdadero o falso. Las ms simples sirven para hacer la comparacin entre el contenido
numrico de dos celdas utilizando los operadores lgicos que se muestran en la
siguiente tabla
19
Estos operadores se llaman binarios ya que la operacin se realiza entre dos operando,
para Excel estos operando son el contenido numrico de dos celdas, por lo tanto
podemos compararlas.
Supongamos que una empresa quiere saber si el balance semanal de un determinado
mes tuvo ganancias o prdidas, para lo que confeccion la siguiente tabla
y la tabla queda:
20
21
22
boliviaimpuestos.com
6000
7600
8500
14000
6213211
4 Celia Iturri
47300
5700
2 Marcela Miranda
9321321
CI
5500
APELLIDOS
NOMBRES Y
1 J aime Asturizaga
651321
0,26
1001
215
228
Saldo a
244
909
202
10
0
3312
3312
3312
3312
3312
4975,53
5237,4
6634,04
7419,65
12210,6
1156,818
533,9945
431,8652
250,302
216,2589
193,5635
41.278,1719.872,00
2.782,80
3312
4800,95
2.583,36
430,56
430,56
430,56
430,56
430,56
430,56
631,56
180,258
214,3011
236,9965
siguiente
831,00
726,258
103,4345
1,3052
VERDADERO
VERDADERO
VERDADERO
FALSO
FALSO
FALSO
Montos de
Dos sueldos
Dbito Fiscal
Fiscal 13% sobre
favor de los
los
CREDITO
Determinado
Sueldos
mnimos no
del periodo
dependiente
dos salarios
dependient
dependie
FISCAL
en el periodo
TOTALAporte Nal.Netos
Alcanzado por el
imponibles
(13% de (C13
s (suma toria
mnimos es del ntes que((C1001 -USADO
GANADO
solidario
computables
RC IVA?
por
- C26); SiC693
>
de los
naciona les
periodo se
DEPENDIEN
C202 - C215
(total ganado
dependiente0)2
formulariospor
anteriortraslada C228 +
TE
menos AFPs)
110) dependiente
a ctualiza do
a l mes
C244); Si > 0)
Esta planilla resta el 13% de 2 salarios mnimos nacionales, ver Columna 215: ((1656*2)*0.13)=430.56
[( q r) ( p
s)]
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
V
V
F
F
F
F
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
V
V
V
V
V
V
F
F
V
V
V
V
V
V
F
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
[(q p) ( r
s)]
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
TAUTOLOGIA
23
V
F
V
V
V
F
V
V
F
F
F
F
V
F
V
V
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
F
V
V
V
F
V
V
V
F
V
V
V
F
V
V
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
Nuestra proposicin es Verdadera, lo que significa que como Mara aprob, har su fiesta y viajara .
Ejemplo 2:
r = Existe fuego.
q = Hay presencia de oxgeno.
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
(r
(p
r)
V
F
F
F
F
V
F
V
V
V
V
V
F
F
F
F
V
F
V
F
F
V
F
V
V
F
V
F
V
F
V
F
q)
V
F
V
F
V
F
V
F
V
V
F
V
V
V
F
V
V
V
F
F
V
V
F
F
CONTINGENCIA
(r q) (p r)
Si existe fuego entonces hay presencia de oxigeno o si se calienta el agua si y solo si
existe fuego.
Existe una contingencia ya que
diferentes.
24
son
8. CIRCUITOS LOGICOS
Ejemplo:
a)
p-q
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
( p
F
F
F
F
V
V
V
V
V
F
V
F
V
F
V
F
F
F
F
F
F
F
F
F
p )
V
V
V
V
F
F
F
F
r
q
F
F
F
F
F
F
F
F
(r
V
F
V
F
V
F
V
F
V
V
V
V
F
V
V
V
F
q)
V
V
F
F
V
V
F
F
ANTITAUTOLOGIA
CIRCUITO ABIERTO
b)
p
p
r
q
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
( p
F
F
F
F
V
V
V
V
V
V
V
V
V
V
V
V
V
p )
V
V
V
V
F
F
F
F
V
V
V
V
V
V
V
V
(r
V
F
V
F
V
F
V
F
V
V
V
V
F
V
V
V
F
q)
V
V
F
F
V
V
F
F
TAUTOLOGIA
CIRCUITO CERRADO
25
CONCLUSIONES
La lgica proposicional es una de las piezas fundamentales de la Inteligencia Artificial,
ya que para realizar los cambios necesarios para la evolucin de esta ciencia, se precisa
de un lenguaje formal para representar los hechos que se reciben del mundo real y el uso
de las proposiciones.
El utilizar proposiciones es una seal que encaja en forma perfecta en este mbito. Es un
modo sencillo y prctico de resolver un problema, considerando que se puede resolver
disgregando el problema en proposiciones u oraciones sencillas que permiten analizar
los hechos y tomar decisiones, es decir, crear nuevas proposiciones u oraciones sencillas
o compuestas que se incorporan a la base de conocimiento, permitiendo el incremento y
mejora de esta.
Este trabajo nos ha permitido profundizar los conocimientos del uso de la lgica para la
resolucin de problemas o la representacin de la realidad a nivel de proposiciones.
26
RECOMENDACIONES
27
BIBLIOGRAFIA
http://es.wikipedia.org/wiki/Representaciconocimiento
http://es.wikipedia.org/ proposicional#Sistemaaxiom.C3.A1tico
http://www.uhu.es/docsproposicioneslogicas
http://www.ampa-stjhuelva.orgproposicional
28
ANEXOS
CONECTIVOS
CONECTIVO
Negacin
SMBOLO
LGICO
EXPRESIN EN
LENGUAJE NATURAL
No p
No ocurre que p
No es cierto que p
Es falso que p
EJEMPLOS
pyq
p aunque q
p pero q
p sin embargo q
p no obstante q
p a pesar de q
pq
poq
bien p o bien q
Al menos p o q
Si saco 8 entonces es mi
aprob el parcial.
Condicional
implicacin
pq
si p entonces q
Slo si q entonces p
p es necesaria para q
Bicondicional
doble implicacin
pq
Conjuncin (y)
Disyuncin (0)
pq
pyq
p es necesario y
suficiente para q.
p si y solo si q
29
Voy de vacaciones si y
solo si apruebo todas
mis materias.
[( q r) ( p
s)]
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
V
V
F
F
F
F
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
V
V
V
V
V
V
F
F
V
V
V
V
V
V
F
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
[(q p) ( r
s)]
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
TAUTOLOGIA
30
V
F
V
V
V
F
V
V
F
F
F
F
V
F
V
V
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
F
V
V
V
F
V
V
V
F
V
V
V
F
V
V
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
31
32
Marcela Miranda
9321321
Enrique Villla
Celia Iturri
6213211
98432513
J aime Asturizaga
651321
CI
APELLIDOS
NOMBRES Y
0,26
1001
202
215
228
244
Saldo a
909
boliviaimpuestos.com
47300
14000
8500
7600
6000
5700
5500
10
0
3312
3312
3312
3312
3312
4975,53
5237,4
6634,04
7419,65
12210,6
1156,818
533,9945
431,8652
250,302
216,2589
193,5635
3312
4800,95
2.583,36
430,56
430,56
430,56
430,56
430,56
430,56
631,56
180,258
214,3011
236,9965
siguiente
831,00
726,258
103,4345
1,3052
VERDADERO
VERDADERO
VERDADERO
FALSO
FALSO
FALSO
Esta planilla resta el 13% de 2 salarios mnimos nacionales, ver Columna 215: ((1656*2)*0.13)=430.56
33
CIRCUITOS LOGICOS
Ejemplo:
a)
p-q
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
( p
F
F
F
F
V
V
V
V
V
F
V
F
V
F
V
F
F
F
F
F
F
F
F
F
p )
V
V
V
V
F
F
F
F
r
q
F
F
F
F
F
F
F
F
(r
V
F
V
F
V
F
V
F
V
V
V
V
F
V
V
V
F
q)
V
V
F
F
V
V
F
F
ANTITAUTOLOGIA
CIRCUITO ABIERTO
b)
p
p
r
q
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
( p
F
F
F
F
V
V
V
V
V
V
V
V
V
V
V
V
V
p )
V
V
V
V
F
F
F
F
V
V
V
V
V
V
V
V
(r
V
F
V
F
V
F
V
F
V
V
V
V
F
V
V
V
F
q)
V
V
F
F
V
V
F
F
TAUTOLOGIA
CIRCUITO CERRADO
34