Contenido

Contenido...........................................................................................................................1 INTRODUCCION.............................................................................................................2 PROPOSICIONES............................................................................................................3 CLASES DE PROPOSICIONES.....................................................................................4 CONECTIVOS LOGICOS................................................................................................4 TABLA DE VERDAD PARA LAS PROPOSICIONES COMPUESTAS......................5 5.1. LA CONJUCIN ()...............................................................................................5 5.2 LA DISYUNCION ()............................................................................................6 5.3 LA NEGACION.....................................................................................................6 5.4 USO INADECUADO DE LA DOBLE NEGACION............................................7 5.5 EL CONDICIONAL O IMPLICACION................................................................8 5.6. CONDICION NECESARIAS O SUFICIENTES..................................................9 5.7 LA RECPROCA Y LA CONTRARRECPROCA...........................................10 5.8 EL BICONDICIONAL..........................................................................................11 LEYES DEL ALGEBRA DE PROPOSICIONES..........................................................14 6.1 IDEMPOTENCIA .............................................................................................14 6.2. CONMUTATIVA................................................................................................14 6.3. ASOCIATIVA......................................................................................................14 6.4. DISTRIBUTIVA..................................................................................................14 6.5. IDENTIDAD........................................................................................................14 6.6. COMPLEMENTO................................................................................................14 6.7. LEYESE DE MORGAN......................................................................................15 ARGUMENTOS LOGICOS...........................................................................................15 INFERENCIAS LOGICAS.............................................................................................17 EL MODUS PONEN DUS PONENS (MPP).............................................................18 2. MODUS TOLLENDO TOLLENS (MTT)..............................................................19 3. MODUS TOLLENDO PONENS (MTP)...............................................................22 SILOGISMO HIPOTTICO (S H).............................................................................23 LEY DE LA ADICION..............................................................................................24 LEY DEL DILEMA....................................................................................................25 LEY DE LA ADJUNCION.........................................................................................25

LOGICA MATEMATICA
INTRODUCCION La lgica ofrece mtodos que ensean como elaborar proposiciones, evaluar su valor de verdad y determinar si las conclusiones se han deducido correctamente a partir de proposiciones supuestas, llamadas premisas adems, la lgica es una ciencia que se interesa por las relaciones existentes entre las proposiciones con el fin de proporcionar tres caractersticas del razonamiento lgico: conciso, preciso y claro. La claridad y concisin, los estudiantes la consigue en la medida que familiariza con los elementos bsicos de un argumento lgico, tanto en su representacin lgica como en su significado, lo que permite la simplificacin de argumentos lgicos complicados, de esta manera los smbolos permite la concentracin en lo esencial de un contexto.

PROPOSICIONES Es una oracin declarativa que puede tomar el valor de verdadero o falso pero no ambos a la vez. La proposicin es el elemento esencial de la lgica para la matemtica. En efecto, a la proposicin se le puede considerar excepcin lingstica que tiene la propiedad de tomar un solo valor de verdadero o falso, que sirve para la simplificacin de argumentos complicados se crea un lenguaje artificial en donde se establece un conjunto de reglas claras, bien definidas y no se presentan ambigedades ni vaguedades del lenguaje corriente. Es importante tener en cuenta que las proposiciones son oraciones declarativas y tienen una estructura definida as un sujeto bien definido, un predicado y una conjugacin de un verbo. El simple sustantivo o sujeto no configura una proposicin. Las proposiciones se representan simblicamente mediante el uso de letras minsculas del alfabeto tales como p,q,r,s,t,x,y,z. las cuales reciben el nombre de letra o variables proposicionales, de esta manera, el lenguaje proposicional se hace ms simple y exacto que el lenguaje cotidiano. Ejemplos: P: La luna es un satlite natural de la tierra. q. El dos es un nmero primo. r: 4+3 = 7 s: 32 + 42 = 52 t: New York es llamada la capital del mundo Existen enunciados que no son proposiciones, porque no es posible establecer su valor de verdad por ejemplo: p: Qu hora es? q: Millonarios ser el prximo campen! r: Maana llover t : ojal que pase el examen de matemticas w : x+7 = 18

