Matemática I

Lógica

Derly Pari Mendoza

Centro Pre Universitario

Universidad Nacional del Altiplano

22 de enero de 2021
 Lógica

1 Lógica

Derly Pari Mendoza Matemática I

 Lógica

Proposición

Una proposición es una oración declarativa que es verdadera o

falsa, pero no ambas cosas a la vez.

Derly Pari Mendoza Matemática I

 Lógica

Proposición

Una proposición es una oración declarativa que es verdadera o

falsa, pero no ambas cosas a la vez.
Algunas expresiones que son proposiciones son:

Derly Pari Mendoza Matemática I

 Lógica

Proposición

Una proposición es una oración declarativa que es verdadera o

falsa, pero no ambas cosas a la vez.
Algunas expresiones que son proposiciones son:
p: Puno es la capital del Perú.
q: Gamaliel Churata fue un escritor juliaqueño.
r : 2 es el único número par que es número primo.

Derly Pari Mendoza Matemática I

 Lógica

Proposición

Una proposición es una oración declarativa que es verdadera o

falsa, pero no ambas cosas a la vez.
Algunas expresiones que son proposiciones son:
p: Puno es la capital del Perú.
q: Gamaliel Churata fue un escritor juliaqueño.
r : 2 es el único número par que es número primo.
A la veracidad o falsedad de una proposición se le denomina valor
de verdad, en las anteriores proposiciones los valores de verdad son
V (p) = F , V (q) = F y V (r ) = V .

Derly Pari Mendoza Matemática I

 Lógica

Muchos enunciados matemáticos se construyen combinando una o

más proposiciones. Las nuevas proposiciones, llamadas fórmulas o
proposiciones compuestas, se forman a partir de las existentes
usando operadores lógicos.

Derly Pari Mendoza Matemática I

 Lógica

Muchos enunciados matemáticos se construyen combinando una o

más proposiciones. Las nuevas proposiciones, llamadas fórmulas o
proposiciones compuestas, se forman a partir de las existentes
usando operadores lógicos.
Ejemplo de proposición simple: 4 es divisor de 2020.
Ejemplo de proposición compuesta: 15 es un número impar y 5 es
un número primo.

Derly Pari Mendoza Matemática I

 Lógica

Muchos enunciados matemáticos se construyen combinando una o

más proposiciones. Las nuevas proposiciones, llamadas fórmulas o
proposiciones compuestas, se forman a partir de las existentes
usando operadores lógicos.
Ejemplo de proposición simple: 4 es divisor de 2020.
Ejemplo de proposición compuesta: 15 es un número impar y 5 es
un número primo.
Es posible esquematizar a las proposiciones con sus posibles valores
de verdad en una tabla, a esta tabla se le denomina tabla de
verdad.

Derly Pari Mendoza Matemática I

 Lógica

Para una proposición p existen dos posibles valores de verdad V o

F, esto se puede ver en una tabla de verdad

Derly Pari Mendoza Matemática I

 Lógica

Para una proposición p existen dos posibles valores de verdad V o

F, esto se puede ver en una tabla de verdad
p
V
F

Derly Pari Mendoza Matemática I

 Lógica

Para dos proposiciones p y q le corresponden dos posibles valores

de verdad a cada proposición que son V o F, por el principio
fundamental del conteo podemos formar 2 × 2 = 4 combinaciones
con los valores de verdad.

Derly Pari Mendoza Matemática I

 Lógica

Para dos proposiciones p y q le corresponden dos posibles valores

de verdad a cada proposición que son V o F, por el principio
fundamental del conteo podemos formar 2 × 2 = 4 combinaciones
con los valores de verdad. En general, si se tienen n proposiciones
podemos formar 2 × 2 × · · · × 2 = 2n combinaciones con los
valores de verdad, esto se puede ver en las tablas de verdad para
los casos n = 2 y n = 3

Derly Pari Mendoza Matemática I

 Lógica

Para dos proposiciones p y q le corresponden dos posibles valores

de verdad a cada proposición que son V o F, por el principio
fundamental del conteo podemos formar 2 × 2 = 4 combinaciones
con los valores de verdad. En general, si se tienen n proposiciones
podemos formar 2 × 2 × · · · × 2 = 2n combinaciones con los
valores de verdad, esto se puede ver en las tablas de verdad para
los casos n = 2 y n = 3

p q
V V
V F
F V
F F

Derly Pari Mendoza Matemática I

 Lógica

Para dos proposiciones p y q le corresponden dos posibles valores

de verdad a cada proposición que son V o F, por el principio
fundamental del conteo podemos formar 2 × 2 = 4 combinaciones
con los valores de verdad. En general, si se tienen n proposiciones
podemos formar 2 × 2 × · · · × 2 = 2n combinaciones con los
valores de verdad, esto se puede ver en las tablas de verdad para
los casos n = 2 y n = 3

