Algebra I

LÓGICA

Introducción: La lógica es una rama de la matemática que trata de los métodos,

modos y formas de razonamiento, para este propósito se dispone de reglas y técnicas
para determinar la valides o no de un argumento. Esta disciplina fue introducida por:
Aristóteles en el siglo IV A.C. a través de su obra el Órganon.

Proposiciones: Son enunciados literales o matemáticas de las cuales se puede afirmar

o negar algo (dar su grado de verdad) en este sentido dichas oraciones no pueden ser
interrogativas, imperativas o declarativas.

Notación: Una proposición se denota por una letra minúscula como: p, q, r, ….

Ejem.: p: El número 101 es capicúa

Conectivos Lógicos: Los conectivos lógicos normalmente unen 2 o más proposiciones

simples para formar una nueva proposición compuestas. Estas son las siguientes:

Conectivo Símbolo Significado

Negación ~,¬ No

Conjunción ˄ y

Disyunción ˅ y/o

Condicional →,⇒ Si ……. Entonces …….

Bicondicional ↔,⇔ ……… si y solo si ………

Disyunción Exclusiva ˅ ó

Tablas de Verdad: Como su nombre lo indica es una tabla donde se colocan todos
los grados de verdad posibles de las proposiciones componentes y a través de las
reglas de las operaciones proposicionales se puede determinar el grado de verdad de
la proposición compuesta.

Para construir una tabla de verdad se utiliza la siguiente regla:

𝑵 = 𝟐𝒏

Siendo:

N: Número de filas de la tabla

n: Número de proposiciones.

1
Ing. Rosio J. Carrasco Mendoza
Algebra I

Ejem.: Para 3 proposiciones N = 8

Negación: Como su nombre lo indica niega completamente la proposición, misma que

puede ser atómica o simple o compuesta.

p ¬𝒑
V F

F V

Conjunción: Solo es verdadera cuando sus proposiciones componentes lo son, caso

contrario (cuando hay un falso) todo es falso.

p q p ˄ q
V V V

V F F

F V F

F F F

Disyunción: (Inclusiva) Solo es falsa cuando sus proposiciones componentes lo son,

caso contrario (basta que haya una verdadero) todo es verdad.

p q p ˅ q
V V V

V F V

F V V

F F F

Condicional: Solo es falsa cuando el antecedente es verdadero y el consecuente es

falso.

2
Ing. Rosio J. Carrasco Mendoza
Algebra I

p q p ⇒ q
V V V

V F F

F V V

F F V

Bicondicional: Solo es verdadero cuando ambas proposiciones componentes tienen el

mismo grado de verdad.

p q p ⇔ q
V V V

V F F

F V F

F F V

Disyunción Exclusiva: Solo es verdadero cuando ambas proposiciones componentes

tienen distinto grado de verdad.

p q p ˅ q
V V F

V F V

F V V

F F F

Fórmulas Proposicionales: Es una combinación de conectivos lógicos y proposiciones

que representan a una proposición compuesta o molecular.

Clasificación de las fórmulas proposicionales: Cuando se construye la tabla de

verdad de una fórmula proposicional, según los valores de verdad que adquiera la
tabla puede ser Tautología, Contradicción o Contingencia.

3
Ing. Rosio J. Carrasco Mendoza
Algebra I

Tautología: Es una fórmula proposicional que es verdadera para cualquier valor de

verdad de las proposiciones que la componen.

Contradicción: Es una fórmula proposicional que es falsa para cualquier valor de

verdad de las proposiciones componentes.

Contingencia: Es una fórmula proposicional que no es tautología ni contradicción.

Equivalencia lógica: (≡) Se dice que dos fórmulas proposicionales son lógicamente
equivalentes si sus tablas de verdad son los mismos en cada fila.

Algebra de Proposiciones: Son operaciones lógicas que se realizan en una fórmula

proposicional con el objeto principalmente de simplificarla, para esto usamos las
leyes lógicas.

Leyes lógicas: Son fórmulas proposicionales lógicamente equivalentes, entre estas

tenemos:

1. Leyes de Idempotencia:

𝒑˄𝒑 ≡𝒑 ; 𝒑˅𝒑 ≡𝒑

2. Leyes Conmutativas:

𝒑˄𝒒 ≡𝒒˄𝒑 ; 𝒑˅𝒒 ≡ 𝒒˅𝒑

3. Leyes asociativas:

(𝒑 ˄ 𝒒) ˄ 𝒓 ≡ 𝒑 ˄ (𝒒 ˄ 𝒓) ; (𝒑 ˅ 𝒒) ˅ 𝒓 ≡ 𝒑 ˅ (𝒒 ˅ 𝒓)

4. Ley de doble Negación:

¬ (¬ 𝒑) ≡ 𝒑

5. Leyes de Identidad:

𝒑˄𝑽 ≡𝒑 ; 𝒑˅𝑭 ≡𝒑

6. Leyes de Morgan:

¬ (𝒑 ˄ 𝒒) ≡ ¬ 𝒑 ˅ ¬ 𝒒 ; ¬ (𝒑 ˅ 𝒑) ≡ ¬ 𝒑 ˄ ¬ 𝒒

4
Ing. Rosio J. Carrasco Mendoza
Algebra I

7. Leyes distributivas:

(𝒑 ˄ 𝒒) ˅ 𝒓 ≡ (𝒑 ˅ 𝒓) ˄ (𝒒 ˅ 𝒓) ; (𝒑 ˅ 𝒒) ˄ 𝒓 ≡ (𝒑 ˄ 𝒓) ˅ (𝒒 ˄ 𝒓)

8. Leyes de absorción:

𝒑˄𝑭≡ 𝑭 ; 𝒑˅𝑽 ≡ 𝑽 ; 𝒑˄¬𝒑≡𝑭 ; 𝒑˅¬𝒑 ≡ 𝑽

𝒑 ˄ (𝒑 ˅ 𝒒) ≡ 𝒑 ; 𝒑 ˅ (𝒑 ˄ 𝒒) ≡ 𝒑

9. Definición de Implicación:

𝒑→𝒒≡ ¬𝒑˅𝒒

10. Definición de Bicondicional:

𝒑 ↔ 𝒒 ≡ (𝒑 → 𝒒) ˄ (𝒒 → 𝒑)

Circuitos lógicos: Se puede asociar una proposición a un interruptor y formar un

circuito. Este circuito puede estar abierto o cerrado, cuando el interruptor está
abierto no permite el paso de la corriente, mientras que cuando está cerrado si lo
permite. En este sentido en circuitos lógicos la V de tal proposición indica
interruptor cerrado, por ende, F representaría interruptor abierto.

P = V

Si p es Verdad: pasa corriente

P = F

Si p es Falso: no pasa corriente

Circuitos en serie y paralelo: Todas las fórmulas proposicionales se pueden

representar mediante circuitos lógicos con arreglos de serie y paralelo así tendremos
para conjunción un arreglo en serie y para disyunción un arreglo en paralelo.

Circuito en Serie: La conjunción de 2 proposiciones está representada por un

circuito lógico en serie (lado a lado).

5
Ing. Rosio J. Carrasco Mendoza
Algebra I

𝒑 ˄ 𝒒:

p q

Circuito en Paralelo: La disyunción de 2 proposiciones está representado por

circuito lógico en paralelo (uno debajo o encima de otro).

𝒑 ˅ 𝒒: p

Inferencia Lógica: Es un razonamiento en el que a partir de un conjunto de

proposiciones llamadas premisas se obtiene un resultado llamado conclusión. Un
razonamiento es válido si y solamente si, el conjunto de las premisas implica una
conclusión, o la conclusión es consecuencia de las premisas. En otras palabras,
podemos decir que, si las premisas son todas verdaderas, entonces la conclusión que
se deriva de ellas, lógicamente serán verdaderas. Sin embargo, si una o más de las
premisas es falsa. La conjunción de todas ellas es falsa, por lo cual la conclusión puede
ser verdadera o falsa.

Cuando Q es consecuencia (conclusión) de las premisas: 𝑷𝟏 , 𝑷𝟐 , 𝑷𝟑 , … , 𝑷𝒏 se escribe:

𝑷𝟏
𝑷𝟐
⋮
𝑷𝒏

Esto significa que la siguiente implicación es una tautología.

(𝑷𝟏 ˄ 𝑷𝟐 ˄ 𝑷𝟑 ˄ … ˄ 𝑷𝒏 ) ⇒ 𝑸

6
Ing. Rosio J. Carrasco Mendoza
Algebra I

Reglas de Inferencia: Se llama así a todo argumento correcto, que representan

métodos generales de razonamiento valido.

Entre estas tenemos las siguientes:

1. MODUS PONENDO PONENS (PP):

𝒑 ⇒𝒒
𝒑
𝒒

2. MODUS TOLLENDO TOLLENS (TT):

𝒑 ⇒𝒒
¬𝒒
¬𝒑

3. MODUS TOLLENDO PONENS (TP):

𝒑˅𝒒
¬𝒑
𝒒

𝒑˅𝒒
¬𝒒
𝒑

4. LEY DEL SILOGISMO HIPOTETICO (SH):

𝒑 ⇒𝒒
𝒒⇒𝒓
𝒑⇒𝒓

5. LEY DE SIMPLIFICACIÓN (LS):

𝒑˄𝒒 𝒑˄𝒒
𝒑 𝒒

6. LEY DE CONJUNCIÓN (LC):

𝒑
𝒒
𝒑˄𝒒

7
Ing. Rosio J. Carrasco Mendoza
Algebra I

7. LEY DE ADICIÓN (LA):

𝒑˅𝑨
8. DILEMA CONSTRUCTIVO (DC):

𝒑 ⇒𝒒
𝒓⇒𝒕
𝒑˅𝒓
𝒒˅𝒕

9. DILEMA DESTRUCTIVO (DD):

𝒑 ⇒𝒒
𝒓⇒𝒕
¬ 𝒒 ˅¬ 𝒕
¬𝒑˅¬𝒓

Funciones Proposicionales: Una función proposicional en una variable X es toda

expresión en la que X representa al objeto perteneciente a un conjunto, el cual se
convierte en una proposición para cada especificación de X. Se denota como P(X).

Cuantificadores: A partir de funciones proposicionales se puede obtener

proposiciones generales mediante un proceso llamado cuantificación siendo estos de
dos tipos el universal y el existencial, que se representan con: ∀ 𝒙: y ∃ 𝒙/
respectivamente

8
Ing. Rosio J. Carrasco Mendoza