Seminario de Matemática Discreta

3-Explique y ejemplifique los componentes del alfabeto y las f.b.f del Calculo Proposicional.

En la asignatura existe un lenguaje proposicional determinado por las variables, las constantes, los
operadores y los signos auxiliares.

Lenguaje proposicional

1. Las variables tales como (p, q, r) serian usadas para representar proposiciones simples o
su valor de verdad.
2. Las constantes proposicionales serían los símbolos 1y 0 los que denotaran siempre los
valores de verdad, es decir verdadero o falso respectivamente.
3. Los operadores proposicionales serían los de negación (¬), disyunción(v), conjunción(ʌ),
condicional (→) y bicondicional (↔).
 Negación: es donde la formula A, su negación es ¬A, es una operación que cambia el val
de la formula.

A ¬A
1 0
0 1
 Disyunción: A v B es 1 si al menos una de sus dos proposiciones A o B es 1, en el caso
contario A v B es 0.

A B AvB
1 1 1
1 0 1
0 1 1
0 0 0
 Conjunción: A ʌ B es 1 solo si sus dos formulas componentes A y B amabas son 1, en los
restantes casos A ʌ B.

A B AʌB
1 1 1
1 0 0
0 1 0
0 0 0
 Condicionales: A→B es 1 si al menos A es 0 o B es 1, alternativamente A→B solo es 0 si A
es 1 y B es 0.

A B A→B
1 1 1
1 0 0
0 1 1
0 0 1
 Bicondicional: A↔B es 1 si A y B tiene el mismo valor.
 A B A↔B
1 1 1
1 0 0
0 1 0
0 0 1

4. Se emplean también signos auxiliares como: (…); […].

Las Formas Bien Formadas del calculo proposicional, estas presentan unas reglas que constituyen
la síntesis del lenguaje proposicional.

 Las variables y las constantes proposicionales son formulas.

 Si A es una formula entonces ¬[A] es una formula.
 Si A y B son formulas, entonces [A v B], [A ʌ B], [A→B] y [A↔B].
 No hay fórmula para el lenguaje proposicional que no sean las dadas por las reglas
(1,2,3).

4-Concepto de algebra. Algebra booleana. Definición tabular de los operadores booleanos.

Interpretación del del Calculo Proposición.

Algebra: Llamamos algebra a la parte de las matemáticas en las que se utilizan letras, números, y
signos de operaciones para expresar informaciones con precisión y claridad.

Algebra Booleana: