LOGICA DE SISTEMAS

La lgica investiga la relacin de consecuencia que se da entre una serie

de premisas y la conclusin de un argumento correcto. Se dice que un
argumento es correcto (Vlido) si su conclusin se sigue o es consecuencia
de sus premisas; de otra manera, es incorrecto.

Argumento
Por argumento entendemos un sistema de
enunciados, de un lenguaje determinado. Uno
de esos enunciados es designado como la
conclusin y el resto como las premisas.
enunciado se define como
una expresin lingstica que establece un
pensamiento completo.

Proposicin
Empezaremos por decir que en lgica
proposicional utilizaremos dos valores
asociados llamados valores de verdad, que son
verdadero (V) y falso (F), y en computacin a las
expresiones que se les asocia uno de estos dos
valores se les llama expresiones booleanas.
La lgica de proposiciones tambin se de
denomina lgica de enunciados o lgica de
conectores
Verdad y Validez
La Lgica pretende ser el instrumento con el
cual saber cundo una argumentacin es vlida.
Las personas comnmente suele confundir un
argumento vlido con uno verdadero. Son cosas
distintas, aunque estn relacionadas. As, la
Lgica no pretende ver si una afirmacin es o
no cierta, sino si es o no vlida.

Veamos un ejemplo: si digo la frase: "el sol est

a una temperatura de 0C", evidentemente
estoy diciendo algo que es falso.
No es verdad (si lo fuera, ninguno de nosotros
estara vivo).
Sin embargo, es cierta la frase?: "los
dinosaurios son verdes" No podemos afirmar
nada sobre la certeza de la frase. Por qu?
Pues por la evidente razn de que los
dinosaurios no existen, slo existen en la
imaginacin de las personas. Si en la
imaginacin de todas las personas, los
dinosaurios fueran verdes, entonces aun as
tampoco estara muy claro que la frase fuese
cierta.

Que diferencia existe?.

Clsicamente se define verdad como la
adecuacin de la inteligencia y la realidad.
La validez, tiene que ver con las razonamientos,
Y se dice que un razonamiento es valido, si la
premisa es consecuente de sus conclusiones.
premisa
Una premisa es un razonamiento inicial o previo que sirve de base a un
razonamiento posterior elaborado a partir de ella.
Para que un razonamiento sea correcto, sus premisas tambin deben de
serlo.
En la argumentacin lgica clsica, se distingue premisas mayores y
premisas menores

Cmo identificar la premisa y la conclusin

Al analizar un argumento, hay que determinar qu afirmacin es la

conclusin y cules son las premisas. A veces la conclusin de que el orador
est tratando de persuadirte a aceptar est claramente establecida, pero
otras veces hay que mirar las palabras clave e incluso declaraciones tcitas
de apoyo.

Instrucciones:
1. Encuentra la primera conclusin mediante la bsqueda de la afirmacin
que funciona como el punto principal. Pregntate a ti mismo con qu
pensamiento quiere que te quedes la persona que presenta el
argumento. La conclusin es a menudo la primera o la ltima
declaracin en una discusin, y a veces se repite para enfatizar que es
el punto principal.
Aprende las palabras clave que son susceptibles de ser utilizadas en una
conclusin. Las palabras clave incluyen: "por lo tanto", "por esta razn",
"por tanto", "de manera que", "para", "entonces", "en consecuencia",
"como resultado", y "en consecuencia".

2. Las premisas son razones dadas para apoyar una conclusin, y pueden
ser identificadas por los trminos clave que incluyen: "de acuerdo con",
"teniendo en cuenta", "por", "si", "dado que", "de hecho", "para",
"como", "porque" y "despus de todo". El contexto en el que las palabras
clave se usan determina si son o no son pistas para identificar premisas
y conclusiones

se define como proposicin a una sentencia o enunciado que puede ser

verdadero o falso
Una proposicin o enunciado es una oracin que puede ser falsa o
verdadera, pero no ambas a la vez. La proposicin se considera un elemento
fundamental de la Lgica Matemtica.

Una proposicin se compone de los siguientes factores:

