LÓGICA.

La lógica es un lenguaje formal, técnico, especializado, que estudia la validez de los

razonamientos, es decir, si una conclusión se deriva de las premisas. La validez descansa en la
estructura sintáctica, sin considerar el punto de vista semántico (del significado), ni pragmático
(del uso del lenguaje).

La lógica en su historia se divide en dos grandes etapas:

1. Lógica antigua: aunque Parménides y Platón inician estudios lógicos, el fundador es

Aristóteles, resumiendo sus cinco tratados para el título de Organon. Para él la lógica no
es una ciencia, pero debe aplicarse a todas las ciencias.
En la Edad Media se sigue la lógica aristotélica y la semántica.

2. Lógica moderna: aunque se desarrolla ampliamente a partir del siglo XIX, sus
precursores son Descartes y Leibniz. La lógica moderna o simbólica o matemática o
logística tiene a sus principales representantes en Boole, Frege, Peano, Cantor, Gödel,
Hilbert, Russell.
En la lógica moderna convergen cuatro corrientes:
a. Lógica aristotélica.
b. Idea de un lenguaje matemático universal de Leibniz.
c. Avance de álgebra y geometría.
d. Consideración de las matemáticas como sistemas deductivos.

Una posible clasificación de la lógica es:

1. Lógica de 1er orden.

 Lógica proposicional o de enunciados.
 Lógica cuantificacional.

2. Lógica de 2º orden.
 Lógica modal.
 SP.
LÓGICA PROPOSICIONAL O DE ENUNCIADOS.

Analiza la estructura formal de la inferencia o razonamiento; el razonamiento más elemental

está formado básicamente por:

1ª premisa Ejemplo: Todos los hombres son mortales.

2ª premisa Pepe es hombre.
Conclusión Pepe es mortal.

La proposición es un enunciado que expresa un pensamiento con sentido a través de una oración
descriptiva o enunciativa.

Ejemplo: Hoy hay sol.

Las proposiciones pueden ser:

1. Simples o atómicas: expresan un único pensamiento.

Ejemplo: Es día 9 de enero.
 Afirmativas.
 Negativas.
2. Compuestas o moleculares: relacionan varias proposiciones simples.
Pueden ser:
 Conjunción.
Ejemplo: Llueve y nieva.
 Disyunción.
Ejemplo: Llueve o nieva.
 Condicional.
Ejemplo: Si llueve, nos mojamos.
 Bicondicional.
Ejemplo: Sólo si llueve, llevaremos paraguas.

Un sistema lógico debe tener las siguientes propiedades:

1. Consistencia: no contradicción.
2. Completud o completitud: todas las fórmulas válidas son demostradas como teoremas
del sistema.
(Teorema = verdades lógicas o axiomas + reglas de inferencia).
3. Decibilidad: debe contar con un procedimiento o método mecánico que en un número
finito de pasos determine de manera correcta si la fórmula del sistema es o no teorema
del sistema (si la fórmula es deducible en el sistema); el método decide si la fórmula en
cuestión es tautología o no.

En la lógica proposicional contamos con los siguientes métodos de decisión o de inferencia:

1. Tablas de verdad.
 Método de matrices.
 Método de conversión al condicional.
2. Método de tautologías o reglas lógicas o deducción natural (Dnp).
  Prueba directa.
 Prueba indirecta o RAA.
 Prueba condicional.
3. Método axiomático.
SIMBOLIZACIÓN.

1. Las proposiciones atómicas estarán representadas por variables proposicionales, que

son las letras minúsculas del alfabeto empezando siempre por la p: p, q, r, s, t…

2. Los valores son:

 Verdad = 1 = V.
 Falso = 0 = F.

3. Conectivas o conectores o junctores:

y conjunción 
o disyunción 
Si… entonces condicional 
Si y sólo si… entonces bicondicional 
Sólo si… entonces
No negación , -
(Ni)

4. Símbolos auxiliares:
 [()]

Ejemplos:

- Las vacaciones han terminado = p.

- Hoy no voy a estudiar =  p.
- Mañana iré a Salamanca y no compraré nada = p   q.
- Si me llamas, saldré = p  q.
- Sólo si hago ejercicios, aprobaré = p  q.

