Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Símbolo Símbolo
Nombre Nombre
matemático matemático
∞ infinito. fracción.
Σ sumatoria. # cardinal.
conjunto complemento.
Lógica Simbólica
Glosario de Términos
p q p∧ q
V V V
V F F
F V F
F F F
p q p ∨q
V V F
V F V
F V V
F F F
p q p ∨q
V V V
V F V
F V V
F F F
p q p⇔ q
V V V
V F F
F V V
F F V
10. Forma proposicional: Esta forma es la expresión forma en verdad era una proposición al
subsistir la variable o el elemento impreciso, en un elemento fijo.
11. Implicación: Es verdadera en todos los casos, salvo cuando el antecedente es verdadero
y el consecuente es faso.
p q p⇒ q
V V V
V F F
F V V
F F V
12. Lógica matemática: Estudia los métodos de razonamiento. En un nivel elemental, la Lógica
proporciona reglas y técnicas para determinar si es o no valido un argumento dado.
13. Lógica: Ciencia que estudia la forma del razonamiento.
14. Negación: La negación (¬) de una proposición es falsa si la proposición es verdadera y
viceversa.
15. Polinomios lógicos: A la operación de traducir expresiones lingüísticas pertenecientes del
lenguaje natural al lenguaje formal lógico, se le denomina construcción de polinomios
lógicos o proposicionales. Estos polinomios se construyen a partir de la abstracción del
contenido (formación de variables proposicionales) y el uso de conectivos lógicos
jerárquicamente, usando signos de agrupación.
16. Proposición abierta: Sinónimo de la forma proposicional.
17. Proposición compuesta: Es la combinación de enunciados simples. Es la que puede ser
descompuesta en proposiciones más sencillas. En caso contrario, la proposición se llama
atómica.
18. Proposición simple: Es simple cuando concierne a un hecho único.
19. Proposición: Es la expresión de un juicio entre dos términos, es un enunciado, que solo
puede ser "verdadera" o "falsa”, pero no puede ser verdadera y falsa simultáneamente.
20. Simbología de las proposiciones: (ver tablas)
21. Tabla resumen de valor de verdad de los conectivos:
22. Tablas de verdad de proposiciones compuestas: Para una proposición compuesta de n
proposiciones simples existe 2n valores, donde dos viene a ser una constante y n es el
número de proposiciones simples. Como ejemplo: En el caso de 4 proposiciones se
tendrá: 24 = (2)(2)(2)(2) = 16 Valores posibles.
23. Tautología: La tautología es una proposición que siempre es verdadera.
24. Valor de verdad: Es un valor que indica en qué medida una declaración es verdad. Las
proposiciones simples solo pueden tener dos valores de verdad, que sea verdadera o bien
que sea falsa.
Ejercicios
a) [[(p ∧ r) ⇔ (˜s V p)] ∨ [(r V ˜q) ∧ (˜q ∧ p)]] b) ˜[p → (˜q ∨ s) ∧ (r ∧ p)] ⇔ [(q → r) → ˜(p ∧ s)]
[[(F ∧ V) ⇔ (F V F)] ∨ [(V V V) ∧ (V ∧ F)]] ˜[V → (V ∨ F) ∧ (V ∧ V)] ⇔ [(F → V) → ˜(V ∧ F)]
[[F ⇔ F] ∨ [F ∧ F]] ˜[V → V ∧ V] ⇔ [V → ˜F]
[V ∨ F] ˜[V ∧ V] ⇔ [V → V]
V ˜[V] ⇔ V
F⇔ V
F
Respuesta: Contingencia
d) [˜(p → r) ∨ (q ⇔ s)]
Respuesta: Contingencia
e) [(r → p) V (q ∧ s)] ⇔ [˜(p ∧ ˜q) → (s ⇔ r)]
p q r s ˜q (r → p) (q ∧ s) [(r → p) V (q ∧ s)] (p ∧ ˜q) ˜(p ∧ ˜q) (s ⇔ r) [˜(p ∧ ˜q) → (s ⇔ r)] [(r → p) V (q ∧ s)] ⇔ [˜(p ∧ ˜q) → (s ⇔ r)]
V V V V F V V V F V V V V
V V V F F V F V F V F F F
V V F V F V V V F V F F F
V V F F F V F V F V V V V
V F V V V V F V V F V V V
V F V F V V F V V F F V V
V F F V V V F V V F F V V
V F F F V V F V V F V V V
F V V V F F V V F V V V V
F V V F F F F F F V F F V
F V F V F V V V F V F F F
F V F F F V F V F V V V V
F F V V V F F F F V V V F
F F V F V F F F F V F F V
F F F V V V F V F V F F F
F F F F V V F V F V V V V
Respuesta: Contingencia
Teoría de Conjuntos
Glosario de Términos
a) (A∪B) Δ(C-A)’
(A∪B)= {1, 2, 3, 4, 5, 6, 8}
(C-A)= {7, 9}
(C-A)’= {1, 2, 3, 4, 5, 6, 8}
(A∪B)Δ(C-A) ’= {}
b) [(C'-B)∩(A'∪D)]Δ[(B'Δ D')]
C' = {2, 4, 6, 8}
(C'-B) = {2}
A' = {7, 8, 9}
(A'∪D) = {2, 4, 5, 7, 8, 9}
(C'-B)∩(A'∪D) = {2}
B' = {1, 2, 7, 9}
D' = {1, 3, 6, 9}
(B'Δ D') = {2, 3, 6, 7}
[(C'-B)∩(A'∪D)]Δ[(B'Δ D')] = {3, 6, 7}
c) [(D∪A)'Δ(C'∩ B')]'
(D∪A) = {1, 2, 3, 4, 5, 6, 7, 8}
(D∪A)' = {9}
C' = {2, 4, 6, 8}
B' = {1, 2, 7, 9}
(C'∩ B') = {2}
(D∪A)'Δ(C'∩ B') = {2, 9}
[(D∪A)'Δ(C'∩ B')]' = {1, 3, 4, 5, 6, 7, 8}
d) {(A∪C)'∩ A'}-B'
(A∪C) = {1, 2, 3, 4, 5, 6, 7, 9}
(A∪C)' = {8}
A' = {7, 8, 9}
{(A∪C)'∩ A'} = {8}
B' = {1, 2, 7, 9}
{(A∪C)'∩ A'}-B' = {8}
e) {(B-A')Δ(DΔC)}'
(A∪C) = {1, 2, 3, 4, 5, 6, 7, 9}
A' = {7, 8, 9}
(B-A') = {3, 4, 5, 6}
(DΔC) = {1, 2, 3, 4, 8, 9}
(B-A')Δ(DΔC) = {1, 2, 5, 6, 8, 9}
{(B-A')Δ(DΔC)}' = {3, 4, 7}
U
A B
1000
4000 5000
5000
3000 3000
3000 1000
Respuestas: 2. Solo A: 4000. Solo B: 5000. Solo C: 1000. 3. 3000 personas manifestaron
no tener preferencia por ningún producto. 4. 10000 personas consumen sólo un producto,
12000 personas consumen más de un producto. 5. La empresa B está mejor posicionada
en el mercado ya que posee el 56% (14000 personas) del mercado. 6. 1000 personas
consumieron solo el producto A y B, 3000 personas consumieron el producto A y C. 17000
personas menos de tres productos. 7. El monto de lo gastado por las personas que
manifestaron preferencias por un solo producto es de Q200,000.00. 8. El monto en que las
empresas no pudieron captar como ingreso es de Q60,000.00. 9. Conclusiones como
asesor de ventas: a) La empresa A tiene la mayor cuota de mercado con respecto a las
empresas B y C. b) Mejorar la publicidad para captar los 3000 clientes que aún no se
deciden. c) Se dejan de percibir Q.60.000.00 de los clientes que no consumen ninguno de
los 3 productos. d) El producto E es el que tiene la menor cuota del mercado. e) Aplicando
la teoría de conjuntos, se pueden tomar mejores decisiones para incrementar las ventas.