Está en la página 1de 13

UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO

FACULTAD INTEGRAL DEL CHACO

UNIVERSITARIO:
DIEGO ARMANDO CONDORI CHAVARRIA

Introduccin
a la lgica
simblica

La lgica es un lenguaje preciso claro y formal. La


lgica tiene como objetivo interpretar, desarrollar
razonamientos correctos y distinguirlos de los
razonamientos incorrectos.

Proposicin
Es toda expresin lingstica respecto de la cual
tiene sentido afirmar que es verdadera o que es
falsa.
Las representaremos por las letras p,q,r,setc.

Las siguientes expresiones son proposiciones:


-

La luz tiene peso

La vbora tiene orejas

El mono es viejo

Las siguientes expresiones no son proposiciones por


que no se pueden afirmar si es verdadera o es falsa:
-

Patria de traidores

Estos perros

Cuantos aos han pasado

El valor de verdad de
una proposicin V(p)
El valor de verdad de una proposicin puede ser V o F. Se
dice que el valor de verdad es V si es verdadera y F si es
falsa.
Ejemplo:
p = El pltano es mineral
V(p) = F

Operaciones con
proposiciones

A partir de una o ms proposiciones iniciales se puede generar


otra

proposicin

resultante

mediante

operaciones

proposicionales con la aplicacin de conectivos lgicos.


Conectivos lgicos.- Son los trminos de enlace entre
proposiciones;

No

(negacin),

(disyuncin),

(conjuncin), entonces (implicacin), si o solo si (doble


implicacin).

Negaci
nefectuar con una sola proposicin).
Es una operacin monaria (se puede
Conectivo lgico: (adverbio de negacin: NO).
Ejemplo:

p=El dinero da felicidad


p=No el dinero da felicidad
p=El dinero no da felicidad
Tabla de verdad de la negacin

V
F

F
V

Conjuncin o producto lgico


Es una operacin binaria (son necesarias dos
proposiciones para efectuar una operacin de
conjuncin).

Tabla de verdad de
la conjuncin

Conectivo lgico: (= y)
Ejemplo:
p = Mi novia es bonita
q = Mi novia es gorda
p q = Mi novia es bonita y mi novia es gorda
= Mi novia es bonita y gorda

V
V
F
F
F

V
F
V
F
F

V
F
F
F
F

Disyuncin o suma lgico


Es una operacin binaria
Conectivo lgico: (= o)

Tabla de verdad de
la disyuncin

Ejemplo:
p = Juan es genial
q = Juan es mediocre
p q = Juan es genial o es mediocre

V
V
F
F

V
F
V
F

V
V
V
F

Implicacin o condicional
Es una operacin binaria
Conectivo lgico:

Tabla de verdad de
la implicacin

Ejemplo:
Si q = Juan tiene xito
p = Juan se esfuerza
p q = Si Juan se esfuerza entonces
tiene xito

V
V
F
F

V
F
V
F

V
F
V
V

Doble Implicacin o
bicondicional
Tabla de verdad de la

Conectivo lgico:
Ejemplo:
Si p = Hay buena cosecha
q = La tierra es frtil
p q = Hay buena cosecha si y
solo si la tierra es frtil

doble implicacin

V
V
F
F
F

V
F
V
F
F

V
F
F
V
V

Clasificacin de formulas proposicionales

Contingenci
aformula proposicional cuya tabla de verdad toma por lo menos una vez el valor de verdad V, y
Es una
por lo menos una vez el valor de falso F.

Tautolog
Es a
una formulas proposicional que es siempre verdadera.
Antitatologia

Es una formula proposicional que es siempre falsa.

Condicionales asociadas
(Implicacin conjugada). Son recprocos, contrarios, y contrarecprocos.

FIN DE LA EXPOSICIN

GRACIAS POR SU
ATENCIN!