CLASES DE PROPOSICIONES Las proposiciones se pueden clasificar en proposiciones simples y compuestas. Proposiciones simples Son aquellas oraciones que carecen de conectivos lgicos. Ejemplos: P: La lluvia es un fenmeno natural q: 5 es el inverso aditivo de -5 r : Bolivia no tiene costas martimas Proposiciones compuestas Son aquellas proposiciones se forman al combinar proposiciones simples con los conectivos lgicos o trminos de enlaces. Ejemplos p: Estadio q: Apruebo el semestre p

q: si estudio entonces apruebo el semestre

: un tringulo es equiltero t : un tringulo que tiene los tres lados iguales. S t: un tringulo es equiltero si y solo si tiene sus tres lados iguales p: Gloria canta q: Luisa es estudiante. p

Gloria canta y Luisa es estudiante.

CONECTIVOS LOGICOS Son trminos que sirven para enlazar proposiciones simples, estos son: la conjuncin, disyunciones, la negacin el condicional, bicondicional. Conectivo Conjuncin Disyuncin inclusiva Disyuncin excluyente Negacin Condicional Bicondicional Smbolo Lectura y .. No Si,, entonces, Si solo Ejemplo Leidy baila y canta Juan estudia ingeniera Patricia estudia medicina Fabin vive en Neiva .. Bogot 5 no es un nmero par Si trabajo entonces estudiar Si dos ngulos son congruentes si y solo si tienen la misma medida.

__

TABLA DE VERDAD PARA LAS PROPOSICIONES COMPUESTAS

5.1. LA CONJUCIN ( ) Sean p y q dos proposiciones denomina conjuncin. Ejemplo 1: La proposicin compuesta: 5 es un nmero impar y es un entero positivo Esta formada por: p: 5 es un nmero impar q: entero positivo simples. La proposicin compuesta p

se

: Conjuncin
Para determinar la tabla de verdad, para la conjuncin. Analizaremos la siguiente proposicin. p: 8 es un nmero par (v) q: 5 es un nmero primo (v) p

q: verdadero

p: 8 no es un nmero par (f) q: 5 es un nmero primo (v) p

q: falso

p: 8 es un nmero par (v) q: 5 no es un nmero primo (f) p

q: falso

p: 8 no es un nmero par (f) q: 5 no es un nmero primo (f) p

q: falso

Conclusin: La conjuncin es verdadera, cuando las dos proposiciones son verdaderas, en los dems casos es falsa. p v v f f q v f v f p

q
V F F F

5.2 LA DISYUNCION ( ) Sean p y q dos proposiciones simples. La proposicin compuesta p o q, simbolizada por p

q se llama disyuncin.

El operador o se puede usar como o incluyente o como o excluyente . En el primer caso hace que el valor de verdad de una de las proposiciones simple repercuta en el valor verdadero de la proposicin disyuntiva, mientras que el segundo caso (o excluyente) el valor de verdad de una de la proposicin, excluye la veracidad de la otra. La tabla de verdad de la o inclusiva o exclusiva se puede resumir p v v f f q v f v f pvq f v v f

5.3 LA NEGACION Sea p, una proposicin simple, se define la negacin mediante la proposicin compuesta no p, simbolizada por p. Su tabla de verdad se puede resumir as: p V F q F V

Una proposicin simple, se puede negar de varias maneras. Ejemplos Negar las siguientes proposiciones: 1. Sea p: el 7 es un nmero primo Solucin p: no es cierto que el 7 sea un nmero primo p: el 7 es un nmero compuesto

2. Sea que: 72=49

Solucin

 q: No es cierto que 72 = 49 q: 72 49 3. Sea r: todos los peces viven bajo el agua Solucin r: algunos peces no viven bajo el agua 4. Sea s: Algunas plantas son medicinales Solucin s: ninguna planta es medicinal 5.4 USO INADECUADO DE LA DOBLE NEGACION Es frecuente en la vida diaria utilizar la negacin dos o mas veces, hecho que genera, en algunos casos confusiones. En efecto, se presentan ambigedades, cuando se pronuncian frases como estas:

Nunca digas un nunca Yo no miento nunca No estoy dentro

As por ejemplo, en la frase yo no miento nunca, se est utilizando dos veces la negacin: cuando se dice no y cuando se dice un nunca. En matemticas, cuando se usa dos veces la negacin, estas funcionan como los signos negativos, es decir, se eliminan mutuamente. En la frase no es cierto que no fui al cine, lo que est diciendo es que si fui al cine. Cabe advertir, que se debe tener mucho cuidado cuando se utilizan expresiones como doble negacin. EJERCICIO Negar las siguientes proposiciones. 1. Diana es modista 2. 12 es un nmero par 3. estas dos rectas son paralelas

