LÓGICA

Lógica: viene de griego logos

Logos: hace referencia palabras, pensamientos, razonamientos.

 La ló gica es el estudio de los principios y sus razonamientos.

 La ló gica es una ciencia formal y una rama de la filosofía que estudia los
principios del pensamiento y las estructuras del pensamiento.
 Es un sistema que permite verificar si el razonamiento es correcto o
incorrecto.
 La finalidad de la ló gica es el estudio de la razó n en el conocimiento.

La lógica se divide en 4 grupos:

Lógica formal: Hace referencia a definir cuá l es el pensamiento correcto y có mo

podemos diferenciar entre un argumento vá lido y una falacia. Es decir a través de
la ló gica yo puedo determinar cuá ndo un concepto o un argumento es verdadera o
falsa. Un argumento entonces puede tomar un valor verdadero, un valor falsa pero
no puede tomar dos valores a la vez. Porque la ló gica formal se basa en teoremas y
en axiomas, surge tras el aná lisis o una prueba por tanto estos teoremas y axiomas
han sido validados por tanto a través de la ló gica formal yo puedo determinar si un
argumento dado es verdadero o falso.

Ejemplo: ¨Todos los hombres son mortales. Todos los griegos son hombres¨

Lógica informal: Estudia, evalú a, analiza los argumentos desplegados en un

lenguaje natural como por ejemplo: puede analizar nuestros razonamientos
personales, debates políticos, premisas difundidas en un medio de comunicació n
es decir esto ya no se basa en teoremas ni en axiomas si no es a través de los
contenidos que surge por diversas situaciones que se dan en nuestra vida real.

Lógica simbólica: Analiza las relaciones entre los símbolos y se dividen en 2 tipos.

 Lógica predictiva: se trata de un sistema formal compuesto por formula y

variables cuantificables.
 Lógica proposicional: se trata de un sistema formal compuesto por
proposiciones que son capaces de crear otras proposiciones a través de
unos conectores conocidos como conectores ló gicos.
Lógica matemática: Aplica los razonamientos matemá ticos a ló gica formal
ejemplo: la ló gica matemá tica ha estado presente en el desarrollo de inteligencia
artificial y en los paradigmas computacionales del estudio de la comisió n.

CONCEPTOS BÁSICOS

 La lógica matemática: Es la disciplina que abarca métodos de

razonamiento.
 La lógica: Proporciona reglas y técnicas para determinar su es vá lido o no
un argumento dado.
 La ló gica utiliza un lenguaje exacto que no da lugar a imprecisiones, para tal
fin toma como elemento bá sico de aná lisis a la proposició n.
 La lógica proporcional: Que estudia variables proposicionales, sus
posibles implicaciones, los valores de verdad de las proposicionales o de
conjunto de ellas formadas a partir de conectores ló gicos.

 El cálculo proposicional clásico (CPC): Es un sistema simbó lico de la

ló gica clá sica.
 Es la base para el desarrollo de lenguajes de programació n estructurados y
una herramienta ú til en los campos de inteligencia artificial (IA), teoría de
bases de datos relacionales, aná lisis y síntesis de programas.

El cálculo proposicional clásico (CPC):

Sigue estos principios:

 Bivalencia: cada fó rmula recibe dos valores absolutos (verdadero o falso).

  No-contradicción: dada una fó rmula y su negació n, una de ellas es falsa.
Cuenca es la capital de la provincia del Azuay V
Cuenca no es la capital de la provincia del Azuay F
 Tercero excluido: dada una fó rmula y su negació n, una de ellas es
verdadera
 Identidad: si una fó rmula es verdadera, entonces es verdadera.

Proposición: es un enunciado al cual se le puede dar un valor de verdad. Es

decir es verdadero o falso. Ejemplo:

París es la capital de Francia v

PROPOSICIONES

 Es una estructura lingü ística que se puede evaluar como verdadera o falsa.
 Normalmente las proposiciones se representan con letras minú sculas: p, q,
r, . . . y se puede emplear el subíndice para referirse a ellas también p1 , p2..

VALORES DE VERDAD