p q p q r
V V V V V
V F V V F
F V V F V
F F V F F
F V V
F V F
F F V
F F F

Derly Pari Mendoza Matemática I

 Lógica

Conectivos lógicos

Derly Pari Mendoza Matemática I

 Lógica

Conectivos lógicos

Los conectivos lógicos son aquellos términos de enlace entre dos o

varias proposiciones simples. Los conectivos lógicos son los
siguientes:

Derly Pari Mendoza Matemática I

 Lógica

Conectivos lógicos

Los conectivos lógicos son aquellos términos de enlace entre dos o

varias proposiciones simples. Los conectivos lógicos son los
siguientes:

Conectivo lógico Símbolo

Conjunción ∧
Disyunción (inclusiva) ∨
Disyunción (exclusiva) M
Negación ∼
Condicional →
Bicondicional ↔

Derly Pari Mendoza Matemática I

 Lógica

Conectivos lógicos

Los conectivos lógicos son aquellos términos de enlace entre dos o

varias proposiciones simples. Los conectivos lógicos son los
siguientes:

Conectivo lógico Símbolo

Conjunción ∧
Disyunción (inclusiva) ∨
Disyunción (exclusiva) M
Negación ∼
Condicional →
Bicondicional ↔

Con estos conectivos lógicos se forman las proposiciones lógicas

compuestas.

Derly Pari Mendoza Matemática I

 Lógica

Conjunción p ∧ q.-

Derly Pari Mendoza Matemática I

 Lógica

Conjunción p ∧ q.-

Se lee “p y q”, es la unión de dos proposiciones con la palabra “y”.

Es verdadera si ambas son verdaderas, y falsa en los otros casos.
Su tabla de verdad es:

Derly Pari Mendoza Matemática I

 Lógica

Conjunción p ∧ q.-

Se lee “p y q”, es la unión de dos proposiciones con la palabra “y”.

Es verdadera si ambas son verdaderas, y falsa en los otros casos.
Su tabla de verdad es:
p q p∧q
V V V
V F F
F V F
F F F

Derly Pari Mendoza Matemática I

 Lógica

Conjunción p ∧ q.-

Se lee “p y q”, es la unión de dos proposiciones con la palabra “y”.

Es verdadera si ambas son verdaderas, y falsa en los otros casos.
Su tabla de verdad es:
p q p∧q
V V V
V F F
F V F
F F F
Ejemplo:
p: Albert tiene 17 años
q: Carlos tiene 18 años

Derly Pari Mendoza Matemática I

 Lógica

Conjunción p ∧ q.-

Se lee “p y q”, es la unión de dos proposiciones con la palabra “y”.

Es verdadera si ambas son verdaderas, y falsa en los otros casos.
Su tabla de verdad es:
p q p∧q
V V V
V F F
F V F
F F F
Ejemplo:
p: Albert tiene 17 años
q: Carlos tiene 18 años
p ∧ q: Albert tiene 17 años y Carlos 18.

Derly Pari Mendoza Matemática I

 Lógica

Disyunción inclusiva p ∨ q.-

Derly Pari Mendoza Matemática I

 Lógica

Disyunción inclusiva p ∨ q.-

Se lee “p o q”, es la unión de dos proposiciones con la palabra “o”,

en el sentido inclusivo. Es verdadera si por lo menos una es
verdadera, y falsa si ambas son falsas. Su tabla de verdad es:

Derly Pari Mendoza Matemática I

 Lógica

Disyunción inclusiva p ∨ q.-

Se lee “p o q”, es la unión de dos proposiciones con la palabra “o”,

en el sentido inclusivo. Es verdadera si por lo menos una es
verdadera, y falsa si ambas son falsas. Su tabla de verdad es:
p q p∨q
V V V
V F V
F V V
F F F

Derly Pari Mendoza Matemática I

 Lógica

Disyunción inclusiva p ∨ q.-

Se lee “p o q”, es la unión de dos proposiciones con la palabra “o”,

en el sentido inclusivo. Es verdadera si por lo menos una es
verdadera, y falsa si ambas son falsas. Su tabla de verdad es:
p q p∨q
V V V
V F V
F V V
F F F
Ejemplo:
p: 5 es un número primo
q: 7 es un número impar

Derly Pari Mendoza Matemática I

 Lógica

Disyunción inclusiva p ∨ q.-

Se lee “p o q”, es la unión de dos proposiciones con la palabra “o”,

en el sentido inclusivo. Es verdadera si por lo menos una es
verdadera, y falsa si ambas son falsas. Su tabla de verdad es:
p q p∨q
V V V
V F V
F V V
F F F
Ejemplo:
p: 5 es un número primo
q: 7 es un número impar
p ∨ q: 5 es un número primo o 7 es un número impar.