Premisas Se le llama premisa a todas y cada una de las proposiciones
de un razonamiento que dan la consecuencia o conclusin de dicho
razonamiento. Las premisas se definen como expresiones lingsticas que
afirman o niegan algo y pueden ser verdaderas o falsas.
Conclusin La conclusin ser la proposicin final que surge a partir de
las premisas que forman el argumento o enunciado.

Debemos hacer una distincin entre frases y proposicin. La frase es el

conjunto de letras o sonidos, es una forma lingstica en un idioma
determinado que puede ser que exprese una proposicin. La proposicin es
el pensamiento completo que describe algn hecho o aspecto del mundo.

Las frases expresivas pueden ser sinceras o ilegitimas, pero no verdaderas o

falsas.
Las ordenes o recomendaciones tampoco pueden ser verdaderas o falsas,
decimos que son juiciosas o insensatas

Proposiciones Simples y Compuestas

En la lgica se distinguen dos tipos de proposiciones:
Proposiciones Simples o Automticas
Son proposiciones que ya no pueden descomponerse en dos expresiones
que sean proposiciones.
Ejemplo:
La ballena es roja
La raz cuadrada de 16 es 4
Gustavo es alto
Teresa va a la escuela
Marte era el Dios de la guerra
Las Mariposas son mamferos

Proposiciones Compuestas o Moleculares

Es una proposicin formada por dos o ms proposiciones simples o
compuestas.
Son las proposiciones en las que aparecen las partculas gramaticales como:
No, o, y, si. Entonces, si y solo si.

Nota:
Se les llama trminos de enlace o conectivos lgicos a las partculas:
No, o, y, sientonces, si y solo si
Observemos que los conectivos: o, y, sientonces, si y solo si, se usan para
enlazar dos proposiciones, pero el conectivo no acta sobre una sola
proposicin.

Simbolizacin de las Proposiciones

Para facilitar el trabajo con las proposiciones, podemos simbolizar, utilizando
para simbolizar las proposiciones simples, las letras minsculas del alfabeto:
a, b, c , p, q, r, s.
Ejemplo:
Gustavo es alto
Se puede simbolizar con la letra minscula p. p: Gustavo es alto
Por lo que no es necesario leer todo el contenido; basta con hacer referencia
a la letra p para saber que nos estamos refiriendo a la proposicin
Gustavo es alto, en este caso.

Valor de Verdad
Hemos visto que las proposiciones pueden tener uno de dos valores de
verdad; es decir una proposicin es verdadera o falsa. Al representarlo lo
haremos con una letra v minscula seguir de parntesis, donde encerramos
la letra que representa la proposicin, as v().
Por lo que si quisiramos ver los valores de q, estos seran:
v(q) = V = verdadero o v(q) = F = Falso

Tambin podemos utilizar 1 (uno) para el valor de verdad verdadero o 0

(cero) para el valor de verdad falso.
v(q) = 1 o v(q) = 0
Ejemplo:
Proposicin Valor de Verdad
China es un Pas Asitico v(q) = 1
La zoologa estudia las plantas v(q) = 0

Conectivos y Cuantificadores
En la vida cotidiana utilizamos proposiciones compuestas en las que
utilizamos partculas que nos ayudan a entender su significado, estas
partculas son:
Conectivos: Unen proposiciones simples para formar proposiciones
compuestas, estas se simbolizan de la siguiente manera:

Nombre

Conectivo

Simbolizacin

Conjuncin

Disyuncin

Condicional

Si, entonces

=>

Bi-condicional

Si y solo si

Ejemplos
La Tierra es una planeta y gira alrededor del Sol p ^ q
4 es menor que 8 o 6 es mayor que 10 r v s

Conectivos y Cuantificadores
En la vida cotidiana utilizamos proposiciones compuestas en las que
utilizamos partculas que nos ayudan a entender su significado, estas
partculas son:
Cuantificadores: Los cuantificadores indican nmeros y son:

Para Todo
Existe
No Existe

Clasificacin de las Proposiciones

Las proposiciones se dividen segn su contenido en:
Cantidad Por cantidad, esta clasificacin hace referencia a la cantidad
que expresamos en las proposiciones, esta se divide en:
Universales
Una proposicin es universal cuando se refiere a la totalidad de elementos
involucrados en l. Generalmente se utiliza el cuantificador especifico de
todos, pero tambin se suele sustituir por totalmente, sin excepcin,
etc. El cuantificador universal no denota excepcin sino totalidad.

