LOGICA

LA LGICA ESTUDIA LOS PRINCIPIOS Y MTODOS QUE SE EMPLEAN PARA DISTINGUIR EL RAZONAMIENTO CORRECTO DEL INCORRECTO
UN RAZONAMIENTO ES UN CONJUNTO DE ENUNCIADOS O PROPOSICIONES TALES QUE ALGUNAS DE ELLAS LLAMADAS PREMISAS SE PRETENDE QUE APORTEN PRUEBAS DE VERDAD
A LA PROPOSICIN RESTANTE LLAMADA CONCLUSIN.

Coln descubri Asia o Amrica. A o B

No descubri Asia. No A
Por ende, descubri Amrica. Por ende, B

SE ENTIENDE POR PROPOSICIN TODA EXPRESIN LINGSTICA QUE POSEE VALOR DE VERDAD. LAS PROPOSICIONES PUEDEN SER VERDADERAS O FALSAS Y EN ESTO SE
DIFERENCIAN DE LAS PREGUNTAS, LAS RDENES O LAS EXCLAMACIONES.

EL LENGUAJE DE LA LGICA PROPOSICIONAL

Variables proposicioonales
LA FORMA LGICA DE UNA ORACIN ES AQUELLA EN LA QUE SE HAN REEMPLAZADO LOS TRMINOS DESCRIPTIVOS POR VARIABLES, ESTO ES, POR SMBOLOS QUE NO TIENEN UN
SIGNIFICADO DETERMINADO.
El Sol es una estrella p (PROPOSICIN ATMICA)
El Sol es una estrella y Marte es un planeta p . q (PROP. MOLECULAR)

CONSTANTES LGICAS (CONECTIVAS)

LAS CONECTIVAS RELACIONAN VARIABLES PROPOSICIONALES. SON CONSTANTES LGICAS Y NOS PERMITEN OBTENER PROPOSICIONES MOLECULARES A PARTIR DE PROPOSICIONES
ATMICAS.
El Sol es una estrella y Marte es un planeta p . q

LAS CONECTIVAS QUE ESTUDIAREMOS SON LA CONYUNCIN, LA NEGACIN, LA DISYUNCIN INCLUSIVA, LA DISYUNCIN EXCLUSIVA, EL CONDICIONAL Y EL BICONDICIONAL.

SIGNOS AUXILIARES
SE UTILIZAN PARA PRECISAR EL ALCANCE DE LAS CONECTIVAS Y EVITAR DE ESTE MODO AMBIGEDADES.
p q r (No es correcto)

p (q r) La Tierra est quieta, y si el Sol se

mueve alrededor de la Tierra,
entonces Ptolomeo tena razn. (Falso)

(p q) r Si la Tierra est quieta y el Sol se

mueve alrededor de la Tierra, entonces
Ptolomeo tena razn. (Verdadero)

Lgica Proposicional
Es la parte de la lgica que estudia la formacin de proposiciones complejas a partir de proposiciones simples, y la inferencia de proposiciones a
partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones ms simples.Una lgica proposicional es un sistema
formal cuyos elementos ms simples representan proposiciones, y cuyas constantes lgicas, llamadas conectivas, representan operaciones sobre
proposiciones, capaces de formar otras proposiciones de mayor complejidad

Conectivos Lgicos A continuacin hay una tabla que despliega todas las conectivas lgicas que ocupan a la lgica proposicional, incluyendo
ejemplos de su uso en el lenguaje natural y los smbolos que se utilizan para representarlas.
CONJUNCIN
AFIRMA LA SIMULTANEIDAD DE DOS HECHOS, Y SER VERDADERA SI OCURREN AMBOS HECHOS.
CONECTIVAS: Y, PERO, MS, EMPERO, AUNQUE, SIN EMBARGO, SINO.
1) MARA Y ANA COMEN.
2) MARA COME, BEBE Y FUMA.
3) MARA Y ANA SON HERMANAS.
4) MARA Y ANA SE QUIEREN MUCHO.
5) MARA ES CASADA PERO ANA ES SOLTERA.