Derly Pari Mendoza Matemática I

 Lógica

Disyunción exclusiva p M q.-

Derly Pari Mendoza Matemática I

 Lógica

Disyunción exclusiva p M q.-

Es la unión de dos proposiciones con la palabra “o”, en el sentido
excluyente, es decir, excluye la ocurrencia simultánea de ambas
proposiciones. Es verdadera si las dos proposiciones tienen distinto
valor de verdad. Su tabla de verdad es:

Derly Pari Mendoza Matemática I

 Lógica

Disyunción exclusiva p M q.-

Es la unión de dos proposiciones con la palabra “o”, en el sentido
excluyente, es decir, excluye la ocurrencia simultánea de ambas
proposiciones. Es verdadera si las dos proposiciones tienen distinto
valor de verdad. Su tabla de verdad es:
p q pMq
V V F
V F V
F V V
F F F

Derly Pari Mendoza Matemática I

 Lógica

Disyunción exclusiva p M q.-

Es la unión de dos proposiciones con la palabra “o”, en el sentido
excluyente, es decir, excluye la ocurrencia simultánea de ambas
proposiciones. Es verdadera si las dos proposiciones tienen distinto
valor de verdad. Su tabla de verdad es:
p q pMq
V V F
V F V
F V V
F F F
Otra notación es: p ⊕ q

Derly Pari Mendoza Matemática I

 Lógica

Disyunción exclusiva p M q.-

Es la unión de dos proposiciones con la palabra “o”, en el sentido
excluyente, es decir, excluye la ocurrencia simultánea de ambas
proposiciones. Es verdadera si las dos proposiciones tienen distinto
valor de verdad. Su tabla de verdad es:
p q pMq
V V F
V F V
F V V
F F F
Otra notación es: p ⊕ q
Ejemplo:
√
p: √2 es un número racional
q: 2 es un número irracional

Derly Pari Mendoza Matemática I

 Lógica

Disyunción exclusiva p M q.-

Es la unión de dos proposiciones con la palabra “o”, en el sentido
excluyente, es decir, excluye la ocurrencia simultánea de ambas
proposiciones. Es verdadera si las dos proposiciones tienen distinto
valor de verdad. Su tabla de verdad es:
p q pMq
V V F
V F V
F V V
F F F
Otra notación es: p ⊕ q
Ejemplo:
√
p: √2 es un número racional
q: 2 es√ un número irracional
p M q: 2 es un número racional o irracional.

Derly Pari Mendoza Matemática I

 Lógica

Disyunción exclusiva p M q.-

Es la unión de dos proposiciones con la palabra “o”, en el sentido
excluyente, es decir, excluye la ocurrencia simultánea de ambas
proposiciones. Es verdadera si las dos proposiciones tienen distinto
valor de verdad. Su tabla de verdad es:
p q pMq
V V F
V F V
F V V
F F F
Otra notación es: p ⊕ q
Ejemplo:
√
p: √2 es un número racional
q: 2 es√ un número irracional
p M q: 2 es un número racional o irracional.
La disyunción exclusiva “p M q” se puede leer “o p o q”, también
se puede leer “p o q pero no ambos”.
Derly Pari Mendoza Matemática I
 Lógica

Negación ∼ p.-

Derly Pari Mendoza Matemática I

 Lógica

Negación ∼ p.-

Se lee “no p”, es una proposición que utiliza el término enlace

“no”. Convierte una proposición verdadera en falsa, y viceversa.

Derly Pari Mendoza Matemática I

 Lógica

Negación ∼ p.-

Se lee “no p”, es una proposición que utiliza el término enlace

“no”. Convierte una proposición verdadera en falsa, y viceversa.
p ∼p
V F
F V

Derly Pari Mendoza Matemática I

 Lógica

Negación ∼ p.-

Se lee “no p”, es una proposición que utiliza el término enlace

“no”. Convierte una proposición verdadera en falsa, y viceversa.
p ∼p
V F
F V
Otra notación es: ¬p

Derly Pari Mendoza Matemática I

 Lógica

Negación ∼ p.-

Se lee “no p”, es una proposición que utiliza el término enlace

“no”. Convierte una proposición verdadera en falsa, y viceversa.
p ∼p
V F
F V
Otra notación es: ¬p
Ejemplo:
p: Lima es la capital del Perú.

Derly Pari Mendoza Matemática I

 Lógica

Negación ∼ p.-

Se lee “no p”, es una proposición que utiliza el término enlace

“no”. Convierte una proposición verdadera en falsa, y viceversa.
p ∼p
V F
F V
Otra notación es: ¬p
Ejemplo:
p: Lima es la capital del Perú.
∼ p: Lima no es la capital del Perú.

Derly Pari Mendoza Matemática I

 Lógica

Negación ∼ p.-