Ejemplo:
1. Los mltiplos del da son la semana, el mes y el ao
2. El litro es una medida de capacidad
3. El tejido es el conjunto de clulas de una misma clase

Particulares
Las proposiciones particulares son las que se refieren nicamente a una
parte del todo, siempre y cuando sea de dos en adelante. No se agota la
totalidad. Seala excepciones.
Ejemplo:
1. Algunos Verbo irregulares
2. Las palabras graves se acentan, excepto algunos adverbios
3. Ciertos animales son herbvoros

Individuales
Son aquellas proposiciones que se refieren a un solo elemento del conjunto
Ejemplo:
1. El Planeta tierra es el cuarto del sistema solar
2. El Faran ms notable fue Ramss II
3. La Sierra Madre cruza el territorio guatemalteco

 Cualidad Esta clasificacin depende de cmo expresamos la

informacin, negativa, afirmativa, o indeterminada, esto le da a la
proposicin un significado especifico, su divisin es la siguiente:
Afirmativas
Cuando las proposiciones o juicios expresan un concepto o conceptos que
pertenece a otro u otros.
Ejemplo:
1. Arco es una porcin cualquiera de la circunferencia
2. Tangente es la recta que solo tiene un punto de contacto con la
circunferencia
3. La dermis contiene las glndulas sudorparas
4. El cobre es metal

Negativas
Cuando las proposiciones expresan que un concepto o conceptos no
pertenece a otro u otros. Existe una separacin total entre los conceptos
enunciados.
Ejemplo:
1. El prisma irregular no es recto
2. Ningn trapezoide tiene sus lados iguales
3. Algunos hidrocarburos no son alcalinos
4. El gerundio no es variable

Indeterminada
Se llaman indeterminadas porque no afirman ni niegan algo especfico, sino
que dejan la relacin de un concepto con otro que pertenece a una esfera
ilimitada de conceptos, no mineral no est sealando especficamente a
que se refiere, nicamente establece la clase de no-minerales, cuyo nmero
es indeterminado o indefinido, pues podemos encontrar all todo, excepto lo
que no es no-mineral (vegetales, animales, seres espirituales, valores, obras
de arte, etc.) . No nos especifican lo que nos quiere decir.

Ejemplo:
1. Algunos cuerpos son no - slidos
2. Los suizos de habla no francesa
3. Algunos vertebrados so no peces
4. Algunos nmeros positivos son no naturales
Modalidad Esta divisin obedece al grado de necesidad que le
queremos dar a la informacin proporcionada en la proposicin a travs de
la relacin entre los conceptos. Sealan diversos grados de necesidad:
desde la posibilidad hasta la necesidad absoluta, esta se divide en:
Problemticos
Dan una informacin cuya negacin o afirmacin es nicamente posible, es
decir que puede ser
Ejemplo:
Los ngulos pueden ser adyacentes La neumona puede causar la muerte
Las hojas pueden ser simples

Asertricos
Describen cosas reales, dan informacin de cmo son los elementos de las
clases que describen.
Ejemplo:
Los animales unicelulares estn formados por una sola clula Augusto puso
fin a la Repblica y empez el Imperio Romano Daltonismo es un defecto
que impide distinguir colores

Apodcticos
Establece una necesidad en la relacin entre los conceptos. No hay
posibilidad sino una necesidad absoluta. Generalmente se usa en las
matemticas.
Ejemplo:
Dos paralelas cortadas por una secante forman ocho ngulos
La circunferencia est dividida en 360 grados
El volumen de la pirmide se halla multiplicando la base por el tercio de la
altura

Relacin Para esta divisin se considera la relacin entre las

proposiciones, dividindose en las siguientes ramas.

 Categricas