Con las siguientes proposiciones:

A p = La capital de la provincia del Azuay es Cuenca.

B q = El nú mero π tiene una secuencia finita de decimales.

C r = El producto de dos nú meros primos es un no- primo.

Se obtendría los valores de verdad:

A v(p) = Verdadero, dado que cuenca si es la Capital del Azuay.

B v(q) = Falso, la cantidad de decimales de π es infinita.

C v(r) = verdadero, ya que al multiplicar dos nú meros primos se obtiene un

compuesto.
TIPOS DE PROPOSICIONES

Las proposiciones se clasifican en 2 tipos:

Simples

 Las proposiciones se representan simbó licamente mediante el uso de letras

minú sculas del alfabeto: p; q; r; s; t.. estas reciben el nombre de letras o
variables proposicionales, de esta forma, el lenguaje proposicional se hace
má s simple y exacto que el lenguaje natural.

P: Paris es la capital de Francia

q: Roger Federer es el mejor tenista de la historia.

r: 2+2=5

 No contienen otras afirmaciones que las compongan. También se conocen

como á tomos, formulas ató micas o variables proposicionales y se sub-
clasifican en:
 Abiertas: no indican el sujeto. Por ejemplo “X es una mujer”
 Cerradas: indican el sujeto. Por ejemplo “Paola es una Mujer”

• Compuestas

 Son aquellas que está n formadas por dos o má s

 proposiciones simples.
 En toda proposició n compuesta las proposiciones simples está n ligadas
mediante palabras conocidas como conectivos ló gicos que sirven para unir
o enlazar los enunciados.

Ejemplo:

Tenemos dos proposiciones simples:

P simó n es un hombre trabajador.

Q simó n es una persona amigable.

Se puede generar una proposició n compuesta que integre las dos ideas que diga:

Simón es un hombre trabajador y es una persona amigable.

  se construyen a partir de proposiciones Simples, a fin de expresar
afirmaciones má s complejas. Se conocen también como moleculares y se
sub-clasifican en:
 Abiertas: No indican el sujeto. Por ejemplo “Los X= general de la hacienda
está n verdes o los X del rancho está n amarillos”
 Cerradas: Indican el sujeto. Por ejemplo “Los árboles= Especifico de la
hacienda está n verdes o los arbustos del rancho está n Amarillos”

Conectivos lógicos: son palabras que vinculan las ideas expresadas en dos o má s
proposiciones simples, para comunicar algo má s complejo. Los conectivos ló gicos
está n identificados con un símbolo especial y un nombre que representan la
funció n que cumplen.

Ana paula se va a Barranco o se va Miraflores.

Tablas de verdad

Si analizamos las proposiciones p y q en conjunto, podremos observar que la tabla

permite expresar todos los posibles valores de
P q r
verdad de las mismas. 1 V V V
P q 2 V V F
p
3 V F V
1 V 1 V V
4 V F F
2 F 2 V F 5 F V V
1
2 3 F V 6 F V F
4 F F 7 F F V
8 F F F
22
 23

En general para ¨n¨ proposiciones, se pueden presentar 2n posibilidades.

Existe dos tipos de conectores que permite unir si 2 o má s proposiciones

Monádicos: Afectan ú nicamente a una proposició n. En este grupo está ú nicamente

la negación.

Diádicos: Sirven para unir dos o má s proposiciones simples. En este grupo

tenemos a los siguientes: conjunción, disyunción, implicación, bi-implicación

Negación

 Afecta a una sola proposició n. Es un operador que cambia el valor de

verdad de una proposició n. Su símbolo es ¬ y se llama negador.

Ejemplo: Todo número elevado al cuadrado es positivo.

Negación: No todo número elevado al cuadrado es positivo.

¬P

Ejemplo: no es cierto que pablo fue al banco y retiro el dinero.

Simbología: ¬ ( p ∧ q )

La tabla de verdad para p y su negación ¬p sería:

p ¬p

V F

F V

 Significa la inversió n del valor de la proposició n y se expresa con el símbolo

¬ antepuesto a la misma: ¬p.
 Supongamos que tenemos la proposició n p =“Só crates es mortal”, cuyo
