1.Proposiciones 2 .Operaciones Veritativas 3 .

Conectivos lógicos: La negación

Es una oración con valor referencial o Son elementos que sirven de Dada una proposición p, la negación de p, que
informativo, de la cual se puede predicar su enlace entre las proposiciones, se escribe ~p y se lee “nop”, es verdadera cuando
veracidad o falsedad, es decir, que puede ser para formar otra, denominada p es falsa, y viceversa.
falsa o verdadera pero no ambas a la vez. proposición molecular o
compuesta. Cuando una Tabla de la verdad
Ejemplos proposición no contiene
conectivos lógicos diremos que es
 Coro es un municipio de Miranda una proposición atómica o
(falso). simple. P ~P
 Los estudiantes de UFT son V F
aplicados (verdadero). Ejemplos de Proposiciones F V
 El hidrógeno es un gas (verdadero). Compuesta o Molecular
 Algunos estudiantes son Ejemplo
universitarios (verdadero). 18 y 24 son múltiplos de 6.
 Todo estudiante es universitario Si p es la proposición
(falso). El lapicero es de color azul o
negro. P: Barcelona es un estado Oriental.
Los siguientes enunciados no son
proposiciones: Un triangulo es equilátero, si y Entonces su negación se puede expresar de
solo si; sus tres lados tienen la tres formas:
 ¿Qué hora es?; ¡Estudie!; Ojalá que misma medida.
llueva café; ¡Levántate temprano!; ~ p: Es falso que Barcelona es un estado
¿Cómo te llamas? Oriental.
 Notación: Las proposiciones se notarán
con letras minúsculas p, q, r, s, t, ya que Ejemplos de Proposiciones ~ p: No es cierto que Barcelona sea un
las letras mayúsculas las usaremos para Atómicas estado Oriental.
denotar los conjuntos.
-Coro es un municipio de ~ p: Barcelona no es un estado Oriental.
Ejemplos Miranda.
~ p: De ninguna manera Barcelona es un
P: La matemática es una ciencia. -Los estudiantes de UFT son estado Oriental.
aplicados.
q: 2 es un número impar.
-El oxígeno es un gas.
r: mañana es 27 de junio.
-Algunos estudiantes es
indagador.
4 .La conjunción 5 .La disyunción inclusiva 6 .La disyunción exclusiva

Se simboliza ^ y se lee Definición: Sean p y q dos proposiciones. Definición: Sean p y q

"y". Se denota p ^ q y cuyo La disyunción de p y q es dos proposiciones. La
valor lógico está dado con la proposición p v q, que se disyunción exclusiva
la tabla o igualdad lee "p o q", y cuyo valor de p y q es la
siguiente: lógico está dado por la proposición p vq, que
tabla siguiente: se lee "o p o q", y cuyo
Ejemplo valor lógico está dado
VL(pvq)=máximo valor(VL(p),VL(q)). por la tabla. En otras
Si, p: El Negro Primero peleó en Carabobo. palabras, la disyunción
Ejemplo exclusiva es falsa sólo cuando los valores
q: Bolívar murió en Colombia. de p y q son iguales.
Si p: La estatua de la Divina Pastora está
r: Miranda nació en Coro. en Barquisimeto. VL(pv q) = 0 si VL (p) = VL ( q ).

Entonces q: La estatua de Miranda está en Ejemplo

Caracas.
1. p ^ q: El Negro Primero peleó en Si, p: 17 es un número primo.
Carabobo y Bolívar murió en Colombia. r: El Chorro de Milla está en Carabobo.
q: 17 es un número par.
Además, VL(p ^ q) = 1, ya que VL(p)= 1 y Entonces
VL(q)= 1. r: 17 es mayor que 2.
1. p v q: La estatua de la Divina Pastora
2. q ^ r: Bolívar murió en Colombia y está en Barquisimeto o La estatua de Entonces1.p v q: ó 17 es un número primo
Miranda nació en Coro. Miranda está en Caracas. ó 17 es un número par VL(p v q) = 1, ya que