Son las proposiciones que enuncian la relacin entre dos conceptos, es decir
entre sujeto y predicado.
Ejemplo:
El hgado es la glndula ms voluminosa del cuerpo
Odoacro dio muerte al ltimo emperador romano, Rmulo Augstulo
Los folculos gstricos segregan el jugo gstrico
Hipotticas
La relacin que se establece es tanto entre conceptos como entre
proposiciones. La relacin es de carcter condicional, donde una proposicin
o concepto condiciona a otra proposicin o concepto.
Ejemplo:
Si un animal es pluricelular, entonces es metazoario
Si un animal est envuelto en un manto o piel mucosa, entonces es molusco
Si un animal tiene cuerpo formado por anillos y respira por la piel, entonces
es gusano
Si las caras son pentgonos, se puede formar solo un Angulo poliedro de
tres caras

Disyuntivas
En estos juicios o proposiciones, la relacin se da entre dos o ms
proposiciones entre si, no de consecuencia sino de oposicin lgica. Es decir
una excluye a la otra. Contiene al mismo tiempo una relacin de comunidad,
en la que juntas completan el conocimiento total.
Ejemplo:
Los animales son unicelulares o pluricelulares
Las pirmides son regulares o irregulares
Los cuerpos mixtos son slidos y pueden ser, ya sea los cilindros o los conos
Los verbos pronominales son, esencialmente pronominales o
accidentalmente pronominales

Lgica Proposicional
La lgica proposicional trata sobre la verdad o la falsedad de las
proposiciones y de cmo la verdad se transmite de unas
proposiciones (premisas) a otras (conclusin).

Slo tienen valor de verdad las proposiciones.

Debemos distinguir dos tipos de proposiciones:
Las proposiciones atmicas y las proposiciones moleculares. Las
proposiciones atmicas son aqullas que no se componen de
otras proposiciones. La proposicin
Todos los hombres son mortales
es una proposicin atmica porque ninguno de sus elementos
componentes es una proposicin.

Las proposiciones moleculares son aqullas que estn

compuestas por proposiciones atmicas. Un ejemplo de
proposicin molecular sera:
Voy a comprar pan y a tomar un caf

Una proposicin molecular ser verdadera o falsa, pero a

diferencia de lo que ocurre con las proposiciones atmicas, su
verdad o falsedad no depende directamente de la realidad, sino
que depende o es funcin de la verdad o falsedad de las
proposiciones atmicas que la componen.

Debemos hacer una distincin entre frase y proposicin. La

frase es el conjunto de letras o sonidos, es una forma lingstica
en un idioma determinado que puede ser que exprese una
proposicin.
La proposicin es el pensamiento completo que describe algn
hecho o aspecto del mundo.
Las frases expresivas pueden ser sinceras o inautnticas, pero no
verdaderas o falsas.
Las ordenes o recomendaciones tampoco pueden ser verdaderas
o falsas, decimos que son juiciosas o insensatas.
Verdad es la propiedad de la unidad que describe adecuadamente al mundo

Simbolizacin de Proposiciones
Para facilitar el trabajo con las proposiciones, podemos
simbolizarlas, utilizando para las proposiciones simples, letras
minsculas del alfabeto: a, b, c, q, r, s,
Ejemplo: el viento sopla muy fuerte
Se puede simbolizar con la letra minscula p.
p : El viento sopla muy fuerte
Por lo que no es necesario leer todo el contenido, basta con hacer
referencia a la letra p para saber que nos estamos refiriendo a
la proposicin El viento sopla muy fuerte.

Tambin podemos simbolizar proposiciones compuestas

utilizando el mismo sistema:
Ejemplo: Colombia est en Amrica o Europa
r: Colombia est en America s: Colombia est en Europa
Cada proposicin atmica que incluye puede simbolizarse con
una letra.
r o s: Colombia est en Amrica o Europa

Operaciones y Conectivas Lgicas

Podemos dividir a las operaciones de la lgica de la siguiente forma

Operaciones de la lgica

Unitarias
Binarias
Se realizan con una proposicin

Se realizan con dosproposiciones y algn

Y la particula NO para obtener una

nueva

Conectivo lgico, para obtener una

Nueva proposicin

proposicion

Negacion

conjuncion
disyuncion inclusiva
disyuncin exclusiva
condicional
bicondicional

Hemos visto que en nuestra vida cotidiana utilizamos

proposiciones compuestas en las que utilizamos partculas que
nos ayudan a entender su significado.
Los conectivos unen proposiciones simples para formar
proposiciones compuestas y se simbolizan de la siguiente
manera:

Cuantificadores
Nos permiten construir proposiciones a partir de funciones
proposicionales ya sea particularizando o generalizando. Estos
indican nmero y son los siguientes:

Ejemplifiquemos esto. Si consideramos la funcin proposicional

P(x) : x es mayor que 0
podemos particularizar esto diciendo: Existe un nmero real que es
mayor que 0, o generalizarlo diciendo
Todos los nmeros reales son mayores que 0

Existe una notacin especifica para la particularizacin y la

generalizacin:
x R | x > 0
que se lee existe un x R tal que x es mayor que 0; mientras que
x R, x > 0
se lee para todo x R se cumple que x es mayor que 0
El smbolo se llama cuantificador universal y el smbolo es el
cuantificador existencial

1. Cuantificador Universal( ) (para todo).

Permite referirse a todos los individuos del universo del discurso.

Si p(x) es una funcin proposicional con extensin A = U, entonces
se tiene que: para cada x U se cumple la condicin p(x). Este
hecho lo simbolizaremos por:
( x U) p(x), o bien x U : p(x)
2. Cuantificador Existencial ( ) (existe).
Permite referirse a algunos de los individuos del universo del
discurso.
Si p(x) es una funcin proposicional con extensin A , entonces
se tiene que existe por lo menos un x U para el cual se cumple
la condicin p(x). Este hecho lo simbolizamos por:
( x U) p(x),o bien x U : p(x)

3. Negacin de proposiciones con cuantificadores

Sea p(x) una funcin proposicional con extensin A, entonces:
( x A) p(x ) ( x A) p(x)
( x A) p(x ) ( x A) p(x)
Ejemplos
1. Sea A ={1, 2, 3, 4, 5}. Determine el valor de verdad de cada uno
de los enunciados siguientes:
a) ( x A)( x + 3 = 10)
b) ( x A)( x + 3 < 10)

RAZONAMIENTOS Y FALACIAS
ENUNCIADO:
Es toda expresin de un lenguaje del cual tiene sentido decir que es
verdadero o falso.
A veces tambin son llamados proposiciones porque describen situaciones,
procesos, hechos, declaraciones o estados de cosas pudindose afirmar
como verdaderas o falsas

EJEMPLOS:

La oracin Considera Ud. que esta hiptesis carece de fundamento?

Esto no es un enunciado, ya que no describe un hecho. Tampoco es una
oracin declarativa, sino que es interrogativa y, en consecuencia no puede
asignrsele un valor veritativo.

INFERENCIA
Es la relacin que se da entre premisas y conclusin y esta representada por
expresiones conclusivas. En algunos casos, las expresiones conclusivas
pueden no aparecer de manera explcita.
RAZONAMIENTO
Es el conjunto de actividades mentales que consiste en la conexin de
ideas de acuerdo a ciertas reglas que darn apoyo o justificarn una idea.
Es un conjunto de enunciados, en donde uno de los cuales (la conclusin) se
infiere del o de los restantes (premisas).

Al razonamiento tambin se le llama Argumento, y es una estructura lgica

formada por una o mas premisas y una conclusin. Si la estructura no posee
conclusin No es un argumento, de igual forma si tenemos conclusin sin
premisas, tampoco es un argumento.
Pero un argumento si puede tener premisas o conclusiones de forma
explicita.

Existen dos formas en las que podemos clasificar los razonamientos segn
su tipo de inferencia:
Deductivo
Es aquel en que concluimos ciertos pensamientos particulares a partir de
otros generales.
Inductivo
A partir de observaciones particulares, se concluyen generales.

RAZONAMIENTO DEDUCTIVO
Todos los poblados costa estn al sur de la capital de Guatemala.
Chiquimulilla es costa. Luego, Chiquimulilla esta al sur de la capital de
Guatemala. La conclusin pareciera tener un carcter forzoso!! Ya que no
puede ser de otra forma,

En estas circunstancias se habla de una relacin de deduccin o de

inferencia deductiva entre premisas y conclusin.
La verdad de las premisas lleva de manera forzosa a la verdad de la
conclusin.

