Actividades – Lógica Matemática

I- ¿Cuáles de estas frases son proposiciones? ¿Cuál es el valor de verdad de aquellas que
son proposiciones?
a) Barlovento es una maravillosa subregión b) 25 * (-20) = 500
c) Los Teques es la capital del Estado Miranda d) 25 - 75 = -50
e) x - 15 = 50 f) Tu me inspira amor.
g) z + (- z) = 0 h) Todo rectángulo es un cuadrilátero

II- ¿Cuál es la negación de cada uno de estos enunciados?

a) La Tierra es redonda b) No hay polución en Caracas.
c) 200 / 50 = 4 d) El verano de Margarita es cálido y soleado.
e) Barlovento es un subregión f) La √ 81es un número irracional
5 0 8
g) {[(25 + x) ] } = 0 h) Un caimán es un anfibio

III- Sean p y q los enunciados: p: Me inscribí en el PNF Informática, q: No entiendo

Matemática. Expresa cada una de las siguientes fórmulas en lenguaje natural:
a) ¬ p b) p ∧q c) ( ¬ q ) → p d) q ∨ p
e) p ↔ ( ¬ q ) f) ( ¬ p ) ∧q g) ¬q h) p ∧ ( ¬q )

IV- Determina si cada una de estas proposiciones es verdadera o falsa:

a) 3 > 4 y -6 > -5
b) No es cierto que (5 > 8 y 0 > 1)
c) 10 > 5 o no es cierto que (7 < 10) y (3 > 7)
d) 1 + 1 = 0 si, y sólo si, 2 * 3 = 8
e) Es invierno si, y sólo si, no es primavera, verano u otoño.
f) Si, 1 + 1 = 2 entonces, existen los marcianos
h) Si, √ 2 π = 1,41 entonces, el hombre llegó a la luna

V- Escriba los enunciados siguientes usando las variables proposicionales y los conectivos
lógicos según sea el caso.
a) Es necesario asear tu cuarto para ir a la playa
b) Barlovento implica de cara al viento.
c) Una condición suficiente para que la garantía sea válida es que hayas comprado el celular
a un agente autorizado Molvinet
d) Puedes acceder al servidor de correo electrónico si eres estudiante de la Uptbal
e) Si está lloviendo, te compras un paragua, y si te compras un paragua, está lloviendo
f) Para ganar el juego es necesario que asista a los entrenamientos
g) Si estudias matemáticas, entonces aprobará Lógica
h) Si ves televisión, tu mente se empobrecerá, y recíprocamente
i) Estudio Informática o estudio Turismo
j) Petruska va a la playa y al río
k) Pepito, o juega futbol o juega beisbol
l) Mafalda reprobó Algoritmia, entonces repite el Trayecto I
VI- Expresa las siguientes especificaciones del sistema utilizando las proposiciones p: “El
archivo es revisado para buscar algún error”, y q: “El archivo fue grabado desde una memoria
USB”, junto con los conectivos lógicos.

a) “El archivo se revisa para buscar algún error siempre que haya sido grabado desde una
memoria USB”.
b) “El archivo fue grabado desde una memoria USB, pero no se revisó para buscar ningún
error”.
c) “Es necesario revisar el archivo para buscar algún error siempre que haya sido grabado
desde una memoria USB”.
d) “Cuando el archivo no sea grabado desde una memoria USB no se revisa para buscar
ningún error”.

VII- Construye las tablas de verdad para cada una de estas fórmulas y determine si es una
tautología, contradicciones o contingencias:
1. p →(q→ p) 2. ¬( p →(q → p)) 3. ( p∧q)→( p⊗q)

4. p → (¬p ∧ (q ∨ r)) 5. ((p ∨ q) → r) ↔ (¬p ∧ ¬q) 6. s ↔ (p ∨ q)

7. ( p∧q)∨( p∧r) 8. ¬(p→q) →¬q 9. (p ∧ (p → r)) → (q → r)

10. ((¬p ∨ r) → ¬r) → q 11. (p ∧ q) → (r ∧ s) 12. p ∨ (q ∧ r)

13. (p→q) ↔ (q→p) 14. (p→q) → (q→p) 15. (p ⊕ q) → (p ∧ q)

