Tp2-Lógica Proposicional-Álgebra de Boole-Tui

LÓGICA PROPOSICIONAL - ÁLGEBRA DE BOOLE
INTRODUCCIÓN:
Los objetos de estudio de la Lógica Proposicional son las proposiciones y los razonamientos proposicionales,
proveyendo los métodos adecuados para establecer la verdad o falsedad de una proposición dada.
La Proposición es un enunciado declarativo que afirma o niega algo, tiene la propiedad de ser verdadero o
falso. La característica principal de esta, radica en el hecho que, si el estado de cosas que la proposición enuncia
o declara suceded tal y como está afirmado, la misma es verdadera, pero, si suceded de forma diferente al
declarado por ella, la proposición es falsa.
La Abstracción e Interpretación son dos procesos inversos entre sí, constituyen rasgos característicos de la
actividad inteligente del hombre. La primera implica siempre una generalización, en tanto que la interpretación
lleva siempre a una particularización.
Abstracción: proceso que va del lenguaje descriptivo al lenguaje lógico; es una traducción consistente en una
generalización cada vez mayor constituyendo un proceso de simplificación (Lenguaje Coloquial →Lenguaje
Simbólico).
Interpretación: proceso por el cual pasamos de un lenguaje abstracto a un lenguaje descriptivo. Toda
interpretación implica una particularización (Lenguaje Simbólico → Lenguaje coloquial)
Fuente: SISTEMAS NUMÉRICOS Y ÁLGEBRA DE BOOLE- Ing. Sebastián Vicente Martín
OBJETIVOS: Que el alumno reconozca una proposición lógica y opere con ella. Construya tablas de verdad
y haga demostraciones con las mismas. Maneje circuitos lógicos. Use funciones proposicionales y
cuantificadores.
1.- Siendo p, q, r, s los siguientes enunciados: p: compraré una bicicleta

q: lavaré el auto
r: estoy aburrido
s: iré al cine
1.1 Traducir al lenguaje simbólico los siguientes enunciados:

a) Si estoy aburrido, entonces lavaré el auto
b) No lavaré el auto y compraré una bicicleta
c) Iré al cine sí y solo sí lavo el auto
d) Si no estoy aburrido, entonces compraré una bicicleta o iré al cine.
1
1.2 Traducir al lenguaje corriente los siguientes enunciados:
a) (-s) ∧ q b) r → (p ∨ s)
c) - r → [ ( - q) ∨ p] d) [ q ∧ ( - p ) ] ↔ r
1.3 Hacer las tablas de verdad de los enunciados del punto 1.2
2.- Dadas las proposiciones “Ana lee El Principito” y “Ana va al Shopping” se pide:
2.1 Expresión simbólica
2.2 Tabla de verdad
2.3 Enunciado en lenguaje coloquial de:
• Conjunción de la primera con la negación de la segunda

• Disyunción de las negaciones
• Negación de la disyunción
• Implicación de la primera (antecedente) con la negación de la segunda (consecuente)
3.- Dados los siguientes enunciados determinar cuales son tautología, contingencia o contradicción:
a) p ∧ - p b) q ∨ - q c) p → (q → p) d) q ∨ [(- q) ∧ p]
4.- Si p, r son enunciados verdaderos y q, s son enunciados falsos, determinar el valor de verdad de los
siguientes enunciados:
a) [(p ∨ q ) ∨ r ] ∧ s
b) - [ (-p ∨ q) ∨ (-p ∨ q) ]
c) ( p → q) → r
d) ( p ∨ r) ↔ ( r ∧ - s)
5.- Determinar en cada caso si los siguientes pares de enunciados son o no equivalentes:
a) − ( p ∧ q) con (− p ) ∨ (−q )
b) p ∨ ( q ∧ r ) con ( p ∨ q) ∧ r
c) ( p → q ) ∨ r con p → (q ∨ r )
d ) − ( p → q) con (− p ) → ( −q )
6.- Dadas las siguientes expresiones simbólicas, dibujar el circuito asociado:

a ) ( p ∧ − q) ∨ ( − p ∧ q)
b) [ p ∧ (q ∨ r ) ] ∧ ( p ∨ − p )
c) ( p ∧ q ) ∧ (− p ∨ − q )
d ) p ∧ ( − p ∨ q) ∧ ( r ∨ q )
2
7.- Dados los siguientes circuitos obtener en forma simbólica el enunciado asociado:
p -p
q -q
p -p
-q
q
-r
8.- Expresar los siguientes enunciados usando cuantificadores y conectivos (cuando sea necesario), indicando
en cada caso el valor de verdad de la proposición:
a) Todos los números naturales son pares

b) Algunas flores son blancas
c) No hay números reales impares
d) Existen números enteros mayores que 5
e) Existen números irracionales mayores que √5 y menores que √37
9.- Dado el conjunto A = {1, 3, 5, 7}, hallar el valor de verdad de los siguientes enunciados:
a) ∃ x ∈ A / x + 3 = 10
b) ∀ x ∈ A : x + 3 ≤ 9
c) ∃ x ∈ A / x + 3 > 12
d ) ∀ x ∈ A : 2x + 3 ≥ 5
10.- ¿Cómo procesaría una compuerta NOT las siguientes sucesiones?
(a) 101101 (b)110100011 (c) 0100101
11.- Dados A = 1101011; B = 1000110; C = 1100100, Hallar el valor de las siguientes operaciones
a) A + B + C b) A . C c) B + C

Tp2-Lógica Proposicional-Álgebra de Boole-Tui

Cargado por

Copyright:

Formatos disponibles

Tp2-Lógica Proposicional-Álgebra de Boole-Tui

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tp2-Lógica Proposicional-Álgebra de Boole-Tui

Cargado por

Copyright:

Formatos disponibles

LÓGICA PROPOSICIONAL - ÁLGEBRA DE BOOLE

Fuente: SISTEMAS NUMÉRICOS Y ÁLGEBRA DE BOOLE- Ing. Sebastián Vicente Martín

1.- Siendo p, q, r, s los siguientes enunciados: p: compraré una bicicleta

1.1 Traducir al lenguaje simbólico los siguientes enunciados:

• Conjunción de la primera con la negación de la segunda

6.- Dadas las siguientes expresiones simbólicas, dibujar el circuito asociado:

a) Todos los números naturales son pares

10.- ¿Cómo procesaría una compuerta NOT las siguientes sucesiones?

(a) 101101 (b)110100011 (c) 0100101

También podría gustarte