Se lee “no p”, es una proposición que utiliza el término enlace

“no”. Convierte una proposición verdadera en falsa, y viceversa.
p ∼p
V F
F V
Otra notación es: ¬p
Ejemplo:
p: Lima es la capital del Perú.
∼ p: Lima no es la capital del Perú.
También se puede leer de las siguientes formas: No es cierto que
Lima es la capital del Perú, es falso que Lima sea la capital del
Perú, etc.

Derly Pari Mendoza Matemática I

 Lógica

Condicional p → q.-

Derly Pari Mendoza Matemática I

 Lógica

Condicional p → q.-
Se lee “si p entonces q”, son proposiciones de la forma “Si ...
entonces ...”, en donde se pueden llenar los espacios vacíos con
proposiciones simples. La proposición condicional consta de dos
elementos el antecedente y el consecuente de la siguiente forma: Si
antecedente entonces consecuente. Es falsa si el antecedente es
verdadero y el consecuente falso, y es verdadera en los otros casos.
Su tabla de verdad es:

Derly Pari Mendoza Matemática I

 Lógica

Condicional p → q.-
Se lee “si p entonces q”, son proposiciones de la forma “Si ...
entonces ...”, en donde se pueden llenar los espacios vacíos con
proposiciones simples. La proposición condicional consta de dos
elementos el antecedente y el consecuente de la siguiente forma: Si
antecedente entonces consecuente. Es falsa si el antecedente es
verdadero y el consecuente falso, y es verdadera en los otros casos.
Su tabla de verdad es:
p q p→q
V V V
V F F
F V V
F F V

Derly Pari Mendoza Matemática I

 Lógica

Condicional p → q.-
Se lee “si p entonces q”, son proposiciones de la forma “Si ...
entonces ...”, en donde se pueden llenar los espacios vacíos con
proposiciones simples. La proposición condicional consta de dos
elementos el antecedente y el consecuente de la siguiente forma: Si
antecedente entonces consecuente. Es falsa si el antecedente es
verdadero y el consecuente falso, y es verdadera en los otros casos.
Su tabla de verdad es:
p q p→q
V V V
V F F
F V V
F F V
Ejemplo:
p: x es igual a cinco
q: x más tres es igual a ocho

Derly Pari Mendoza Matemática I

 Lógica

Condicional p → q.-
Se lee “si p entonces q”, son proposiciones de la forma “Si ...
entonces ...”, en donde se pueden llenar los espacios vacíos con
proposiciones simples. La proposición condicional consta de dos
elementos el antecedente y el consecuente de la siguiente forma: Si
antecedente entonces consecuente. Es falsa si el antecedente es
verdadero y el consecuente falso, y es verdadera en los otros casos.
Su tabla de verdad es:
p q p→q
V V V
V F F
F V V
F F V
Ejemplo:
p: x es igual a cinco
q: x más tres es igual a ocho
p → q: Si x es igual a cinco, entonces x más tres es igual a ocho.
Derly Pari Mendoza Matemática I
 Lógica

Recíproca, contrarrecíproca e inversa

Derly Pari Mendoza Matemática I

 Lógica

Recíproca, contrarrecíproca e inversa

Hay algunas implicaciones relacionadas con p → q que pueden

formarse a partir de ella.

Derly Pari Mendoza Matemática I

 Lógica

Recíproca, contrarrecíproca e inversa

Hay algunas implicaciones relacionadas con p → q que pueden

formarse a partir de ella.
La proposición q → p se llama recíproca de p → q.

Derly Pari Mendoza Matemática I

 Lógica

Recíproca, contrarrecíproca e inversa

Hay algunas implicaciones relacionadas con p → q que pueden

formarse a partir de ella.
La proposición q → p se llama recíproca de p → q.
La contrarrecíproca de p → q es ∼ q →∼ p.

Derly Pari Mendoza Matemática I

 Lógica

Recíproca, contrarrecíproca e inversa

Hay algunas implicaciones relacionadas con p → q que pueden

formarse a partir de ella.
La proposición q → p se llama recíproca de p → q.
La contrarrecíproca de p → q es ∼ q →∼ p.
La proposición ∼ p →∼ q es la inversa de p → q.

Derly Pari Mendoza Matemática I

 Lógica

Bicondicional p ↔ q.-

Derly Pari Mendoza Matemática I

 Lógica

Bicondicional p ↔ q.-

Se lee “ p si y sólo si q”, es una proposición que utiliza el término

enlace “si y sólo si”, es verdadera si son idénticas, y falsa si son
diferentes. Su tabla de verdad es:

Derly Pari Mendoza Matemática I

 Lógica

Bicondicional p ↔ q.-

Se lee “ p si y sólo si q”, es una proposición que utiliza el término

enlace “si y sólo si”, es verdadera si son idénticas, y falsa si son
diferentes. Su tabla de verdad es:
p q p↔q
V V V
V F F
F V F
F F V

