Вы находитесь на странице: 1из 34

INTRODUCCION

El presente trabajo est relacionado al estudio del razonamiento de la Lgica; ya que el


lenguaje simblico que es utilizado en Matemticas es preciso y no da lugar a falsas
interpretaciones.

Aplicaremos las nociones lgicas, construyendo tablas de verdad mediante Windows


Excel y convirtiendo expresiones a las que asignaremos proposiciones atmicas
utilizando los conectivos matemticos para poder probar que los problemas planteados
se ejecuten correctamente.

Se entiende que la lgica se ocupa bsicamente de declaraciones o enunciados que se


caracterizan porque sus afirmaciones tienen un valor de verdad. La lgica trata a las
proposiciones que se pueden definir como enunciados simples, ya sean falsos o
verdaderos. La lgica formal es una ciencia que estudia el y genera un conocimiento y
este conocimiento puede producirse de dos formas, por constatacin, de hechos o ideas
o por deduccin, a partir de un conocimiento se obtiene otro conocimiento.

Tenemos que tener en cuenta que el lenguaje natural es un instrumento de comunicacin


humana, que se caracteriza por su gran flexibilidad y puede estar lleno de redundancias
y ambigedades. Estas caractersticas hacen que la lgica formal no est interesada en el
lenguaje natural. La lgica pretende ser una ciencia rigurosa y universal que permita
realizar clculos exactos. Para ello, la lgica requiere el diseo de un lenguaje artificial
que sea formal, donde lo que importe sea la forma o aspecto externo, y no el significado
de las frases y donde slo los mensajes que cumplan rigurosamente las normas
sintcticas sean aceptados como correctos.

No cabe recalcar que la lgica estudia la deduccin o razonamiento como proceso


mental capaz de generar nuevos elementos de conocimiento a partir de otros.
Finalmente, la lgica es una ciencia, que estudia el razonamiento formalmente vlido,
la principal aportacin que la lgica hace a las ciencias est en la ordenacin,
estructuracin y anlisis de las verdades conocidas.

Al finalizar el proyecto se presentan las conclusiones y recomendaciones respectivas


que resultaron como consecuencia del desarrollo de cada uno de los objetivos
planteados del proyecto.
1

1. IDENTIFICACION DE LA NECESIDAD O EL PROBLEMA

La identificacin de la necesidad o el problema del proyecto, es dar una personalidad


a un plan que implica aproximaciones al entorno y la realidad social a intervenir.
Creemos necesario y de gran importancia el estudio de la lgica matemtica porque es
aplicable a la vida diaria, sin darnos cuenta y siempre estamos poniendo en prctica ya
sea al momento de decidir entre una cosa u otra, cuando condicionamos algo etc.
La lgica permite resolver incluso problemas a los que nunca se ha enfrentado el ser
humano utilizando solamente su inteligencia y apoyndose de algunos conocimientos
acumulados, se pueden obtener nuevos inventos innovaciones a los ya existentes o
simplemente utilizacin de los mismos.

El aplicar un enunciado matemtico a nuestra vida diaria es de mucha importancia, para


justificar nuestras reacciones frente a un problema. Es entonces una comprobacin de
un anlisis matemtico y a la vez ampliar nuestro conocimiento sobre el tema.

El proyecto est orientado a sustentar tericamente la aplicacin de las nociones lgicas


y construir tablas de verdad
ejecutadas con proposiciones para establecer si las
oraciones y ejercicios planteados sern Verdaderos o Falsos.

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

Aplicar las Nociones de Lgica Matemtica en expresiones y convertirlas en


proposiciones construir una tabla mediante Excel aplicando los conectivos lgicos.

2.2 OBJETIVO GENERAL


Conocer y manejar estas proposiciones es el objetivo de este tema. Para ello se definen
dos principales conceptos el de proposicin y el conectivo.

2.3 OBJETIVO ESPECIFICO

Aplicar proposiciones matemticas a la vida cotidiana.

Utilizar el conectivo correcto.

Convertir expresiones en proposiciones.

Aplicar la lgica en Excel.

Demostrar la tautologa, contingencia, y anti tautologa en los ejercicios


planteados.

3. FUNDAMENTOS TEORICOS
3

3.1 NOCIONES DE LOGICA


3.1.1 DEFINICION
Existen 3 clases de lenguaje para poder comunicarnos, el lenguaje Oral; que se
manifiesta verbalmente, el lenguaje Escrito; que es la traduccin del lenguaje Oral
mediante frases impresas y el lenguaje Simblico; que es una traduccin de los
interiores, mediante smbolos apropiados que siguen reglas determinadas.
El lenguaje simblico que es utilizado en matemticas es preciso y no da lugar a falsas
interpretaciones.
Por otra parte, la lgica matemtica se caracteriza por emplear un lenguaje simblico
artificial
y
realizar
una
abstraccin
de
los
contenidos.

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.

3.2.1 TIPOS DE PROPOSICIONES

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:

Una proposicin ser compuesta si no es simple. Es decir, si est afectada por


negaciones o trminos de enlace entre oraciones componentes.

3.3 NOTACIONES Y CONECTIVOS