4. todos los hombres son mortales 5. algunos deportistas son ciclistas 6. ningn loro vive en el polo norte Solucin 1. Diana no es modista 2. No es cierto que 12 sea un nmero par 12 es un nmero impar 3. Estas rectas no son paralelas; estas rectas son concurrentes. 4. Algunos hombres son inmortales 5. ningn deportista es ciclista 6. algunos loros no viven en el polo norte 5.5 EL CONDICIONAL O IMPLICACION Se dice que una proposicin compuesta por el condicional, si est formada por dos proposiciones simples entrelazadas por la expresin: si., entonces, La mayora de las proposiciones matemticas o teoremas tienen esta estructura P Hiptesis q conclusin

Antecedente consecuente

Se puede de enunciar de varias formas p entonces q p solo si q que si p p es suficiente para q q es necesaria para p

Analicemos el valor de verdad para el condicional 1. Sean p y q verdaderas

p q Es verdadera

Si se parte de una hiptesis falsa y nuestro razonamiento ha sido correcto nos conduce a una conclusin verdadera, por lo tanto, la implicacin es verdadera. 2. Si p es verdadera y que es falsa:

p q es falsa
Si la hiptesis es verdadera, nos conduce a una conclusin falsa, es porque hemos cometido un error en el razonamiento y finalmente el condicional es falso.

3. Si p es falsa y que es verdadera

Si se parte de una hiptesis falsa y razonando correctamente, podemos llegar a una conclusin verdadera. En caso, el condicional es verdadero. 4. si p y q son falsas

p q es verdadero
Si partimos de una hiptesis falsa y razonando correctamente podemos llegar a una conclusin falsa. Por tanto, el condicional es verdadero.

p V V F F

q V F V F

pq
v F F F

5.6. CONDICION NECESARIAS O SUFICIENTES Analice las siguientes implicaciones: 1. P: Manuel Elkin Patarroyo es tolimense q: Manuel Elkin Patarroyo es colombiano P Q: Manuel Elkin Patarroyo es tolimense entonces es colombiano.

En este caso, basta que Manuel Elkin Patarroyo sea tolimense para ser colombiano.

Es decir P es una condicin suficiente para q. En cambio. Es necesario que Manuel Elkin sea colombiano para ser tolimense; es decir, q es una condicin necesaria para p. 2. P: Existe fuego Q: Hay presencia de oxigeno P Q : Si existe fuego entonces hay presencia de oxigeno.

En este caso, es suficiente que haya fuego para comprobar la presencia de oxigeno: P es suficiente para q. En cambio, es necesario que exista la presencia de oxigeno para que se produzca el fuego: q es necesaria para p. 3. P: El papa sale del cuerpo cardenalicio Que: El cardenal Castrilln puede ser papa P q: Si el papa sale del colegio cardenalicio entonces el cardenal Castrilln puede ser papa. Es decir, que es suficiente ser cardenal para ser papa: p es suficiente para q. En cambio, es necesario ser cardenal para ser papa: q es necesario para p. 5.7 LA RECPROCA Y LA CONTRARRECPROCA A partir de la implicacin o condicional p condicionales condicionales son: q se puede obtener otros dos Estas dos

fundamentales cuando se trabaja los teoremas.

1. La reciproca de p q es q

2. La contra recproca de p q es q p
Ejemplo 1: Si 3 es un nmero impar entonces (3)2 es impar Hallar la reciproca y su valor de verdad Reciproca: si (3)2 es impar, entonces 3 es impar. El valor verdadero de ste condicional q es verdadero y p es verdadero, en el condicional es verdadero. Contra recproca: si (3)2 no es impar, entonces 3 no es impar.

El valor de verdad de este condicional es q es falso y p es falso y el condicional es verdadero. 5.8 EL BICONDICIONAL Se denomina bicondicional a la proposicin formada por dos proposiciones simples p y que conectada con la expresin: si y solo si, simblicamente lo podemos expresar, as: p q Esta proposicin est formada por las implicaciones

p q y q p , las cuales

deben de tener el mismo valor de verdad, para formar la equivalencia entre p y q; en consecuencia se dice que p es equivalente a q y se acostumbra a escribir

p q.
Esta equivalencia entre p y q, tiene ms de una traduccin que significan lo mismo: p si y solo q q si y solo p si p entonces q recprocamente si q entonces p recprocamente TABLAS DE VERDAD PARA EQUIVALENCIA