Derly Pari Mendoza Matemática I

 Lógica

Bicondicional p ↔ q.-

Se lee “ p si y sólo si q”, es una proposición que utiliza el término

enlace “si y sólo si”, es verdadera si son idénticas, y falsa si son
diferentes. Su tabla de verdad es:
p q p↔q
V V V
V F F
F V F
F F V
Ejemplo:
p: 2020 es un número compuesto
q: 2020 tiene más de dos divisores.

Derly Pari Mendoza Matemática I

 Lógica

Bicondicional p ↔ q.-

Se lee “ p si y sólo si q”, es una proposición que utiliza el término

enlace “si y sólo si”, es verdadera si son idénticas, y falsa si son
diferentes. Su tabla de verdad es:
p q p↔q
V V V
V F F
F V F
F F V
Ejemplo:
p: 2020 es un número compuesto
q: 2020 tiene más de dos divisores.
p ↔ q: 2020 es un número compuesto si y sólo si tiene más de dos
divisores.

Derly Pari Mendoza Matemática I

 Lógica

Inferencia lógica

Derly Pari Mendoza Matemática I

 Lógica

Inferencia lógica
La inferencia lógica es el proceso de usar varias proposiciones que
se denominan premisas para que conduzcan a otras que se
denominan conclusiones. La conclusión que se obtiene es una
consecuencia lógica.

Derly Pari Mendoza Matemática I

 Lógica

Inferencia lógica
La inferencia lógica es el proceso de usar varias proposiciones que
se denominan premisas para que conduzcan a otras que se
denominan conclusiones. La conclusión que se obtiene es una
consecuencia lógica.
Ejemplo:
Primera premisa: Si llueve, entonces el cielo ha de estar nublado.

Derly Pari Mendoza Matemática I

 Lógica

Inferencia lógica
La inferencia lógica es el proceso de usar varias proposiciones que
se denominan premisas para que conduzcan a otras que se
denominan conclusiones. La conclusión que se obtiene es una
consecuencia lógica.
Ejemplo:
Primera premisa: Si llueve, entonces el cielo ha de estar nublado.
Segunda premisa: Llueve.

Derly Pari Mendoza Matemática I

 Lógica

Inferencia lógica
La inferencia lógica es el proceso de usar varias proposiciones que
se denominan premisas para que conduzcan a otras que se
denominan conclusiones. La conclusión que se obtiene es una
consecuencia lógica.
Ejemplo:
Primera premisa: Si llueve, entonces el cielo ha de estar nublado.
Segunda premisa: Llueve.
De estas dos premisas se puede sacar la conclusión

Derly Pari Mendoza Matemática I

 Lógica

Inferencia lógica
La inferencia lógica es el proceso de usar varias proposiciones que
se denominan premisas para que conduzcan a otras que se
denominan conclusiones. La conclusión que se obtiene es una
consecuencia lógica.
Ejemplo:
Primera premisa: Si llueve, entonces el cielo ha de estar nublado.
Segunda premisa: Llueve.
De estas dos premisas se puede sacar la conclusión
Conclusión: El cielo ha de estar nublado.

Derly Pari Mendoza Matemática I

 Lógica

Inferencia lógica
La inferencia lógica es el proceso de usar varias proposiciones que
se denominan premisas para que conduzcan a otras que se
denominan conclusiones. La conclusión que se obtiene es una
consecuencia lógica.
Ejemplo:
Primera premisa: Si llueve, entonces el cielo ha de estar nublado.
Segunda premisa: Llueve.
De estas dos premisas se puede sacar la conclusión
Conclusión: El cielo ha de estar nublado.
Simbólicamente

Derly Pari Mendoza Matemática I

 Lógica

Inferencia lógica
La inferencia lógica es el proceso de usar varias proposiciones que
se denominan premisas para que conduzcan a otras que se
denominan conclusiones. La conclusión que se obtiene es una
consecuencia lógica.
Ejemplo:
Primera premisa: Si llueve, entonces el cielo ha de estar nublado.
Segunda premisa: Llueve.
De estas dos premisas se puede sacar la conclusión
Conclusión: El cielo ha de estar nublado.
Simbólicamente
p: Llueve.

Derly Pari Mendoza Matemática I

 Lógica

Inferencia lógica
La inferencia lógica es el proceso de usar varias proposiciones que
se denominan premisas para que conduzcan a otras que se
denominan conclusiones. La conclusión que se obtiene es una
consecuencia lógica.
Ejemplo:
Primera premisa: Si llueve, entonces el cielo ha de estar nublado.
Segunda premisa: Llueve.
De estas dos premisas se puede sacar la conclusión
Conclusión: El cielo ha de estar nublado.
Simbólicamente
p: Llueve.
q: El cielo ha de estar nublado.