RAZONAMIENTO INDUCTIVO
En este razonamiento, a partir de un numero de observaciones particulares
se concluyen leyes generales.
Este razonamiento generalmente nos hace pensar que lo que concluimos no
es del todo verdadero, pero si hace muy probable la conclusin.
Es decir que: inducimos o aceptamos su generalizacin.
EJEMPLO:
Si vemos una pelcula japonesa y en ella aparecen monstruos, y despus
vemos otra de la misma nacin donde tambin aparecen monstruos,
entonces comentamos: En todas las pelculas japonesas aparecen
monstruos
Lo cual no es valido, ya que solo se tomaron 2 casos particulares.
La conclusin no se prueba, pero se hace mas probable.

RAZONAMIENTO ANALGICO
En este razonamiento, obtenemos conclusiones estableciendo analogas o
comparaciones.
Es el que normalmente utilizamos en nuestras decisiones cotidianas.
La conclusin tiene el mismo grado de particularidad o generalidad que sus
premisas.

EJEMPLO:
Un par de zapatos nuevos nos darn buen resultado porque otros partes de
zapatos comprados anteriormente en la misma tienda eran de buena
calidad

Mtodo de Deduccin
PRUEBA DE VALIDEZ
El razonamiento lgico se aplica en todas las
actividades humanas, en las actividades
cotidianas:

 Cuando defendemos nuestros puntos de vista

Al intentar convencer a alguien de alguna idea
Para esto necesitamos usar los argumentos lgicos
en forma coherente y solo as seremos atendidos

Tcnicas de la tabla de verdad

Para esto debemos utilizar las proposiciones
condicionales, en donde el conjunto de
premisas forman el antecedente y la
conclusin el consecuente.
Si el resultado es tautologa se considera un
razonamiento vlido de lo contrario ser
invalido.

Ejemplo
Si la tierra es un planeta, entonces no posee
luz propia. La tierra es un planeta. Por lo tanto
no posee luz propia.
1. Procedemos a representar la oracin en forma
Simblica

La tierra es un planeta. P
La tierra no posee luz propia .. q
Si la tierra es un planeta, entonces no posee luz
propia P q

 La conclusin se identifica a travs de los

trminos por lo tanto , Por consiguiente.
La conclusin se separa de las premisas a
travs del smbolo que significa Luego o
por lo tanto, En conclusin, En donde

Se estructura la proposicin condicional, cuyo

antecedente es la conjuncin de las premisas
y el consecuente es la conclusin:
(p q) p q
ANTECEDENTE

CONSECUENTE

Conclusin:
Es un razonamiento vlido puesto que la tabla
de verdad resulto ser tautolgica.

Reglas de Reemplazo
Cuando tenemos una premisa que es

equivalente a la conclusin
Por ejemplo
Si 4+3 = 7, entonces 3+4 = 7
En las que las lneas de cierre son dobles
indicando que ambas frmulas son
equivalentes, es decir, pueden sustituirse
directamente una por otra puesto que su
conexin es un bicondicional

LEYES DE MORGAN (DM)

Primera ley
Aplica esta ley para encontrar la negacin de
las proposiciones compuestas que siguen.
Ejemplo
La negacin de Mara vino y Juan se qued
dormido es: Mara no vino o Juan no se qued
dormido.

La negacin de : Mara vino y Juan se qued

(p q)
es: Mara no vino o Juan no se qued dormido.
p V q
(p q)
p V q

Segunda ley
Aplica esta ley para encontrar la negacin de
las proposiciones compuestas que siguen
Ejemplo
La negacin de: Luis llam o Teresa sali es:
Luis no llam y Teresa no sali.

 La negacin de: Luis llam o Teresa sali

(p V q)
es: Luis no llam y Teresa no sali. p q
(p V q)
p q

DOBLE NEGACIN (DN)

p doblemente negada equivale a p
p p
Ejemplo
No ocurre que Ana no es una estudiante,
entonces Ana es una estudiante.

No ocurre que Ana no es una estudiante p

Entonces Ana es estudiante p
p
p
Conmutacin de la disyuncin
Es cambiar el orden de las proposiciones
Ejemplo
Es lunes o martes, luego es martes o lunes

Es lunes o martes p V q
luego es martes o lunes q V p
pVq
qVp

Conmutacin de la conjuncin

 Es cambiar el orden de las proposiciones