Además, VL(q ^ r) = 0, ya que VL(q)= 1 y VL(pvq)=1, ya que VL(p)=1 y VL(q) = 0. VL(p) = 1 y VL(q) = 0.
VL(r)= 0.
b. q v r: La estatua de Miranda está en
Caracas o El chorro de Milla está en p v r: ó 17 es un número primo ó 17 es
Carabobo. mayor que 2 VL(p Ú r) = 0, ya que VL(p) = 1
y VL(r) = 1
VL(q v r)= 0, ya que VL(q)= 0 y VL(r) = 0.
7 .El condicional 8 .El Bicondicional 9 .Tablas de Verdad de las formas
proposicionales
Sean p y q dos proposiciones. El Se simboliza: “↔”, se lee: “ Si y sólo si” )
condicional con antecedente p y Permiten determinar el valor de verdad de una proposición
p q P q
consecuente q es la Se denota “ p↔q ” y se compuesta y depende de las proposiciones simples y de los
proposición p q, lee: “ p si y sólo si q ”. 1 1 1 operadores que contengan.
que se lee "si p, Las posibilidades de combinar valores de verdad dependen
entonces q", y cuyo Ejemplo Nº 1. 1 0 0 del número de proposiciones dadas.
valor lógico está dado Consideremos las Para una proposición (n = 1), tenemos 21 = 2 combinaciones
por la siguiente tabla: siguientes 0 1 0 Para dos proposiciones (n = 2), tenemos 22 = 4
proposicones: combinaciones
Las proposiciones condicionales 0 0 1 Para tres proposiciones (n = 3), tenemos 2 3 = 8
llevan la conjunción condicional a: 2 + 1 = 3 si y sólo si combinaciones
compuesta “si…entonces…” , o sus 2< 3 Para n proposiciones tenemos 2n
expresiones equivalentes como “si”, b: 2 + 1 = 3 si y sólo si 2 > 3 combinaciones p q r
“siempre que”, “con tal que”, “puesto c: 2 + 1 = 4 si y sólo si 2 > 3 Ejemplo: dado el siguiente V V V
que”, “ya que”, “porque”, “cuando”, d: 2 + 1 = 4 es condición necesaria y esquema molecular, construir su V V F
“de”, “a menos de”, “a no ser que”, suficiente para que 2< 3. tabla de valores de verdad: V F V
“salvo que”, “solo si”, “solamente si”. Pasos para construir la tabla: V F F
Ejemplo Nº 2. Construir la "Tabla de ( p  q)  (p  r) F V V
Ejemplos: Verdad" para las proposiciones dadas: 1. Determinamos sus valores de F V F
3 F F V
verdad 2 = 8 combinaciones
a. Si es joven entonces es rebelde. (p↔ q) ↔ ~ (p ↔ r) 2. Determinamos las F F F
combinaciones:
b. Es herbívoro si se alimenta de Solución 3. Adjuntamos a éste cuadro el esquema molecular y colocamos
plantas. debajo de cada una de la variables sus valores de verdad :
(p ↔ q) ~ (p ↔ r) r
c. De salir el sol iremos a la playa. p q r (p  q)  (p 
1 1 1 0 0 1 1 1 )
1 1 1 1 1 1 0 0 V V V F F V V V F F
Toda proposición condicional consta
1 0 0 0 0 1 1 1 V V F F F V F V V V
de dos elementos: antecedente y
1 0 0 0 1 1 0 0 V F V F F F V V F F
consecuente. La proposición que
0 1 1 0 0 0 1 1 V F F F F F F V V V
sigue a la palabra `si´ se llama
0 1 1 0 0 0 1 0 F V V V V V V F V F
antecedente, y la que sigue a la
0 1 0 0 0 0 1 1 F V F V V V V F V V
palabra `entonces´ se llama
010 00010 F F V V F F F F V F
consecuente.
F F F V F F F F V V
10 .Tautologias y Contradicciones 11 .Leyes del Algebra de
Proposiciones
Proposición Tautológica o Tautología 7. Leyes De Morgan
1. Leyes Idempotentes
Es aquella proposición molecular que es
verdadera (es decir, todos los valores de
verdad que aparecen en su tabla de verdad 2. Leyes Asociativas Ejemplo 1:

son 1) independientemente de los valores a. Probar la primera Ley de De Morgan:  ( P 

de sus variables. q)ºPq
b. Probar la Ley del contrarrecíproco: p q º 
Ejemplo: 3. Leyes Conmutativas q  p
tautología
Solución

Debemos probar que los siguientes

