nionl

LÓGICA

Filosofía y
ciudadanía
1º
Bachillerat
o

¿Qué es la lógica?
La lógica es una ciencia formal que
formal
estudia los principios de la
demostración e inferencia válida.
válidaCuando una inferencia es aceptable o
válida,
válida lo es por su estructura,
su estructura y no por el
contenido específico del argumento o el
lenguaje utilizado.
Los principales elementos de lalógica de
enunciados son:
- Enunciado
s
.
Variable
s.
Conectore

… principales elementos
Enunciados y clases de enunciados:
- Un enunciado es cualquier segmento
lingüístico del que podamosdecir que es
verdadero o falso.
falso Es sinónimo de oración o
proposición.
-proposición
Pueden ser:
Atómicos o simples:
simples no lleva ningún
conector.
Ejemplo: Hoy llueve


Moleculareso compuestos: es la unión
de dos o más enunciados atómicos y lleva
conectores.
Ejemplo: Hoy llueve y hace sol


… principales elementos
Variables:
- Son letras que sustituyen a un enunciadoatómico:
atómico p, q, r, s,…
Ejemplo: p = hoy llueve
Conectores
- Son los símbolos lógicos que unen los
enunciados atómicos dando lugar así a los
enunciados moleculares.
- Son: negador,negador conjuntor,
conjuntor disyuntor,
disyuntor
implicador y coimplicador.
coimplicador

Conectores
CONECTOR
Negador
(no)
Conjuntor
(y)
Disyuntor
(o)
Implicador
(si…
entonces…)Coimplicado
r (…si y sólo
si…)

SÍMBOLO

EJEMPLO

FORMALIZACIÓN



No llueve (p)

p



Llueve (p) y
hace sol (q)

pq



Llueve (p) o
hace sol (q)

pq



Si llueve (p),entonces
hace sol (q)

pq

↔

Llueve (p) si y
sólo si hace
sol (q)

p↔q

Reglas de
inferencia:

Modus Ponens
(MP)
p q
p
_______

q

- Si está soleado (p),
entonces es dedía (q).
- Está soleado (p).
Por lo tanto, es de día (q).

├q

├q

-1. p  q
-2. p

-1. p  r
-2. r  q
-3. p

Modus Tollens
(MT)
p q
q
_______
p

- Si hay luz solar (p),...