Derly Pari Mendoza Matemática I

 Lógica

Inferencia lógica
La inferencia lógica es el proceso de usar varias proposiciones que
se denominan premisas para que conduzcan a otras que se
denominan conclusiones. La conclusión que se obtiene es una
consecuencia lógica.
Ejemplo:
Primera premisa: Si llueve, entonces el cielo ha de estar nublado.
Segunda premisa: Llueve.
De estas dos premisas se puede sacar la conclusión
Conclusión: El cielo ha de estar nublado.
Simbólicamente
p: Llueve.
q: El cielo ha de estar nublado.
Primera premisa: p → q

Derly Pari Mendoza Matemática I

 Lógica

Inferencia lógica
La inferencia lógica es el proceso de usar varias proposiciones que
se denominan premisas para que conduzcan a otras que se
denominan conclusiones. La conclusión que se obtiene es una
consecuencia lógica.
Ejemplo:
Primera premisa: Si llueve, entonces el cielo ha de estar nublado.
Segunda premisa: Llueve.
De estas dos premisas se puede sacar la conclusión
Conclusión: El cielo ha de estar nublado.
Simbólicamente
p: Llueve.
q: El cielo ha de estar nublado.
Primera premisa: p → q
Segunda premisa: p

Derly Pari Mendoza Matemática I

 Lógica

Inferencia lógica
La inferencia lógica es el proceso de usar varias proposiciones que
se denominan premisas para que conduzcan a otras que se
denominan conclusiones. La conclusión que se obtiene es una
consecuencia lógica.
Ejemplo:
Primera premisa: Si llueve, entonces el cielo ha de estar nublado.
Segunda premisa: Llueve.
De estas dos premisas se puede sacar la conclusión
Conclusión: El cielo ha de estar nublado.
Simbólicamente
p: Llueve.
q: El cielo ha de estar nublado.
Primera premisa: p → q
Segunda premisa: p
Conclusión: q.

Derly Pari Mendoza Matemática I

 Lógica

Las leyes de la inferencia son:

Derly Pari Mendoza Matemática I

 Lógica

Las leyes de la inferencia son:

Modus Ponendo Ponens.-
Premisa 1: p → q
Premisa 2: p
Conclusión: q

Derly Pari Mendoza Matemática I

 Lógica

Las leyes de la inferencia son:

Modus Ponendo Ponens.-
Premisa 1: p → q
Premisa 2: p
Conclusión: q
Modus Tollendo Tollens.-
Premisa 1: p → q
Premisa 2: ∼ q
Conclusión: ∼ p

Derly Pari Mendoza Matemática I

 Lógica

Las leyes de la inferencia son:

Modus Ponendo Ponens.-
Premisa 1: p → q
Premisa 2: p
Conclusión: q
Modus Tollendo Tollens.-
Premisa 1: p → q
Premisa 2: ∼ q
Conclusión: ∼ p
Adjunción.-
Premisa 1: p
Premisa 2: q
Conclusión: p ∧ q

Derly Pari Mendoza Matemática I

 Lógica

Las leyes de la inferencia son:

Modus Ponendo Ponens.-
Premisa 1: p → q
Premisa 2: p
Conclusión: q
Modus Tollendo Tollens.-
Premisa 1: p → q
Premisa 2: ∼ q
Conclusión: ∼ p
Adjunción.-
Premisa 1: p
Premisa 2: q
Conclusión: p ∧ q
Simplificación.-
Premisa 1: p
Premisa 2: q
Conclusión: p
Derly Pari Mendoza Matemática I
 Lógica

Modus Tollendo Ponens.-

Premisa 1: p ∨ q
Premisa 2: ∼ p
Conclusión: q

Derly Pari Mendoza Matemática I

 Lógica

Modus Tollendo Ponens.-

Premisa 1: p ∨ q
Premisa 2: ∼ p
Conclusión: q
Ley de adición.-
Premisa: p
Conclusión: p ∨ q

Derly Pari Mendoza Matemática I

 Lógica

Modus Tollendo Ponens.-

Premisa 1: p ∨ q
Premisa 2: ∼ p
Conclusión: q
Ley de adición.-
Premisa: p
Conclusión: p ∨ q
Ley del silogismo hipotético.-
Premisa 1: p → q
Premisa 2: q → r
Conclusión: p → r

Derly Pari Mendoza Matemática I

 Lógica

Modus Tollendo Ponens.-

Premisa 1: p ∨ q
Premisa 2: ∼ p
Conclusión: q
Ley de adición.-
Premisa: p
Conclusión: p ∨ q
Ley del silogismo hipotético.-
Premisa 1: p → q
Premisa 2: q → r
Conclusión: p → r
Ley del silogismo disyuntivo.-
Premisa 1: p ∨ q
Premisa 2: p → r
Premisa 3: q → s
Conclusión: r ∨ s
Derly Pari Mendoza Matemática I
 Lógica