NEGACIN
LA NEGACIN ES UNA CONECTIVA MONDICA, AFECTA A UNA SOLA PROPOSICIN (ATMICA O MOLECULAR). EL RESTO DE LAS CONECTIVAS SON DIDICAS PORQUE AFECTAN A DOS
PROPOSICIONES.
CONECTIVAS: NO, NO ES CIERTO QUE, NO ES EL CASO QUE, ES FALSO QUE, NI, Y NO, PREFIJOS NEGATIVOS: -A, -DES, -IN, -ANTI.
1) MI SOCIO NO ES HONESTO.
2) MI SOCIO ES DESHONESTO.
3) NO ES CIERTO QUE MI SOCIO SEA HONESTO.
Negacion

Si niego la verdad obtengo falsedad

Si niego la falsedad obtengo la verdad

DISYUNCIN INCLUSIVA

ES INDIFERENTE QUE SE D UNO U OTRO HECHO, O AMBOS.

CONECTIVAS: O, U
1) PUEDO COMER POLLO O PESCADO.
2) NECESITO UN EMPLEADO QUE HABLE INGLS O FRANCS.

Disyuncion innclusiva: es indiferente que se de uno u otro echo o ambos

Conectivas: o, u

P: estudio

Q:veo televisin

DISYUNCIN EXCLUSIVA

PUEDE DARSE UNA DE LAS DOS OPCIONES.

CONECTIVAS: O.O, O BIEN O BIEN.

1) O TE VAS O LLAMO A LA POLICA.
2) O BIEN LO ENCONTRAREMOS VIVO O BIEN MUERTO.

CONJUCION
P: estudio

Q:veo televisin

CONDICIONAL
EN LAS PROPOSICIONES CONDICIONALES UNA PARTE ES EL ANTECEDENTE (SI) Y LA OTRA PARTE ES EL CONSECUENTE.

AL SIMBOLIZARLA, SIEMPRE SE COLOCA DELANTE EL ANTECEDENTE, Y EL CONSECUENTE DETRS DEL SIGNO.

CONECTIVAS: SI, SIEMPRE QUE, SLO S, ES CONDICIN NECESARIA, ES CONDICIN SUFICIENTE.
1) ES NECESARIO ENTRENAR MUCHO Y ALIMENTARSE SALUDABLEMENTE PARA SER UN ATLETA.
2) SI CUMPLES CON EL CONTRATO NO HABR SANCIONES.
3) ES CONDICIN SUFICIENTE QUE LO PIDAS PARA QUE TE LO PRESTE.
Condicional: P entonces q

Condicional: P entonces q (entonces indica compromiso, debe cumplirse el compromiso)

P: apruebo

Q: presto un libro

Condicional Suficiente, Necesaria.

P es una condicin suficiente para q
Siendo P verdadero es necesario que q sea verdadero para que la inficacion sea verdadera.
BIcondicional
Te presto el libro si apruebo
P: te presto el libro
Q:apruebo

ES LA CONECTIVA QUE EXPRESA LA EQUIVALENCIA ENTRE DOS PROPOSICIONES.

AL SIMBOLIZARLA, SIEMPRE SE COLOCA DELANTE EL ANTECEDENTE, Y EL CONSECUENTE DETRS DEL SIGNO.
CONECTIVAS: SI Y SLO SI, ES CONDICIN SUFICIENTE Y NECESARIA, ES EQUIVALENTE.
1) LA FSICA ES UNA CIENCIA FCTICA S Y SLO SI SU OBJETO DE ESTUDIO SON OBJETOS REALES.

