CONVENIO

GUÍA TEORICA DOS Nociones generales de un sistema lógico formalizado

y calculo inferencial

Definiciones varias:
Axioma.- Toda afirmación o argumento tomado como verdadero sin necesi-
dad de prueba o demostración.

Ejemplo.- “Un triángulo tiene tres lados”

“Toda circunferencia encierra un circulo”
o
Inferencia- La inferencia es la deducción de una cosa a partir de otra
derivar una conclusión de un axioma o afirmación

Ejemplo. “Ese hombre camina muy rápido” podemos deducir o

Inferir que está vivo
“Ella habla mucho” se infiere que no es muda

Deducción.-Proceso usado por el ser racional que permite derivar de

una o varias afirmaciones o premisas otra que es su con-
clusión
Ejemplo.- p. Pedro es hermano de Luis (premisa)
q.- Luis es hermano de José (premisa)
………………………………………………………
r.- Pedro es hermano de José conclusión

Un sistema lógico formalizado debe tener:

1.- Un conjunto finito o limitado de símbolos que usamos para la

construcción de fórmulas (ya lo vimos en la guía anterior)
2.- Una gramática formal o mecanismo para la construcción de
fórmulas bien formadas (f.b.f)
3.- Un conjunto de axiomas que deben ser formulas bien formadas
4.- Un conjunto de reglas de inferencias
5.- Conjunto de teoremas que incluyen todas las f.b.f que se puede
derivar de los axiomas o de otros teoremas.

Como ya ud conoce estos símbolos:

┐ (negación) v.- disyunción  Implicación

Los usaremos para establecer estos principios:

Principio de no-contradicción ┐(p v ┐p) afirma que una proposición y
su negación NO pueden ser ambas verdaderas al mismo tiempo

Ejemplo.- Si P.- Pedro es brujo (verdadero)

┐P.- Pedro no es brujo (no puede ser verdadera)

Principio de identidad P = P Toda afirmación o proposición es

Igual a si misma

Ejemplo- “ud es igual a ud” “ el número tres es igual tres”

Principio de tercero incluido (p v ┐p) Afirma que la disyunción

de una proposición y su negación es siempre verdadera

Ejemplo.- “Estaré despierto o no estaré despierto”

(siempre será verdadera decida lo que decida)

Algunas reglas de inferencia

Estas reglas o leyes nos permitirán elaborar una conclusión

de manera inmediata:

Mp (Modus ponens) Ejemplo

P  Q Si voy a la playa entonces llegaré tarde

P Voy a la playa
……………………. ………………………………………………
Q Legaré tarde

Mt (Modus tolens) Ejemplo

P  Q Si me caso entonces seré rico
┐Q No seré rico
………………………… ……………………………………………..
┐P No me caso
DN(Doble negación) Ejemplo

P Tengo dinero
………………… ………………………………………………
┐┐P No es cierto que no tenga dinero

Cp( contraposición) Ejemplo

P  Q Si es un número natural entonces es entero

………………………………. ………………………………………………….
┐Q  ┐P No es un número entero entonces no es natural

Sil (silogismo) Ejemplo

P - Q Si Pedro da un discurso entonces habla

Q  R Si habla entonces no es mudo

………………………………… ……………………………………………………….
P - R Si Pedro da un discurso entonces no es mudo

Sd (silogismo disyuntivo) Ejemplo

PVQ Juego ajedrez o voy a la playa

┐Q No voy a la playa
…………………………………. ………………………………………………………..
P Juego ajedrez