valor es: v(p) =verdadera. ¬p significaría que “Só crates no es mortal”.

Conjunción
 Vincula dos proposiciones mediante el conectivo ló gico ¨y¨, cuyo símbolo es
∧ y se llama conjuntor.

Ejemplo: Jorge viajo al cusco y Luis a Ica.

P q

Simbología: ¨p ∧ q¨

P+ q P∧q
V V V
V F F
F V F
F F F

¨Es verdadera cuando las dos proposiciones son verdaderas.¨

 • El conjunto de dos o má s proposiciones que está n unidas por este

operador será verdadero, ú nicamente si todas las proposiciones son
verdaderas.
 Para representar una conjunció n se emplea el símbolo ^ .
 La conjunció n es una operació n conmutable: p ^ q = q ^ p.

Disyunción

 vincula dos proposiciones mediante el conectivo ló gico ¨o¨ cuyo símbolo

es ¨V¨ y se llama disyuntor.

Simbología: ¨p v q¨

Ejemplo:

Eliana viajara al cuzco o a Cajamarca

P q

p q Pvq
V V V
V F V
F V V
F F F
 ¨Es falsa solo si ambas proposiciones son falsas¨

 El conjunto de dos o má s proposiciones que está n unidas por este

operador será verdadero, cuando al menos una de las proposiciones sea
verdadera.
 Para representar una disyunció n se emplea el símbolo v.
 La disyunció n es una operació n conmutable: p v q = q v p.

Ejemplos:

a. Todo nú mero impar es primo y 5 es primo. Conjunció n

F ∧ V = F. V(a) = F
b. El carro contamina el ambiente o la bicicleta es má s rá pida que la moto.
Disyunció n
V∨F=V V(b) = V
c. Los perros ladran o 12 es un mú ltiplo de 3. Disyunció n
V∨V=V V(c) = V
d. ¬(p v q) cuando p = “Españ a está en Europa” , q = “Japó n está en Asia”
Disyunció n
¬(V ∨ V)

¬(V) = F

V(d) = F

e. 9 es mú ltiplo de 3 y 5 es mú ltiplo de 10. Conjunció n

V∧F=F V(e) = F

f. ¬p ^ ¬q cuando p = “La víbora no es un reptil”, q = “el canario no es un pez”

Conjunció n

¬(¬V) ∧ ¬(¬F)

V∧F=F

V(j) = F

Implicación
  Este operador indica que dadas dos proposiciones A y B, si A es verdadera,
entonces B es verdadera también (A implica B).
 Para representar este operador se emplea el símbolo ⇒.
 La implicació n no es una operació n conmutable: p ⇒ q ≠ q ⇒ p.
 Dado p (antecedente o causa) y q (consecuente o conclusió n), la implicació n
es el conector que da como resultado una proposició n falsa cuando el
antecedente es verdadero y el consecuente falso, p implica q.
 Si las consecuencias de una teoría científica – física, econó mica, etc – son
verdaderas, entonces la teoría científica es verdadera. No importa que sus
supuestos o fundamentos teó ricos sean falsos o verdaderos

P q P⇒q q⇒q
V V V V
V F F V
F V V F
F F V V

Bi-implicación

 Vincula dos proposiciones mediante el conectivo lógico ¨…..si y solo

si…..¨ cuyo símbolo es ¨⇔¨ llamado doble implicador.

Ejemplo:

¨Sicilia es una isla si y solo si está rodeada de agua¨

P q
Simbología ¨p ⇔ q¨

P q P⇔q
V V V
V F F
F V F
F F V
 ¨Es verdadero solo si ambas proposiciones tienen idénticos valores de
verdad¨

 Este operador indica que dadas dos proposiciones A y B, el resultado será

verdadero si ambas proposiciones son verdaderas o falsas.
 Para representar este operador se emplea el símbolo⇔.
 La bi-implicació n es una operació n conmutable: p ⇔ q = q ⇔ p

Ejemplos:

a. Si el triá ngulo es un polígono, entonces es un cuadrilá tero. Implicació n