16. (p ∧ r) → ¬(p ∨ s) 17. p → (p ∨ (q ∧ ¬q)) 18. ¬(p ∨ q) ↔ ¬(¬p → q)

 Algebra de Boole y Circuitos Eléctricos.
El sistema axiomático del Algbra de Boole y su aplicación al diseño de circuitos
electrónicos.
Manuel Sotelo A. (1985) afirmó que “ (…) el Algebra de Boole es un instrumento esencial
en el diseño de los computadores al permitir simplificar los circuitos y reducir eficientemente
el hardware de los computadores”. En tal sentido, el álgebra booleana constituye una
herramienta fundamental para el ánalisis y diseño de las computadoras electrónicas
(Richard Johnsonbaugh, 2005).

Sistema axiomático del Algebra de Boole para circuitos (Manuel Sotelo A.).
Terminos primitivos:
* Interruptor: se representa por medio de los simbolos A, B, C, D, …
* Estdos del interruptor: representados por los símbolos 0 (interruptor abierto) y 1
(interruptor cerrado)
* Relación de igualdad: se representa por el símbolo = y sirve para determinar si dos
interruptores tienen el mismo estado.

Operaciones binaria entre interruptores en serie:

* Circuito en serie

Operaciones binaria entre interruptores en paralelo:

* Circuito em paralelo

Operación unaria de un interruptor denominada complementación y se representa por el

símbolo ’

Sistema axiomático del Algebra de Boole para circuitos combitatorios (Richard

Johnsonbaugh).
Los circuitos combinatorios se pueden construir usando dispositivos de estado sólido,
llamados compuertas, que son capaces de cambiar los niveles de voltaje (bits).
Por otra parte, la tabla lógica de un circuito combinatorio lista todas las entradas
posibles junto con las salidas producidas.

* compuerta AND * compuerta OR

tabla lógica tabla lógica

* compuerta NOT

tabla lógica
 Leyes del Algebra de Boole.
Un álgebra booleana B consiste en un conjunto S que contiene elementos distintos 0
y 1, operadores binarios + y · en S, y un operador unitario ’ en S que satisface las siguientes
leyes.
a) Leyes asociativas:
(x + y) + z = x + ( y + z)
(x · y) · z = x · ( y · z) para todo x, y, z ∈ S.

b) Leyes conmutativas:
x + y = y + x, x·y=y·x para todo x, y ∈ S.

c) Leyes distributivas:
x · ( y + z) = (x · y) + (x · z)
x + ( y · z) = (x + y) · (x + z) para todo x, y, z ∈ S.

d) Leyes de identidad:
x + 0 = x, x·1=x para todo x ∈ S.

e) Leyes de complementos:
x + x’ = 1, x · x’ = 0 para todo x ∈ S.

Si B es un álgebra booleana, se escribe B = (S, +, ·, ’ , 0, 1).

Sea B = (S, +, ·, ’ , 0, 1) un álgebra booleana. Las siguientes propiedades se cumplen:

a) Leyes de idempotencia:
x + x = x, x·x=x para todo x ∈ S.

b) Leyes de acotación:
x + 1 = 1, x·0=0 para todo x ∈ S.

d) Leyes de involución:
(x ’ ) ’ = x para todo x ∈ S.

e) Leyes de 0 y 1:
0 ’ = 1, 1 ’ = 0.

f) Leyes de De Morgan para álgebras booleanas:

(x + y) ’ = x ’ · y ’ , (x · y) ’ = x ’ + y ’ para todo x, y ∈ S.

 Encuentre el circuito combinatorio correspondiente a cada expresión booleana

a) x∨( y∧z) b) (x∧ y)∨(x∨z)
c) x∧( y∨z) d) x∧( y∨( x∧ y))
e) (x∧ y )∨(x∧z) f) (x∨ y )∧(x∨z)
g) (x∧ y)∨(x∧ y ) h) x∧( y∧z)
Escriba la expresión booleana que representa el circuito combinatorio y escriba la tabla
lógica.

a) b) b)

c) d)

e)

Represente cada circuito simbólicamente y escriba su tabla de conmutación.

a) b)

c) c)