5. Las funciones posibles o el número de combinaciones posibles de valores es: 2n , donde

n = nº de variables proposicionales (p, q, r, s…).

6. Los resultados pueden ser:

 Tautología: todos los resultados son verdaderos ( = 1 ).
 Contradicción: todos los resultados son falsos ( = 0 ).
 Contingencia o indeterminación: unos valores son V y otros F.

7. El significado de los conectores, es decir, cuándo son verdaderas las proposiciones

simples y moleculares:
 : es V si F ( 0 ).
  : es V si VV ( 11 ).
  : es V siempre menos FF ( 00 ).
  : es V siempre menos VF ( 10 ).
  : es V si VV y/ó FF ( 11 ó 00).
 1. TABLAS DE VERDAD.

Ejemplos:

- El bolígrafo es rojo y el rotulador azul.

p  q 22 = 4

P q pq
1 1 1
1 0 0
0 1 0
0 0 0

INDETERMINACIÓN

- Esta tarde leo el libro o hago ejercicios.

p  q 22 = 4

P q pq
1 1 1
1 0 1
0 1 1
0 0 0

INDETERMINACIÓN

- Si vienes, iremos al cine.

p q 22 = 4

p q pq
1 1 1
1 0 0
0 1 1
0 0 1

INDETERMINACIÓN

- Sólo si recupero las asignaturas, saldré de fiesta.

p q 22 = 4

p q pq
1 1 1
1 0 0
0 1 0
0 0 1

INDETERMINACIÓN
- No entiendo la lógica.
p 21 = 2

p p
1 0
0 1
 A. MÉTODO DE MATRICES.

Consiste en hallar la tabla de verdad de un razonamiento, de las premisas y la conclusión; y

comprobar, después, que no hay ningún caso en el que siendo verdaderas las premisas, no lo
sea la conclusión. Es decir, el razonamiento es correcto ( RC ) en el caso en que sean verdaderas
las premisas y la conclusión; si no, el razonamiento es incorrecto ( RI ).

Ejemplo:

- Jorge es adulto. María es adolescente. Por tanto, Jorge es adulto y María adolescente.

p q p  q

1. p
2. q
pq

p q
1 1
1 0
0 1
0 0
pq
1 RC
0 RI
0 RI
0 RI
 B. MÉTODO DE CONVERSIÓN AL CONDICIONAL.

Consiste en convertir un razonamiento o esquema de inferencia en una proposición condicional,

en la que el antecedente esté formado por la conjunción de las premisas y el consecuente por
la conclusión del razonamiento.

Se hace la tabla de verdad de dicha proposición condicional; si el resultado de la tabla es una

tautología, el razonamiento es correcto; de lo contrario, dicho razonamiento será incorrecto.

Ejemplo:

- Jorge es adulto. María es adolescente. Por tanto, Jorge es adulto y María adolescente.

p q p  q

1. p
2. q
pq

22 = 2p, q = 4 (pq)(pq)

p q pq pqpq
1 1 1 1 RC
1 0 0 1 RC
0 1 0 1 RC
0 0 0 1 RC

TAUTOLOGÍA = RC.
 2. MÉTODO DE TAUTOLOGÍAS O REGLAS LÓGICAS O DEDUCCIÓN NATURAL (Dnp).

REGLAS.

PRIMITIVAS

I E

A AB AB
B A B
AB

I E

A AB
AB A --- Pr
C
B --- Pr
C
C

I  (RAA) E

A --- Pr A A
BB A A
A

I M.P./E 
(Modus Ponens)

A --- Pr AB
B A
AB B

AB
A
B

I E

AB AB
BA AB
AB AB
BA
 DERIVADAS

M.T. E.C.Q.
(Modus Tollens)

AB AA
B B
A

S. D. Contraposición
(Silogismo
Disyuntivo)

AB A B =  B  A
A
B B A =  A  B

Leyes de Morgan
( LM )

AB AB
(AB) (AB)

(AB) (AB)
AB AB

Interdefiniciones
(  / )
(  / )

AB=AB

 ( A B ) = A   B

AB=AB

( A   B ) = A B

( A  B ) = A  B