4

A las proposiciones simples se denominan tambin proposiciones atmicas y se suelen


asignar variables con las letras minsculas (p, q, r, s,. etc.), a los conectivos se suelen
llamar tambin trminos de enlace y estos son:

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:

Luis hoy haces tu tarea y limpias tu cuarto.


Luis hace su tarea

y limpia la sala.

V
no limpia la
y sala.

Luis hace su tarea


V

(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

signo colocado entre las dos proposiciones. La primera proposicin lleva el


nombre de antecedente y la segunda proposicin la de consecuente.

La condicional ser falsa slo cuando el antecedente es verdadero y el consecuente


es falso, en los dems caso ser verdadera.

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:

Expresada por la frase si y solo s, denotada por el signo, significa una


relacin bidireccional en donde ambas proposiciones se necesitan entre s.
La conectiva bicondicional, ser verdadera solamente si y solo si las dos sentencias
que la componen son a la vez verdaderas o si son ambas falsas.

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

Es falso que antes de


No, (p) Su smbolo es: , ~

llama Negacin de p, escribiendo:


posible, se inserta en p la palabra

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.

Se establece el siguiente principio para la negacin lgica: La negacin de un


enunciado verdadero es falsa; la negacin de un enunciado falso es verdadero.

3.4 TABLA DE VERDAD


VARIABLES
CONECTIVOS

CONJUNCION

DISYUNCION
V

CONDICIONAL

BICONDICIONAL

10

3.5 FORMAS PROPOSICIONALES


Con cinco conectivas lgicas bsicas se construyen proposiciones compuestas que
pueden ser tautologas, antitautologias o contingencias.
Si la tabla de verdad de la proposicin es siempre verdadera, independientemente de la
verdad o falsedad de las proposiciones simples, entonces la expresin es tautolgica.
Si la tabla de verdad es siempre falsa, ser una anti tautologa.
Si es verdadera y falsa, la proposicin es una contingencia.

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:
.

3.6 DEFINICIN FORMAL DEL LENGUAJE PROPOSICIONAL


La definicin formal de un lenguaje requiere la especificacin de su alfabeto y de sus
reglas de sintaxis:

Alfabeto: los smbolos que se utilizan son

a. Smbolos de proposiciones: p, q, r, s, t, u, v
b. Smbolos de conectivos: , , , , c.
Smbolos de parntesis: { [ ( ) ] }

Un conectivo pertenece a la proposicin inmediata o al conjunto de


proposiciones encerradas en un parntesis, corchete o llaves.

Para evitar exceso de parntesis, se define una jerarqua de prioridades entre


conectivos:
o Nivel 1 : negacin
o Nivel 2: conjuncin y disyuncin
o Nivel 3: implicacin y bicondicional

12

3.7 CIRCUITOS LOGICOS


Un computador electrnico consta de un conjunto de circuitos elctricos. El paso de la
corriente elctrica por un circuito puede representarse en un proceso lgico; un proceso
lgico consta de proposiciones relacionadas.

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.

3.7.1 CIRCUITOS EN SERIE


Un circuito en serie consta de dos conmutadores que son dispositivos que permiten que
la corriente elctrica pase o no por el circuito. Los conmutadores estn colocados uno a
continuacin de otro y para que la corriente elctrica pase por ambos deben estar
cerrados.

3.7.2 CIRCUITOS EN PARALELO


Un circuito en paralelo consta de 2 conmutadores uno debajo del otro de manera que
basta que uno de los dos est cerrada para que pase corriente por el circuito.

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

Hoy no hace calor.


No llegar tarde.

pyq
p aunque q
p pero q
p sin embargo q
p no obstante q
p a pesar de q

Vamos al cine y a cenar


tambin.

pq
poq

bien p o bien q
Al menos p o q

Vamos al cine o vamos a


cenar.
Me saco un 7 o me saco
un 8.

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

Luis trabaja aunque


estudia de noche.

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

cualquier valor o expresin que se pueda evaluar como Verdadero


o como Falso.
Valor_si_verdadero: Es el valor que se devolver si prueba lgica es Verdadero.
Valor_si_falso: Es el valor que se devolver si prueba lgica es Falsa.
Escriba los argumentos secuencialmente, entre parntesis, separndolos con puntos y
comas y sin espacios en blanco.
En su forma ms simple la funcin =SI( ) prueba el valor de una celda y ejecuta una
accin. Si la prueba es positiva escribe (Verdadero); si es negativa escribe Falso.

Reglas para el uso de las funciones de Excel:


1. Si la funcin va al comienzo de una frmula debe empezar por el signo =.
2. Los argumentos o valores de entrada van siempre entre parntesis.
3. No dejes espacios antes o despus de cada parntesis.
4. Los argumentos pueden ser valores constantes (nmero o texto), frmulas o
funciones.
5. Coloque los argumentos literales (valores que vayan a ser mostrados como texto)
entre comillas. No utilice comillas en los nmeros
6. Los argumentos deben separarse por un punto y coma (;)

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)

1. Click en aceptar y tenemos el resultado de cada comisin que recibir nuestro


personal

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

Donde se introdujo la frmula:

En la celda D3 y luego se la arrastr hasta la fila 6.


Cuando esta frmula se anida con la funcin SI , por ejemplo, deja de ser una
frmula para transformarse en una proposicin lgica y en este caso
podramos poner en la celda D3 la funcin:

y la tabla queda:

20

Que hace que la tabla tenga un aspecto ms claro.


Podemos hacernos una pregunta: quiero saber si 12.000 es menor que el nmero que
esta B3 y mayor que est en C3 es correcto poner la frmula
=B3<12.0000<C3
Pongan esta frmula en D3 y vern que el resultado es 0, Excel no nos dice que est mal
(no da error) pero tampoco da el resultado correcto pues este debera ser "
VERDADERO". El problema est en que esta expresin no es la comparacin entre dos
celdas sino la comparacin de un nmero entre dos celdas, que es diferente; no es una
operacin binaria. Esto no quiere decir (por suerte) que no podamos hacer nada mas con
las frmulas lgicas usando los operadores de la tabla, pero debemos complementarlas
con las funciones Y (), O (), NO (), por ejemplo para la expresin que pusimos ms
arriba debemos usar la funcin para obtener la frmula

Que nos da el resultado correcto "VERDADERO". De esta forma podemos escribir


muchsimas frmulas lgicas, que sern proposiciones lgicas si las anidamos con otras
funciones. (1)

21

22

boliviaimpuestos.com

6000

7600

8500

14000

3 Enrique Villla 98432513

6213211

4 Celia Iturri

5 J uan Carlos Orihuela


6321345

6 Mihel Angel Paredes


1532153

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

Crdito CmputoSaldo afavor deImpuesto

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)

Desde Planilla de Sueldos y Salarios


Planilla AFP0,13

PLANI LLA RC-I VA, Diciembre 2015

Esta planilla resta el 13% de 2 salarios mnimos nacionales, ver Columna 215: ((1656*2)*0.13)=430.56

I NSTRUCCI N: Llenar las casillas dejadas en blanco

APLICACIN DE ORACIONES PARA LAS PROPOSICIONES


Ejemplo 1:
p: Har una fiesta
q: Aprueba lgica
r: Aprueba programacin
s: Se ira de viaje
Si Mara no aprueba lgica y ni programacin entonces no har una fiesta y ni se ira
de viaje
[( q r) ( p s)]
Si Mara aprueba lgica entonces har una fiesta y si aprueba programacin entonces
se ira de viaje.
[(q p) (r s)]
Si mara no aprueba lgica ni programacin entonces no har fiesta y ni se ira de viaje
o si mara aprueba lgica entonces har una fiesta y si aprueba programacin entonces
se ira de viaje.
[( q r) ( p s)] V [(q p) (r s)]
p

[( 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.

(r q) = Si existe fuego entonces hay presencia de oxgeno.


p = Se calienta el agua.
r = Existe fuego.

(p r) = Si se calienta el agua si y solo si existe fuego.


p

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.

los elementos como el agua y el fuego

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

Despus de haber realizado el trabajo podemos concluir dando las siguientes


recomendaciones:
Lo primero de todo, es comprender el problema que nos planteen, asegurarnos de
comprender bien cada una de las partes del planteamiento.
Antes de dar respuestas sin reflexionar sobre ellas, comprobar que cumplen cada una de
las condiciones que se establecen en el problema.
No dar respuestas impulsivamente sino analticamente.

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

Hoy no hace calor.


No llegar tarde.

pyq
p aunque q
p pero q
p sin embargo q
p no obstante q
p a pesar de q

Vamos al cine y a cenar


tambin.

pq
poq

bien p o bien q
Al menos p o q

Vamos al cine o vamos a


cenar.
Me saco un 7 o me saco
un 8.

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

Luis trabaja aunque


estudia de noche.

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 [(q p) (r s)]


p

[( 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

J uan Carlos Orihuela


6321345

Mihel Angel Paredes


1532153

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

41.278,17 19.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

Crdito Cmputo Saldo a favor de Impuesto


Montos de
Dos sueldos
Dbito Fiscal
Fiscal
13% sobre
favor de loslos
CREDITO
Determinado
Sueldos
mnimos no
del periodo
dependiente
dos salarios
dependient
dependie
FISCAL
en el periodo
TOTAL Aporte Nal. Netos
Alcanzado por el
imponibles
(13% de (C13
s (sumatoria
mnimos es del ntes que ((C1001 - USADO
GANADO solidariocomputables
RC IVA?
por
- C26); Si C693
>
de los
nacionales
periodo
se
DEPENDIEN
C202 - C215
(total ganado
dependiente 0)2
formularios por
anterior traslada C228 +
TE
menos AFPs)
110)
dependiente
actualizado
al mesC244); Si > 0)

Desde Planilla de Sueldos y Salarios


Planilla AFP 0,13

PLANI LLA RC-I VA, Diciembre 2015

Esta planilla resta el 13% de 2 salarios mnimos nacionales, ver Columna 215: ((1656*2)*0.13)=430.56

I NSTRUCCI N: Llenar las casillas dejadas en blanco

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

Похожие интересы