TIPOS DE LOGICA

Presentado Por:

Juan Pablo Arteaga Muoz

Sofa Trujillo Pacheco

Samantha Yustes Tirado

Jonathan Gomes Galvis

Carlos Andrs Hincapi

Jonathan Arbelez

Michelle Bedoya

Sebastin Garca

Cristian Colorado

Sebastin Castao

Mateo Zuluaga

Carlos Andrs Giraldo Aguirre

Para: Luisa Mara Alvarado Otalvaro

UNIVERSIDAD LIBRE SECCIONAL PEREIRA

FACULTAD DE DERECHO

202
Qu es la lgica?

La lgica es una ciencia formal destinada a estudiar los principios capaces de demostrar
un punto determinado desde una perspectiva vlida, cimentada en la razn, el
intelectualismo, la dialctica y la capacidad de argumentacin. Lgica viene de logos, que
en griego remite a la palabra, al pensamiento, a la idea y principalmente al racionalismo.

TIPOS DE LGICA

1. Lgica Clsica (lgica aristotlica, lgica tradicional, lgica clsica, lgica

formal o lgica de los enunciados)
Aborda el estudio de la capacidad del razonamiento. Es una ciencia, compuesta
por normas para razonar correctamente, las cuales son consecuencia del estudio
reflexivo y sistemtico de los elementos generales del pensamiento (concepto,
juicio y raciocinio). Su finalidad es que el pensamiento sea vlido.
El concepto es un elemento general del pensamiento que representa,
intelectualmente, un objeto en forma abstracta, sin afirmar ni negar algo del
mismo.
El juicio se constituye de conceptos, en el que uno se afirma o niega a otro.
El razonamiento es un elemento general del pensamiento conformado de
juicios, de los cuales uno es inferido de otros que le sirven de fundamento
por su relacin

La lgica clsica tiene varias limitaciones:

Utiliza un lenguaje natural, no obstante, es poco indicado, debido a que una
palabra puede tener uno o ms significados.
Las formas del silogismo aristotlico son simblicas, pero, dichos smbolos
son menos perfectos que los de la matemtica.
2. Lgica Matemtica: (o Lgica simblica y/o moderna)
Es una ciencia formal que estudia los conceptos, los juicios, las relaciones de los
razonamientos y sus elementos, los cuales son representados con el uso del
lenguaje simblico y/o matemtico, a partir del anlisis de las formas como se
expresan dichos elementos del pensamiento: los trminos, las proposiciones y
los argumentos o los silogismos, para determinar la validez del raciocinio. Se
vale de mtodos de anlisis y sirve para:
Establecer criterios de verdad, equivalencias lgicas, tales como el
silogismo.
Hacer demostraciones de teoremas y es auxiliar en el anlisis de
argumentos planteados.

3. La Lgica Proposicional
Es la parte de la lgica matemtica que estudia los juicios, las relaciones entre
juicios y los razonamientos, los cuales son significados con el uso de un lenguaje
simblico a partir del anlisis de las formas como se expresan dichos elementos
del pensamiento: las proposiciones, sus relaciones y los argumentos o los
silogismos, pero slo en el caso de que los enunciados puedan ser representados
simblicamente de forma completa sin atender sus componentes, para determinar
la validez o invalidez del raciocinio.
Las proposiciones declarativas son variables, las cuales son representadas por las
letras p, q, r, s, t y/o las siguientes letras del alfabeto.
Por ejemplo:

"si Pedro colisiona deliberadamente con su vehculo, entonces Pedro ser

responsable por los daos causados. Pedro colisiona deliberadamente con
su vehculo. Luego, Pedro ser responsable por los daos causados"

La proposicin "Pedro colisiona deliberadamente con su vehculo" se representa

por la variable "p", y "Pedro ser responsable por los daos causados" por "q",
entonces tal forma del pensamiento se simboliza as: "Si p entonces q. p. luego,
q".
Las variables proposicionales pueden ser verdaderas o falsas, segn si la
proposicin que representan tenga uno u otro valor, y se simboliza con las letras
V o F, o por 1 o 0.

Por otro lado, existen las Constantes o conectivas lgicas, son los signos que
representan las relaciones entre las proposiciones:

Negador: est representada con el smbolo -", que se antepone a la

variable proposicional a negar, "-p". Esta expresin se lee "no p" o "no es el
caso que p". El negador cambia el valor de verdad de la variable
proposicional que antecede, as, si "p" es verdadera, "-p" ser falsa, y si "p"
es falsa, "-p" ser verdadera.
Lo anterior se expresa en la siguiente tabla de verdad:

P -P
1 0
0 1

Coyuntor: est representada con el smbolo "^", el cual se sita entre dos
variables proposicionales, por ejemplo: "p ^ q". Esta expresin se lee "p y
q", la cual representa una proposicin que ser verdadera slo en el caso
que las dos proposiciones que la integran tambin sean verdaderas.
La siguiente tabla de verdad de esta constante refleja lo manifestado:
P ^ Q
1 1 1
1 0 0
0 0 1
0 0 0
Esto explicado proposicionalmente, en el lenguaje natural, ste conyuntor
corresponde a conectores (cpula) tales como: y, pero, aunque, sin
embargo, entre otros, por ejemplo:
Alejandro quera estudiar "pero" olvid sus libros.
 Disyuntor: Est representada con v, y est ubicada entre dos variables
proposicionales: p v q. Se lee como p o q. Representa que una
proposicin ser verdadera si al menos una de las proposiciones que la
constituyen es verdadera, o lo que es igual a decir que nicamente ser
falsa si sus dos proposiciones son falsas.
En el lenguaje natural el disyuntor es la conjuncin disyuntiva o", la cual
presenta una alternativa entre las proposiciones, por ejemplo: Javier decidi
ir a sus clases de piano" o" a sus clases de lgica.