p
V V F F

q
V F V F

p q
V F F V

CONSTRUCCION DE TABLAS DE VERDAD

En la construccin de tablas de verdad debemos tener los siguientes hechos:

1. Determinar el nmero posibles de combinaciones. Si hay proposiciones, el nmero de combinaciones ser 2 n

2. Se debe procurar respetar el orden de los valores de verdad dentro de la tabla as por ejemplo: Si hay tres proposiciones, el nmero de combinaciones sern 23 = 8 ; por lo tanto para primera proposicin sern 4 verdaderas y 2 falsas; para la segunda proposicin 2 verdaderas y 2 falsas; para la tercera: una verdadera y la otra falsa. 3. Si la ltima casilla o columna son todas verdaderas, se dice que la proposicin es una tautologa. Ejemplos: 1. Construir la tabla de verdad para:

p q ( q p)

p q V V V F F F V F

p
F F V V

q
F V F V

p q
V F V V

pq
V F V V

p q ( p q)
V V V V

2. Construir la tabla de verdad

[ r s] q [ ( s q ) r ]
q V V V V F r V V F F V s V F V F V

q r
F F F F V F F V V F

r s ( r s) q
V F F F V V V V V F

sq
F F F F V

sq r
V V V V F

A B
V V V V V

F F F

V F F

F V F

V V V

F V V

F F F

V V V

F V F

V V V

V V V

3. CONSTRUIR LA TABLA DE VERDAD APROPIADA PARA DEMOSTRAR O REFUTAR

P V V V V V F F F F

q V V F F F V V F F

r V F V V F V F V F

q r q r
F F V V V F F V V F V F F V F V F V V F V V V V F V V

p ( q r)
V F V V V V V V V

pr
F V F F V F F F F

pr q
V F V V V V V V V

A= B
V V V V V V V V V

OBSERVACIONES: En la ltima columna de una tabla de verdad pueden suceder 3 casos: 1. Si todos los valores son VERDADEROS, se dice que la proposicin es TAUTOLOGA. 2. Si todos los valores son FALSOS, se dice que la proposicin es una CONTRADICCION. 3. Si aparecen valores de verdaderos y falsos, se dice que la proposicin es una INDETERMINACION.

LEYES DEL ALGEBRA DE PROPOSICIONES Las siguientes son las leyes de la lgica de proposiciones. 6.1 IDEMPOTENCIA

P P P P P P
6.2. CONMUTATIVA

p q q p p q q p
6.3. ASOCIATIVA

( p q) r ( p q) r

p ( q r) p ( q r)

6.4. DISTRIBUTIVA

( p q) r ( p r ) ( q r ) ( p q) r ( p r ) ( q r )
6.5. IDENTIDAD

p0 p p0 0

p 1 1 p 1 p

6.6. COMPLEMENTO

p p 1

p p 0
0, 0 1 1

( p ) p

6.7. LEYESE DE MORGAN

( p q ) p q ( p q ) p q
Estas leyes son formuladas por pares de debido a la naturaleza dual del Algebra de proposiciones.

ARGUMENTOS LOGICOS Un argumento lgico es un razonamiento que parte de una serie de enunciados llamados premisas se puede llegar a un resultado llamado CONCLUSION. Se dice que el argumento es vlido si se asumen de todas las premisas son verdaderas por lo tanto la conclusin tambin es verdadera. Si un razonamiento no es vlido se dice que es un sofisma o falencia.

EJEMPLOS Verificar la validez de los siguientes argumentos.

p1 : p q 1. p r q 2 q: p r
Para demostrar la validez de un argumento debemos a partir del hecho que tenemos las proposiciones lgica. Los cuatro ejemplos que se dan a continuacin corresponden a preguntas de este tipo. La explicacin de sus respuestas indica la alternativa correcta para cada pregunta y el razonamiento que muestra la falsedad de las dems opciones. DEMOSTRACION

p1 p2 pn y tratar de llegar a la conclusin de la

p1: p2: r q p3: q:

pq
q r p r (recproca de p2) (silogismo de p1 y p3)

1. Demuestre la validez del siguiente argumento P1: p q P2: q V r q: p

Demostracin P1: p q P2: q V r P3: q r (ley de la implicacin) q: p r (ley del silogismo)