Ley del simplificación disyuntiva.-

Premisa: p∨p
Conclusión: p

Derly Pari Mendoza Matemática I

 Lógica

Leyes de la lógica proposicional

Derly Pari Mendoza Matemática I

 Lógica

Leyes de la lógica proposicional

En las proposiciones compuestas tautológicas, aquellas que son
equivalencias se llaman leyes lógicas.

Derly Pari Mendoza Matemática I

 Lógica

Leyes de la lógica proposicional

En las proposiciones compuestas tautológicas, aquellas que son
equivalencias se llaman leyes lógicas.
1. p ∨ p ≡ p Idempotencia
p∧p ≡p

Derly Pari Mendoza Matemática I

 Lógica

Leyes de la lógica proposicional

En las proposiciones compuestas tautológicas, aquellas que son
equivalencias se llaman leyes lógicas.
1. p ∨ p ≡ p Idempotencia
p∧p ≡p
2. p ∨ q ≡ q ∨ p Conmutativa
p∧q ≡q∧p

Derly Pari Mendoza Matemática I

 Lógica

Leyes de la lógica proposicional

En las proposiciones compuestas tautológicas, aquellas que son
equivalencias se llaman leyes lógicas.
1. p ∨ p ≡ p Idempotencia
p∧p ≡p
2. p ∨ q ≡ q ∨ p Conmutativa
p∧q ≡q∧p
3. (p ∨ q) ∨ r ≡ p ∨ (q ∨ r ) Asociativa
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r )

Derly Pari Mendoza Matemática I

 Lógica

Leyes de la lógica proposicional

En las proposiciones compuestas tautológicas, aquellas que son
equivalencias se llaman leyes lógicas.
1. p ∨ p ≡ p Idempotencia
p∧p ≡p
2. p ∨ q ≡ q ∨ p Conmutativa
p∧q ≡q∧p
3. (p ∨ q) ∨ r ≡ p ∨ (q ∨ r ) Asociativa
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r )
4. p ∨ (q ∧ r ) ≡ (p ∨ q) ∧ (p ∨ r ) Distributiva
p ∧ (q ∨ r ) ≡ (p ∧ q) ∨ (p ∧ r )

Derly Pari Mendoza Matemática I

 Lógica

Leyes de la lógica proposicional

En las proposiciones compuestas tautológicas, aquellas que son
equivalencias se llaman leyes lógicas.
1. p ∨ p ≡ p Idempotencia
p∧p ≡p
2. p ∨ q ≡ q ∨ p Conmutativa
p∧q ≡q∧p
3. (p ∨ q) ∨ r ≡ p ∨ (q ∨ r ) Asociativa
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r )
4. p ∨ (q ∧ r ) ≡ (p ∨ q) ∧ (p ∨ r ) Distributiva
p ∧ (q ∨ r ) ≡ (p ∧ q) ∨ (p ∧ r )
5. p ∨ F ≡ p Elemento Neutro
p∧V ≡p

Derly Pari Mendoza Matemática I

 Lógica

Leyes de la lógica proposicional

En las proposiciones compuestas tautológicas, aquellas que son
equivalencias se llaman leyes lógicas.
1. p ∨ p ≡ p Idempotencia
p∧p ≡p
2. p ∨ q ≡ q ∨ p Conmutativa
p∧q ≡q∧p
3. (p ∨ q) ∨ r ≡ p ∨ (q ∨ r ) Asociativa
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r )
4. p ∨ (q ∧ r ) ≡ (p ∨ q) ∧ (p ∨ r ) Distributiva
p ∧ (q ∨ r ) ≡ (p ∧ q) ∨ (p ∧ r )
5. p ∨ F ≡ p Elemento Neutro
p∧V ≡p
6. p ∨ V ≡ V
p∧F ≡F

Derly Pari Mendoza Matemática I

 Lógica

Leyes de la lógica proposicional

En las proposiciones compuestas tautológicas, aquellas que son
equivalencias se llaman leyes lógicas.
1. p ∨ p ≡ p Idempotencia
p∧p ≡p
2. p ∨ q ≡ q ∨ p Conmutativa
p∧q ≡q∧p
3. (p ∨ q) ∨ r ≡ p ∨ (q ∨ r ) Asociativa
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r )
4. p ∨ (q ∧ r ) ≡ (p ∨ q) ∧ (p ∨ r ) Distributiva
p ∧ (q ∨ r ) ≡ (p ∧ q) ∨ (p ∧ r )
5. p ∨ F ≡ p Elemento Neutro
p∧V ≡p
6. p ∨ V ≡ V
p∧F ≡F
7. p∨ ∼ p ≡ V
p∧ ∼ p ≡ F
Derly Pari Mendoza Matemática I
 Lógica