Ejemplo
Es el lunes y martes, luego es martes y lunes
Es el lunes y martes A /\ B
luego es martes y lunes B /\ A
A /\ B
B /\ A
Asociativa de la conjuncin AC.
Es agrupar las proposiciones
Ejemplo
Hay clases el lunes, mircoles y viernes,
Entonces hay clases el lunes y mircoles y el
Viernes

Hay clases el lunes, mircoles y viernes,

[A /\ (B /\ C)]
Entonces hay clases el lunes y mircoles y el
viernes [(A /\ B) /\ C]
[A /\ (B /\ C)]
[(A /\ B) /\ C]
Asociativa de la disyuncin AD.
Agrupa a las disyunciones
Ejemplo
Ya sea el lunes o martes o mircoles luego es
lunes o martes o sino el mircoles

Ya sea el lunes o martes o mircoles

[A \/ (B \/ C)]
luego es lunes o martes o sino el mircoles
[(A \/ B) \/ C]
[A \/ (B \/ C)]
[(A \/ B) \/ C]

Distributiva de la conjuncin
El producto de varios nmeros no varia
sustituyendo 2 o ms factores por su
producto.
Ejemplo
a(c+d) = ac+ad

a(c+d) [A /\ (B \/ C)]
= ac+ad [(A /\ B) \/ (A /\ C)]
[A /\ (B \/ C)]
[(A /\ B) \/ (A /\ C)]

Distributiva de la disyuncin
La suma de varios nmeros no varia sustituyendo
varios sumandos por su suma.
Ejemplo
si a tiene 5 aos, b 6 aos y c 8 aos, si sumamos
la edad de a con la suma de la edad de b con c: 5
aos + (6 aos + 8 aos) = 5 +14 =19 aos, el
mismo resultado se obtiene si sumo primero las
edades de a y b, la cual se indica incluyendo estas
cantidades en un ( ) y a esta suma le aadimos la
edad de c.
(5 aos + 6 aos) + 8 aos = 19 aos

si a tiene 5 aos, b 6 aos y c 8 aos, si sumamos la

edad de a con la suma de la edad de b con c: 5 aos +
(6 aos + 8 aos) = 5 +14 =19 aos, [A \/ (B \/ C)]
el mismo resultado se obtiene si sumo primero las
edades de a y b, y luego se suma con la edad de c.
(5 aos + 6 aos) + 8 aos = 19 aos [(A \/ B) \/ C]
[A \/ (B \/ C)]

[(A \/ B) \/ C]

Transposicin
Pasar los datos de un lado a otro lado de la
igualdad
Ejemplo
Si 6 es mltiplo de 3, entonces es divisible
dentro de 3 luego si 7 no es mltiplo de 3
entonces 7 no es divisible dentro de 3

Si 6 es mltiplo de 3, entonces es divisible

dentro de 3 (A B)
luego si 7 no es mltiplo de 3 entonces 7 no es
divisible dentro de 3 (B A)
(A B)
(B A)

Definicin del implicador

afirma que es equivalente afirmar que "si p es
verdad, entonces q tambin debe ser verdad",
y decir que "o p no es verdad, o q debe ser
verdad".
Ejemplo
Una implicacin es verdadera cuando p es
falsa o cuando q es verdadera
AB
A \/ B

Equivalencia 1

 Dice que dos proposiciones son equivalentes

si a implica a b y b implica a a
AB
[(A B) /\ (B A)
Equivalencia 2
Dos proposiciones son equivalentes si la
primera y la segunda son diferentes a la
negacin de la primera y la negacin de la
segunda
AB
[(A /\ B) \/ (A /\ B)
Exportacin
De una conjuncin podemos implicar otra
proposicin
Ejemplo
Estudias y haces las tareas entonces ganaras el
grado luego si estudias entonces haces tus
taras y entonces ganaras el grado
[(A /\ B) C]
[A (B C)]
Identidad
Este principio establece que todo objeto es
idntico a s mismo
Ejemplo
(a + b)2 = a2 +2ab +b2
A
A
Tautologa
Repeticin de un mismo pensamiento a travs
de distintas expresiones
Por ejemplo
Puede confirmar que el acusado es culpable ya

que vi el asesinato con mis propios ojos

A
(A \/ A)