2. Demostrar que (p V q) (p V q) q
Demostracin ( q V p) (q V p) ley conmutativa q V (p p) qV O q ley distributiva ley de complemento ley de identidad

Ejemplo 4 Demostrar: (p V q) (q V r) (q V r) Demostracin (p V q) (q V r) (q V r) (p V q) [q V (r r] (p V q) [q V o] (p V q) q (p q) V (q q) premisas ley distributiva ley complemento ley identidad ley distributiva

pq

(P q) V 0 pq Ejemplo 5

ley complemento ley identidad

Demostrar: [(p q r) V (p q r)] Demostracin

pVr

[(p q r) V (p q r)] Ley premisa [(p r q) V (p r q)] Ley conmutativa [(p r) V (q V q)] ley distributiva [(p q ) V 1] Ley complemento [p r] Ley identidad p V r Ley de Morgan

INFERENCIAS LOGICAS Para la definicin de inferencias lgicas es necesario tener la capacidad y precisin de dos conceptos bsicos: razonamiento y demostracin. En primer lugar, razonamiento es el proceso que demostracin. En consecuencia la demostracin es el encadenamiento lgico de proposiciones de tal forma se obtenga una conclusin. En este orden de ideas, las inferencias lgicas son las conclusiones obtenidas despus de realizar un razonamiento. Este razonamiento se considera vlido si cumple los siguientes requisitos: 1. Las premisas iniciales deben ser verdaderas 2. durante el proceso de deduccin las premisas deben cumplir las leyes de la lgica. Ahora bien, las inferencias lgicas tienen una representacin visual de la siguiente manera. se realiza para obtener una

conclusin

Premisa

Entre las inferencias lgicas ms utilizadas en las matemticas estn: EL MODUS PONEN DUS PONENS (MPP) El modo que afirmando afirma, es decir, establece que si una implicacin es cierta y adems si su antecedente es verdadero, entonces, su consecuente necesariamente es verdadero. Simblicamente:

P Q , o,

[ ( p q ) p] q

P
Q
Ejemplos:

1.

P : 1

Lina es una estudiante de Administracin pblica, entonces estudia en la ESAP.

P : Lina es una estudiante de Administracin pblica 2

C : Estudia en la ESAP

Simblicamente Premisa 1: Premisa 2: Conclusin:

P Q

P
Q

2. Premisa 1. Premisa 2. Conclusin.

a + b = c, entonces b + a = c

a+b=c b+a=c

Simblicamente Premisa 1. Premisa 2. Conclusin 3. P : r 1

P Q

P
Q

P2 : r

C :t
4. P : s 1

pq

P2 : S

C:pq
Ejercicios Utilizando el modus ponendus ponens, llegu a la conclusin 1. P : Si hoy es domingo, entonces hay futbol 1

P : Hoy es domingo 2

C : hay futbol
2.

P :Si 1 p2 :

es un nmero par, entonces x 2 es par

es un nmero par es par

C : x2
3.

P : p q s 1 P2 : p

C : qs
4. P 1

:t

P :t 2

C : -S
5.

P1 : Si est nublado, entonces, llueve P : Est nublado 2

C : llueve
2. MODUS TOLLENDO TOLLENS (MTT) Esta regla de interferencia establece que si una implicacin es verdadera y su consecuente es falso, entonces, su antecedente es falso necesariamente es falso.

Simblicamente:

P Q

,o,

[ ( P Q ) Q] P

Q
_________

P
Ejemplos 1.

P : Si 1

a b,

entonces,

a b 0

P2 : a b 0 C : a b
2.

P :Si estudio apruebo el examen 1 P : No aprob el examen 2

C:
3.

No estudi

P : q r 1 P : ( r ) 2

C : q
4.

P : p q r 1 P : 2

C : ( p q ) p q
5. Demostrar c

P : b 1 P : a b 2 P : 3

a c

P : 4 P : 5

a c

(MTT) (MPP)

P y P2 1 p3 y P4

6. Demostrar r

P: 1 P : 2 P : 3 P : 4 P : 5

p q

q p r p
(MTT)

P y P2 1

EJERCICIOS Obtener la conclusin pedida, utilizando las inferencias.

1.

P : Si estoy preparado profesionalmente, entonces triunfar en mis negocios. 1 P : Fracas en los negocios 2

C:
2.

P : S t 1 P : ( t ) 2

C:
3.

P : 1

p q r

P2 : ( r )

C:
4. P : 1

( p q) t

P2 : y
C:

5. Demostrar:

P: xy 1 P2 : y P3 : x w P : 4 P : 5
3. MODUS TOLLENDO PONENS (MTP) Esta regla de inferencia establece que si una disyuncin es verdadera y una de sus proposiciones simples es falsa, entonces, necesariamente la otra proposicin es verdadera simblicamente.

P Q

,o,

P Q

[ ( P Q ) P ] Q [ ( P Q ) Q ] P
Ejemplos

1.

P : La energa interna de un tomo est cuantizada o es continua. 1 P : La energa interna de un tomo no es continua 2

P : 3
2.

P : El Consejo de estado o la Corte Constitucional es el Organismo mximo de 1

Seguridad.

P : El Consejo de Estado no es Organismo Mximo de Control. 2

C:
3.

La Corte Constitucional es el Mximo Organismo de Control.

P : q r 1 P : 2

C : q
4. P 1

: q q

P : ( p ) 2

C:
5.

( s t) r P : ( s t ) 2
P : 1

C:

r
r s

6. Demostrar:

P : q s 1 P : 2

s
P 1 y P2
MTP

P : ( r s ) q 3 p5 : [ ( r s ) ] P3 P :q 4 y P2 MTT

C:

r s

SILOGISMO HIPOTTICO (S H) Este argumento consiste en dos implicaciones de tal manera que la segunda tenga como antecedente el consecuente de la primera, entonces, se puede concluir: el antecedente de la primera con el consecuente de la segunda. Simblicamente

P Q

,o,

[ ( p q) ( q r ) ] ( p )

Q R

PR
Ejemplos

1.

P : Si el agua se congela, entonces, sus molculas forman cristales 1 P : Si las molculas forman cristales, entonces en agua aumenta de volumen 2

C:

Si el agua se congela, entonces, el agua aumenta de volumen

2.

P : Si Colombia es un Estado democrtico, entonces, la oposicin debe tener 1 P : Si la oposicin debe tener garantas, entonces, al presidente no es 2
Permitido atacar impune a los voceros de la oposicin.

garantas

C:

Si Colombia es estado democrtica, entonces, al presidente no es Permitido atacar impune a los voceros de la oposicin.

3.

P : q p 1 P : p r 2

C: q r
4.

P : st r q 1 P : r q p 2

C : s t p
5. Demostrar:

P : 1

P : p q 2 P : q r 3 P : p r 4 P : ( P ) 5 P2 P 1 y P3 por SH y P4 por MTT

C: P
LEY DE LA ADICION Si se tiene una proposicin cualquiera como premisa puedo aadirle otra por medio de la disyuncin. Simblicamente:

P Q

LEY DEL DILEMA Si los antecedentes de Dos implicaciones son los trminos de la disyuncin, entonces los consecuentes de las implicaciones son proposiciones son diferentes, la conclusin est formada por la disyuncin de los consecuentes. Simblicamente:

P Q

P A
Q B

A B
Ejemplo 1:

P : 1 P2 :

r t

r c

P : td 3

C: c d
Ejemplo 2:

P : 1 P : 2 P : 3

pr

r t
p w
t w

C:

Ejemplo 3.

P : El culpable es el jardinero o el lechero 1 P : Si el culpable es el jardinero, entonces, Mara no vio el crimen 2 P : Si el culpable es el lechero, entonces, Jos est comprometido en el crimen 3

C:

Mario no vio el crimen o Jos est comprometido.

LEY DE LA ADJUNCION

Si se tienen dos proposiciones,

como premisa, la conclusin sr las dos

proposiciones unidas con la conjuncin. Simblicamente

P : P 1 P : Q 2

,o,

C:

p q

pq

Ejemplos 1

P :Uribe est legalizando a los paramilitares. 1 P : Colombia est en una encrucijada totalitaria 2

C:

Uribe est legalizando a los paramilitares y Colombia est en una encrucijada

Totalitaria Ejemplo 2

P :S 1 P : 2

t
t

C: s
Ejemplo 3

P : q 1 P : 2

C : q t

CONCLUCIONES Con este presente trabajo logramos hacer un repaso general de todo el primer captulo. Y una manera de practicar todo lo relacionado con la lgica y servirnos de un fundamento para poder empezar los circuitos lgicos. Fortalecer los fundamentos lgicos para los cursos de programacin, sirviendo como una gran base fundamental.