V⟹F=F V(f) = F
b. Si 21 es mú ltiplo de 2, entonces 21 es mú ltiplo de 7. Implicació n
F⟹V=V V(g) = V
c. La guacamaya es un pez si y só lo si el tiburó n es un ave. BI- Implicació n
F⇔F=V V(h) = V
d. Si Marte no es un planeta, entonces la Luna es un satélite. Implicació n
¬V ⟹ V F⟹V=V V(i) = V
a. Considerar las siguientes proposiciones:
P: Me duele el diente
q: voy al doctor
r: Tomo un medicamento

¨No me duele el diente si y solo si voy al doctor. Y si no voy al doctor entonces tomo
pastilla o voy al doctor. Y si me duele el diente entonces, si no tomo un
medicamente entonces no me duele el diente.¨

[¬p ⇔ q ] ^ [¬q ⟹(r v q ) ] ^ p⟹[¬ r ⟹¬ p]

b. p: Mi papá es alto
q: Yo soy pequeñ a
r: Uso tacones

Yo soy pequeñ a si y solo si mi papá no es alto. Y si no uso tacones entonces soy

pequeñ a. Y si uso tacones entonces no soy pequeñ a, entonces mi papá no es alto.

[(q⇔¬ p) ] ^[¬ r ⟹ q ] ^[(r⟹ ¬q ) ⟹¬ p

 c. Notación lógica:
[(𝒑 ∨ 𝒒) ⟹ ¬𝒓] ∧ [ 𝒓 ⟺ 𝒔] ⟹ [(𝒓 ∧ 𝒔) ⟹ (¬𝒑 ∨ ¬𝒒) ].

Para el enunciado considerar las siguientes proposiciones:

p: Compré un libro
q: Mejoré la ortografía
r: Redacté mal una carta
s: Tuve mala nota

Si compré un libro o mejoré la ortografía entonces no redacté mal una carta. Y si redacté mal
una carta si y solo si tuve mala nota entonces, si redacté mal una carta y tuve mala nota
entonces, no compré un libro o no mejoré la ortografía.

d. Notación lógica:

(¬𝒑 ⟹ ¬𝒒) ∧ [¬𝒓 ⟹ ¬𝒔] ∧ [(¬𝒒 ∨ ¬𝒔) ⟹ 𝒕 ]⟹ [ ¬𝒕 ⟹ (𝒑 ∧ 𝒓 ) ]

Para el enunciado considerar las siguientes proposiciones:

p: Acelero la motocicleta

q: La motocicleta corre

r: Freno la motocicleta s: La motocicleta se detiene

t: La motocicleta falla

Si no acelero la motocicleta entonces la motocicleta no corre. Y si no freno la motocicleta

entonces la motocicleta no se detiene. Y si la motocicleta no corre o la motocicleta no se
detiene entonces la motocicleta falla entonces, si la motocicleta no falla entonces acelero
la motocicleta y freno la motocicleta.
Leyes del algebra de proposiciones

Ley Nombre Definición

p ∨ ¬𝒑 = v Medio excluido Es cuando yo tengo una proposició n tengo el
conector disyunció n negado de p negado de misma
proposició n obtengo como resultado verdadero.
p∧¬𝒑= F Contradicció n Cuando yo tengo una proposició n p unido a través de
conector conjunció n con el negado de la misma
proposició n obtengo el valor de falso.
 P∨F=P Identidad  Si yo tengo una proposició n, unido a través de
un conector disyunció n como falso boya
obtener la misma proposició n.
 P∧ V= P  Mientras que tengo la proposició n unido con
el conector conjunció n con un valor de
 verdad boya obtener como resultado la
misma proposició n.
 P∨V=V Dominació n  Si yo tengo una proposició n unido a través
del conector disyunció n con un valor de
verdad obtengo como resultado verdadero.
 P∧F=F  Si yo tengo una proposició n p unido con
conector conjunció n a un valor de falso
obtengo como resultado falso.
 P∨P=P Idempotencia  Si yo tengo una proposició n unido con el
conector disyunció n a la misma proposició n
obtengo como resultado la misma
proposició n.
 P∧P=P  Si yo tengo una proposició n unido con el
conector conjunció n a la misma proposició n
obtengo como resultado la misma
proposició n.

Ley Nombre Concepto

¬( ¬p) = p Doble negació n Cuando tengo el negado de

una proposició n negada
obtengo como resultado la
misma proposició n.
 p∨q=q∨p Conmutativa Se aplica a los conectores de
 p∧q=q∧p disyunció n, conjunció n, bi-
 p ⇔ q = q ⇔p implicació n a excepció n de
implicació n por tanto si yo
tengo p disyunció n q boya
obtener el mismo resultado
o es equivalente a q
disyunció n p.
Si tengo conjunció n q es
equivalente a q conjunció n
p.
 p ∨ (q ∨ r) = (p ∨ q) ∨ r Asociativa Se aplica ú nicamente para la
 p ∧ (q ∧ r) = (p ∧ q) ∧ r disyunció n y la conjunció n
si los conectores son iguales
puedo elegir como agrupar.
Cuando en una notació n
ló gica tengo el mismo
conector, puedo aplicar ley
asociativa por tanto si tengo
p disyunció n paréntesis q
disyunció n r es equivalente
disyunció n r.
“Aquí Asocio la manera
diferente asociar primero p
disyunció n q disyunció n r
porque puedo aplicar ley
asociativa porque tengo el
mismo conector.
Si yo tengo p conjunció n al
agrupamiento q conjunció n
r es equivalente realizar una
agrupació n p conjunció n q
conjunció n r.
Para poder utilizar la ley
asociativa lo realizo o utilizo
cuando se trata de una
conjunció n o de una
disyunció n siempre y
cuando en la misma
notació n ló gica tenga el
mismo conector ya sea
conjunció n o disyunció n.

 p ∨ (q ∧ r) = (p ∨ q) ∧ (p ∨ r) Distributiva En ley distributiva los

 p ∧ (q ∨ r) = (p ∧ q) ∨ (p ∧ r) conectores son diferentes
como conector conjunció n y
disyunció n.
 Si yo tengo p
disyunció n al
agrupamiento q
conjunció n r obtengo
la misma respuesta p
disyunció n q estaría
distribuyendo p y la q
y conector ló gico
conjunció n y
finalmente tocaría
distribuir p y
disyunció n r.
 Si yo tengo p
conjunció n al
agrupamiento q
disyunció n r es
equivalente p
conjunció n r.
 ¬(p∧q)=¬p∨¬ q Ley de Morgan Se aplica cuando yo tengo
 ¬(p∨q)=¬p∧¬q una negació n y se aplica
ú nicamente para conjunció n
y la disyunció n.
Si yo tengo negació n de
proposició n p conjunció n q
esto va ser equivalente al
negado p disyunció n negado
q es decir tengo que hacer el
negado tanto a p y a q y el
símbolo de conector cambia
entonces tengo conjunció n
 al aplicar el conector ley de
Morgan vuelvo negativo a
cada uno de las
proposiciones y el conector
que era conjunció n pasa ser
disyunció n.
De la misma manera hago
negativa cada uno de los
proposiciones y el conector
cambia de disyunció n a
conjunció n a esta ley se
conoce como ley de Morgan.
 P∧(p∨q)=p Ley de Absorció n Si yo tengo una proposició n
 P∨(p∧q)=p p y q pero esta proporció n
realiza la conjunció n al
agrupació n p disyunció n q
va ser igual a p este ley se
puede comprobar por tabla
de verdad.
p q p ∧ (p∨q) p
V V V V V V
V F V V V V
F V F F V F
F F F F F F

 P ⇒ q =¬ p ∨ q Definició n de la Existe de dos maneras

implicació n devolver negativo a una
expresió n a la segunda
proposició n implicació n la
primera proposició n o si
tengo p implicació n q va ser
igual negació n p disyunció n.
P ⇒ q =¬ p ∨ q
 P ⇔ q = ( p ⇒ q ) ∧ (q ⇒ p) Definició n de la co-
implicació n