TABLAS DE VERDAD
LAS CONECTIVAS SON EXTENSIONALES AL FORMAR UNA PROPOSICIN MOLECULAR SU VALOR DE VERDAD (VERDADERO O FALSO) SER EL RESULTADO DE COMBINAR LOS VALORES
DE VERDAD DE LAS PROPOSICIONES QUE LA COMPONEN DE ACUERDO CON EL SIGNIFICADO DE CADA CONECTIVA.
PARA CADA CONECTIVA ES POSIBLE CONSTRUIR SU TABLA DE VERDAD.
SI COMBINAMOS DOS VARIABLES PROPOSICIONALES
(p / q) CON ALGUNA CONECTIVA, USAMOS LA FRMULA 2 n (CANTIDAD DE VARIABLES NO REPETIDAS)

Razonamientos deductivos
EL RAZONAMIENTO ES UN TIPO ESPECIAL DE PENSAMIENTO EN EL CUAL SE REALIZAN INFERENCIAS: SE DERIVAN CONCLUSIONES A PARTIR DE PREMISAS.
UN RAZONAMIENTO ES UN CONJUNTO DE PROPOSICIONES TALES QUE ALGUNAS DE ELLAS LLAMADAS PREMISAS, SE PRETENDE QUE APORTEN PRUEBAS DE LA VERDAD DE LA
RESTANTE, LLAMADA CONCLUSIN.
Un razonamiento es un proceso por el cual se articulan ideas para llegar a una conlcusion

Es valido aquel razonamiento en el cual las premisas y la conclusin son validas

Va de lo general a lo particular

EXPRESIONES DERIVATIVAS:
A) PRECEDEN A LA CONCLUSIN:
POR LO TANTO, AS QUE, EN CONSECUENCIA, POR ENDE, LUEGO, POR CONSIGUIENTE.
B) PRECEDEN A LAS PREMISAS:
PORQUE, YA QUE, PUESTO QUE, PUES.

(RELACIONES ENTRE SIGNOS)

MODUS PONENS
Si de un antecedente ocurre un consecuente y el antecedente ocurre entonces debe ocurrir su consecuente
Modus ponens: si estudio apruebo, estudio, por lo tanto apruebo

Modus tollens
Di de un antecedente ocurre on consecuente y se sabe que el consecuente no ocurre podemos deducir que tampoco ocurre el antecedente
Modus tollens: si estudio apruebo, no estudie, por lo tanto no apruebo

SILOGISMO DISYUNTIVO
O tienes A o tienes B no tienes A asique tienes q
Silogismo disyuntivo: el sol brilla o esta lloviendo, el sol no brilla por lo tanto esta lloviendo

SILOGISMO HIPOTETICA: proposiciones condicionales, una depende de la otra

Si A esta condicionada a B y y B esta condicionada a C se puede decir que A se enlaca condicionalmente a C
Si comienza a haber flores comienza la primavera, si comienza la primavera los arboles darn frutos por lo tanto si comienza a haber flores los arboles darn frutos
Silogismo hipottico: si estudio apruebo, si apruebo me recibo por lo tanto estudio y me recibo

Razonamientos inductivos
- La verdad de la conclusin ser probable y tendr mayor posibilidad de ser verdadera cuanto mayor sea el nmero de casos.
- La conclusin no se deduce, sino que se infiere en algn grado de posibilidad.
- Las premisas adicionales modifican las probabilidades de la conclusin, hacindola ms o menos probable o incluso falsa si hubiera entre las
premisas un caso contrario al enunciado general. ESTO NO OCURRE EN LOS RAZONAMIENTOS DEDUCTIVOS (a esta caracterstica de los
razonamientos deductivos se la denomina "propiedad de la monotona".)
- La conclusin siempre dice ms que lo est contenido en las premisas (nos permite obtener un conocimiento nuevo).
- Amplan el conocimiento pero al precio de garantizar la verdad de la conclusin.

Son ampliativos: en la conclusin aparece informacin nueva

Son probabilsticos: no hay garanta de herencia de la verdad de las premisas a la conclusin
No tienen forma lgica: por lo tanto, no puede determinarse su validez o invalidez, sino su correccin o incorreccin (segn su probabilidad alta o baja)
un razonamiento es inductivo cuando laspremisas apoyan en menor o mayor grado las conclusin. Se observa un patrn, una regularidad
deresultados para repeticiones del mismo caso y, sobre la base de tal regularidad se infiere la regla. Es decir, si algo sucede siempre, pues es
lgico pensar que siga sucediendo.
TIPOS
+Razonamientos inductivos por enumeracin:

Razonamientos por numeracin: Es afirmar una generalizacin basada en la observacin de una muestra; es decir, se saca una conclusin acerca
de todos los miembros de una clase a partir de premisas que se refieren a algunos miembros observados de la clase en cuestin.

Si los casos A observados poseen la propiedad B slo en algn porcentaje, la conclusin ser un enunciado general estadstico.
 Se infiere una conclusin acerca de todos los miembros de una clase, a partir de premisas que se refieren slo a los miembros observados de la clase.

De lo particular a lo general
-En las premisas se enumeran individuos y sus propiedades. En la conclusin se generalizan dichas propiedades para todos los integrantes del
conjunto que los incluye.
-Se trata de una generalizacin: se extiende al conjunto lo observado en algunos individuos.
El oro es un metal y se dilata con el calor.
El cobre es un metal y se dilata con el calor.
El estao es un metal y se dilata con el calor.
El aluminio es un metal y se dilata con el calor.
Por ende, es probable que todos los metales se dilaten por el calor.

a es F y es G
b es F y es G
c es F y es G
_____________
Todo F es G

Generalizaciones. Universales

Afirmaciones acerca de todos (o ninguno de) los miembros de una clase.

Estadsticas
Afirmaciones sobre un porcentaje de los miembros de una clase.

+Razonamientos inductivos por analoga

Los argumentos por analogia se fundamenta en las relaciones de semejanzas existentes entre entidades diferentes, se hace una analogi entre dos o mas entidades cuando se afirma
que son similares en cuertos aspectos

Se afirman ciertas similitudes entre objetos, sobre la base de la presencia de otras similitudes ya constatadas efectivamente entre ellos.
Van de lo particular a lo particular.
-En las premisas se establece la semejanza entre individuos de dos clases distintas. Dada esta semejanza, se concluye que un
miembro de una de las clases posee tal o cual propiedad, porque los miembros de la otra clase la poseen
-Se basa en la comparacin entre individuos de dos clases diferentes.
Juan, Pedro y Mara son cordobeses y son muy simpticos. Acabo de conocer a Jos que tambin es cordobs. Seguramente, Jos es muy simptico.

a es F y es G
b es F y es G
c es F
____________________
Todo c es G
EJEMPLOS
Un vicepresidente no puede estar en contra de su presidente porque un mariscal de campo no puede estar en contra de su entrenador

+Silogismos inductivos

es un tipo de silogismo categrico cuya caracterstica principal es que la causa, el porqu de un hecho, se encuentra en la conclusin. 1

Silogismo inductivo
Si "una larga vida" se predica de "todos los hombres, caballos y mulas"
y "carentes de hiel" nicamente2 se predica de "todos los hombres, caballos y mulas
es necesario que "carentes de hiel" se predique de "los seres dotados de una larga vida"
La causa de que "todos los hombres, caballos y mulas" tengan "una larga vida" est en que todos ellos "carecen de hiel". "Carecen de hiel"
se encuentra en la conclusin, por lo tanto estamos ante un silogismo inductivo.

Enunciado general que expresa la frecuencia con la que una propiedad ocurre en un conjunto de objetos mediante porcentajes.
A un determinado caso se le atribuyen ciertas propiedades, sobre la base de que es un caso que cae bajo el dominio de una generalizacin estadstica
Va de lo general a lo particular
Parte de un enunciado estadstico en el que se asignan ciertas propiedades a una poblacin. En la segunda premisa se establece que
determinado individuo pertenece a dicha poblacin. Se llega a la conclusin de que es probable que tal individuo posea esas
propiedades.
El 80% de los cursos del turno maana de la Universidad est compuesto por alumnos de 18 aos. El curso 660 asiste a la Universidad en el turno maana. Es altamente probable que
sus alumnos tengan 18 aos.