Est representado con la siguiente tabla:

P V Q
1 1 1
1 1 0
0 1 1
0 0 0

Condicional o implicador: Est representada con el smbolo , el cual se

coloca entre una proposicin denominada antecedente o condicin y otra
proposicin llamada consiguiente o condicionada. As: p q
Se lee "si p entonces q" o "p es condicin suficiente de q", la cual representa
una proposicin que ser falsa nicamente si el antecedente es verdadero
y el consiguiente es falso.
As en la tabla de verdad:
P Q
1 1 1
1 0 0
0 1 1
0 1 0

En el lenguaje natural, se utilizan conjunciones como: si. Entonces o

implica, por ejemplo:
 Si Juan se esfuerza en su objetivo, "entonces" Juan lograr hacer su
objetivo realidad.

Bicondicional o equivalencia: Est representada con el smbolo ,

El cual se coloca en medio de dos variables proposicionales P Q.
Se lee P equivale a Q, la cual representa una proposicin que ser
verdadera si las dos proposiciones que la constituyen tienen el mismo valor
de verdad.
Se representa con la siguiente tabla de verdad:
P Q
1 1 1
1 0 0
0 0 1
0 1 0

Se le llama bicondicional porque es una condicin doble, cada variable

proposicional es condicin suficiente y necesaria de la otra, razn por la cual la
simbolizacin de esta conectiva lgica tambin se lee: "p es condicin suficiente y
necesaria de q". En virtud de lo anterior "p" equivale a "q" (p q) es lo
mismo que "p" implica "q" (p q) y "q" implica "p" (q p).

En lenguaje natural el bicondicional corresponde con la expresin si y slo

si, o ... en el caso y slo en el caso", por ejemplo:
Cristian ser abogado "si y slo si" se grada.

Los Smbolos auxiliares son signos que se emplean en las relaciones entre las
variables proposicionales, estn representados por: los parntesis ( ), los
corchetes [ ] y las llaves { }. Con la finalidad de:

1. Evitar ambigedades en la interpretacin

 2. Establecer el orden de los clculos lgicos, para evidenciar la conectiva
lgica principal, es decir, la cual determina la operacin a efectuar.

La frmula Proposicional:

No cualquier combinacin de elementos del lenguaje proposicional pueden

conformar satisfactoriamente una frmula proposicional, para ello algunas reglas:

Una variable proposicional es una frmula, por ejemplo: "p" o "q" o cualquier
otra es una frmula.
Una frmula antecedida por una constante mondica (el negador) es una
frmula, por ejemplo: "-p".
Dos frmulas entre algn smbolo auxiliar, y relacionadas por una conectiva
lgica didica (el coyuntor, disyuntor, el condicional o el bicondicional) son
una frmula, por ejemplo: (p ^ q), (r v s), (t u) y (v w).

4. Lgica de las Clases (T-555/99)

Esta rama de la lgica moderna estudia los conceptos, las formas del juicio
categrico y el razonamiento deductivo, los cuales son representados con el uso
del lenguaje simblico de la teora de conjuntos de la matemtica, a partir del
anlisis de las formas como se manifiestan dichos elementos del pensamiento: los
trminos, las proposiciones y los silogismos categricos, respectivamente, para
establecer la validez del raciocinio en base a las relaciones de sus elementos.
Las clases, o conjuntos, son colecciones de cosas, entidades que consisten en
tener otras entidades como miembros, es decir, estn formados por objetos,
cosas, fenmenos o hechos que tienen caractersticas comunes.
Los conjuntos pueden ser denotados por extensin o por comprensin, y en ambos
casos se hace en llaves { }:
Por extensin: Consiste en consignar entre las llaves el nombre de todos
los elementos del conjunto, por ejemplo:
{Lgica, matemtica}, {concepto, juicio, raciocinio} y {1,2,3,4,5}
 Por comprensin, consiste en consignar entre las llaves una variable (x) y
una condicin que cumplan los entes que integran la clase. (c(x)). Por
ejemplo:

{x/x es una ciencia formal}, {x/x es una forma del pensamiento que
estudia la lgica general}, y {x/x es un nmero menor que seis}

Los conjuntos se simbolizan de la siguiente manera:

Las clases con las letras maysculas "A", "B", "C" y siguientes.
Los miembros de los conjuntos con la letra minscula "x", y slo en caso de
relaciones entre stos se utilizan otras variables con letras minsculas "r",
"s", "t", "y", "z", y otras.
La relacin de los elementos del conjunto con ste, si es de pertenencia se
emplea el smbolo E. Por ejemplo: "x E A" significa que el elemento
representado con la letra "x" pertenece al conjunto aludido con el carcter".

5. Lgica Semitica:
Es la lgica de los smbolos y se divide en tres partes: Sintaxis, semntica y
pragmtica
Sintaxis: trata de las relaciones de los smbolos entre s, prescindiendo de
su contenido.
Semntica: trata de las relaciones entre el smbolo y lo que significa.
Pragmtica: La tercera trata de las relaciones entre el smbolo y el sujeto
que lo utiliza.

6. La lgica dentica:
Se formaliza a travs de conceptos relacionados con el deber. Por ejemplo:
Como en el derecho la denominada lgica de las normas.
7. La lgica modal:
La lgica modal surgi para tratar las nociones de necesidad y posibilidad.
Ejemplo:
El PC va lento, puede estar infectado con virus
De no haber sido por el filtro anti-spam, tu Pc podra haberse infectado con
virus