8. ∼∼ p ≡ p Doble Negación

Derly Pari Mendoza Matemática I

 Lógica

8. ∼∼ p ≡ p Doble Negación
9. ∼ (p ∨ q) ≡∼ p∧ ∼ q Leyes de Morgan
∼ (p ∧ q) ≡∼ p∨ ∼ q

Derly Pari Mendoza Matemática I

 Lógica

8. ∼∼ p ≡ p Doble Negación
9. ∼ (p ∨ q) ≡∼ p∧ ∼ q Leyes de Morgan
∼ (p ∧ q) ≡∼ p∨ ∼ q
10. p → q ≡∼ p ∨ q Leyes condicionales
p → q ≡∼ q →∼ p

Derly Pari Mendoza Matemática I

 Lógica

8. ∼∼ p ≡ p Doble Negación
9. ∼ (p ∨ q) ≡∼ p∧ ∼ q Leyes de Morgan
∼ (p ∧ q) ≡∼ p∨ ∼ q
10. p → q ≡∼ p ∨ q Leyes condicionales
p → q ≡∼ q →∼ p
11. p ↔ q ≡ (p → q) ∧ (q → p) Leyes bicondicionales
p ↔ q ≡ (p ∧ q) ∨ (∼ p∧ ∼ q)

Derly Pari Mendoza Matemática I

 Lógica

8. ∼∼ p ≡ p Doble Negación
9. ∼ (p ∨ q) ≡∼ p∧ ∼ q Leyes de Morgan
∼ (p ∧ q) ≡∼ p∨ ∼ q
10. p → q ≡∼ p ∨ q Leyes condicionales
p → q ≡∼ q →∼ p
11. p ↔ q ≡ (p → q) ∧ (q → p) Leyes bicondicionales
p ↔ q ≡ (p ∧ q) ∨ (∼ p∧ ∼ q)
12. p ∨ (p ∧ q) ≡ p Leyes de absorción
p ∧ (p ∨ q) ≡ p
p ∨ (∼ p ∧ q) ≡ p ∨ q
p ∧ (∼ p ∨ q) ≡ p ∧ q

Derly Pari Mendoza Matemática I

 Lógica

Circuitos lógicos

Es un arreglo de interruptores, que permiten el paso de la corriente

eléctrica o la interrumpen, a los circuitos lógicos se le asocian
proposiciones.

Derly Pari Mendoza Matemática I

 Lógica

Circuitos lógicos

Es un arreglo de interruptores, que permiten el paso de la corriente

eléctrica o la interrumpen, a los circuitos lógicos se le asocian
proposiciones.
Circuito en serie.-

Derly Pari Mendoza Matemática I

 Lógica

Circuitos lógicos

Es un arreglo de interruptores, que permiten el paso de la corriente

eléctrica o la interrumpen, a los circuitos lógicos se le asocian
proposiciones.
Circuito en serie.- Es cuando los interruptores están uno
detrás del otro, el cual representa una conjunción.

Derly Pari Mendoza Matemática I

 Lógica

Circuitos lógicos

Es un arreglo de interruptores, que permiten el paso de la corriente

eléctrica o la interrumpen, a los circuitos lógicos se le asocian
proposiciones.
Circuito en serie.- Es cuando los interruptores están uno
detrás del otro, el cual representa una conjunción.
p∧q :
p q

Derly Pari Mendoza Matemática I

 Lógica

Circuitos lógicos

Es un arreglo de interruptores, que permiten el paso de la corriente

eléctrica o la interrumpen, a los circuitos lógicos se le asocian
proposiciones.
Circuito en serie.- Es cuando los interruptores están uno
detrás del otro, el cual representa una conjunción.
p∧q :
p q

Circuito en paralelo.-

Derly Pari Mendoza Matemática I

 Lógica

Circuitos lógicos

Es un arreglo de interruptores, que permiten el paso de la corriente

eléctrica o la interrumpen, a los circuitos lógicos se le asocian
proposiciones.
Circuito en serie.- Es cuando los interruptores están uno
detrás del otro, el cual representa una conjunción.
p∧q :
p q

Circuito en paralelo.- Es cuando los interruptores están uno

al frente del otro, el cual representa una disyunción.

Derly Pari Mendoza Matemática I

 Lógica

Circuitos lógicos

Es un arreglo de interruptores, que permiten el paso de la corriente

eléctrica o la interrumpen, a los circuitos lógicos se le asocian
proposiciones.
Circuito en serie.- Es cuando los interruptores están uno
detrás del otro, el cual representa una conjunción.
p∧q :
p q

Circuito en paralelo.- Es cuando los interruptores están uno

al frente del otro, el cual representa una disyunción.
p∨q :
p

Derly Pari Mendoza Matemática I