110 bicondiconales son tautologías:
011 4. Leyes Distributivas
a.  ( P  q )   P   q b. (P  q)  (  q 
Contradicción: Es aquella proposición  p)
molecular que siempre es falsa (es decir
cuando los valores de verdad que aparecen 0 1 1 1 1 0 0 0 1 1 1 1 0 0 0
en su tabla de verdad son todos 0) 5. Leyes de Identidad 0 1 1 0 1 0 0 0 1 0 0 1 1 0 0
independientemente de los valores de sus 0 0 1 1 1 1 0 0 0 1 1 1 0 1 1
1 0 0 0 1 1 1 1 0 1 0 1 1 1 1
variables proposicionales que la forman.
Por ejemplo, la proposición molecular del
Ejemplo 2: Probar deductivamente la ley de
exportación ( p  q )  r ) º ( p  (q  r )
de las tablas de verdad.
6. Leyes de Complementación Solución
Ejemplo:
contradicción ( p  q )  r º  ( p  q )  r ( Ley condicional )

negación) º ( p   q)  r ( Ley de De Morgan)

1 0 0 º  p  ( q  r ) ( Ley asociativa )

0 0 1
º  p  (q  r) ( Ley condicional)
12 .Equivalencia e Implicación 13 .Razonamientos 14 .Métodos de Demostración
lógica
Es la aseveración de que una Demostración Directa: En la demostración
Definición: Sean A y B dos formas proposición, llamada conclusión es directa debemos probar una implicación:
proposicionales. Se dice que A Implica consecuencia de otras proposiciones dadas
Lógicamente a B, o simplemente A implica llamadas premisas. qa
a B, y se escribe: partir de la premisa p mediante una
Forma Proposicional de un secuencia de proposiciones en las que se
Razonamiento utilizan axiomas, definiciones, teoremas o
tautología propiedades demostradas previamente.
Un razonamiento con premisas P1, P2,
Ejemplos P3, P4, & .., Pn y conclusión C lo Demostración Indirecta: Dentro de este
escribiremos en forma proposicional como: método veremos dos formas de
Dos implicaciones lógicas muy demostración:
conocidas son las leyes de simplificación y P1
adición, las cuales probaremos a P2 Método del Contrarrecíproco: Otra
continuación. P3
P4
(Ley de Simplificación) Probar que p .
q implica lógicamente a p; o sea, ( p q ) .
p . Esta equivalencia nos proporciona otro
Pn método de demostración, llamado el
(Ley de Adición) Probar que p implica ---- método del contrarrecíproco, según el cual,
lógicamente a p q; o sea, p ( p q ) C para demost

Definición (Proposiciones Equivalentes) Ejemplo1: El siguiente es un

razonamiento: En el siguiente enlace encontrará
Sean A y B dos formas proporsicionales. ejemplos del método del contrarrecíproco,
Diremos que A es Lógicamente Si hoy es domingo, entonces mañana haga clic Aquí
Equivalente a B, o simplemente que A es habrá examen.
equivalente a B, y escribimos Demostración por Reducción al
Si hoy es sábado, entonces mañana no Absurdo: Veamos que la propos
hay examen. es tautológicamente equivalente a la

Hoy es domingo. una proposición cualquiera, para esto

es una tautología. usaremos el útil método de las tablas de
Luego, mañana habrá examen. verdad.
15 .Inferencia 16 .Circuitos Lógicos
1. Modus Ponendo Ponens(MPP)
(p q)  p  q p q Los circuitos lógicos o redes de
p conmutación los podemos identificar con una
---------- forma proposicional. Es decir, dada una forma
q proposicional, podemos asociarle un circuito; o
2. Modus Tollendo Tollens (MTT) dado un circuito podemos asociarle la forma
(p q)   q  p p q proposicional correspondiente. Además,
q usando las leyes del álgebra proposicional
-----------
p
podemos simplificar los circuitos en otros más
sencillos, pero que cumplen la misma función
3. Silogismo Disyuntivo (S.D)
que el original.
(p q)   q p p  q ó p  q
(p q)   p q  q  p En la figura aparecen compuertas de dos
------------ ----------- entradas. Existen compuertas de más
pq entradas disponibles
4. Silogismo Hipotético(S.H) comercialmente en circuitos integrados (chips)
en SSI. En función de la cantidad de
(p q)  (q r)  (p r) p q
compuertas por chip, se
q r
suele clasificar a los CI en escalas de
---------- integración:
p r • SSI, escala de integración pequeña, hasta 10
5. Ley de Simplificación compuertas por CI
pqppqópq • MSI, escala de integración media, de 10 a
100 compuertas por CI
pqqpq
• LSI, escala de integración grande, de 100 a
6. Ley de la Adición 1000 compuertas por CI
p p  q p q • VLSI, escala de integración muy grande, más
---------- ó --------- de 1000 compuertas por CI.
qpqpqpq
7. Ley de Conjunción
( p ) ( q) ( p  q) p
q
---------
pq