Documentos de Académico
Documentos de Profesional
Documentos de Cultura
CORREO
cecyt1grupo1@hotmail.com
cecyt1grupo2@hotmail.com
cecyt1grupo3@hotmail.com
GRUPO
1IV1
1IV3
1IV6
FILOSOFIA II
LOGICA
PROFRA: MARIA ANGELICA DOMINGUEZ
4
MENDEZ.
ENERO 2012
Elementos
bsicos de
la lgica
5
UNIDAD I
Competencia particular
COMPETENCIA GENERAL
Demuestra la validez formal de los
razonamientos por medio de principales
mtodos deductivos, para la construccin
del conocimiento en trminos formales ,
distinguiendo argumentos correctos e
incorrectos, en la solucin de problemas
manifestados en los mbitos: escolar,
familiar y profesional.
7
RECONSTRUIR
NOMBRA
COGNOSCENTE
REPRESENTACION
SUJETO
CONCEPTUALIZA
ELEMETOS DEL
CONOCIMIENTO
OPERACIN DE
CONTACTO
ESTUDIO
OBJETO
CONOCIMIENTO
CUANDO EL SUJETO SE
ACERCA AL OBJETO
PARA ESTUDIARLO.
8
Si
Con que
facultades
Que es lo que
conocemos
Podemos
Conocer
No
- Empirismo
- Que es lo que
conocemos
- Racionalismo
- Nuestras
ideas
- Idealismo
- Los objetos
- Realismo
ESCEPTICISMO
TEORIA DEL
CONOCIMIENTO
PROBLEMA DEL
CONOCIMIENTO
LA CRITICA
GNOSEOLOGICO
LA TEORIA DEL
CONOCIMIENTO
EPISTEMOLOGIA
CRITERIOS DE
VERDAD
POSIBILIDAD
ORIGEN
ESCENCIA
TIPOS DE
CONOCIMIENTO
10
PROBLEMAS DE CONOCIMIENTO
POSIBILIDAD
pregunta
Es posible
conocer?
ORIGEN
problema
RAZON
CONCEPTO DE
VERDAD
ESENCIA
SUJETO
EXPERIENCIA
OBJETO
concepcin
EXPERIENCIA
Trascendente
11
Inmanente
TIPOS DE CONOCIMIENTO
FILOSOFICO
CONVENCIONAL
ESPONTANEO
RACIONALMENTE
REFLEXIVO
CIENTIFICO
SENTIDO
COMN
DISPERSO
UNIFICADO
SISTEMATICO
CONVENCIONAL
PROCESO
ORDENADO
REALIDAD DIVERSA
EXPLICA LA REALIDAD
EXTERIOR.
VISION COHERENTE
DE UN TODO
COMPROBACION
METODICO
LEYES GENERALES
HECHOS AISLADOS
SIN RELACION
PARA SOLUCION
INMEDIATA
VALIDACION DE
PROCESO
FACILITA
INVESTIGACION
OBSERVA
LEYES
AUNQUE EXISTA UN
NUEVO CONOCIMIENTO
EL SISTEMA NO CAMBIA POR
COMPLETO
12
13
El mtodo cientfico (del griego: -meta = hacia, a lo largo- -odos = camino-; y del latn
scientia = conocimiento; camino hacia el
SENSIBLE
CIENTIFICO
INTUITIVO
OTROS TIPOS DE
CONOCIMIENTO
ARTISTICO
DEMOSTRATIVO
REVELADO
14
SUJETO
EL QUE EJECUTA LA
ACCION DE CONOCER
OBJETO
COSA O PERSONA
CONOCIDA POR EL S.
RELACION
S-O
COGNOSCENTE
FACULTADES
COGNOSCITIVAS
COGNOSCIBLE
SENTIDOS
COGNOSCENTE
EL QUE PUEDE
CONOCER
REPRESENTACION
REPRODUCEN LOS
OBJETOS EN LA MENTE
INTELIGENCIA
COGNOSCIBLE
InmanenteDENTRO
PADRE-HIJO
TRASCENDENTE
TERMINOS
CORRELATIVOS
UNO SUPONE AL OTRO
15
Racionalismo
Apriorismo
ORIGEN
Intelectualism
o
Empirismo
Subjetivismo
Problemas
del
Conocimiento
ESENCIA
POSIBILIDAD
Idealismo
Fenomenalismo
Objetivismo
Realismo
Subjetivismo
Dogmatismo
Critiscismo
Relativismo
Pragmatismo
Escepticismo
Introduccin a la lgica
LOGOS
PENSAMIENTO
LOGICA
PENSAMIENTO
IK
REFERENCIA
CIENCIA
LEYES
PRINCIPIOS
COMO SE CONSTRUYE
LA MENTE
OBJETO
PENSAMIENTO
HUMANO
PSICOLOGA
ESTRUCTURA DEL
PENSAMIENTO
CORRECCION DE LA ESTRUCTURA
DE LOS PENSAMIENTOS HUMANOS
17
GRAMATICA
LA FORMA DE
EXPRESARLA
Aristtele
s
Padre de
la Lgica
18
LGICA
DEFINICIN
ETIMOLGICA
Logos =razn
ica = relacionado con
DEFINICIN FORMAL
La lgica es una ciencia que estudia las leyes
del pensamiento, su estructura, sus formas y
relaciones, as como la estructura de las
ciencias.
19
Estructuradel
del
Estructura
pensamiento
pensamiento
Psicologa
Psicologa
Lgica
Lgica
Estructuracorrecta
correctadel
del
Estructura
pensamiento
pensamiento
GRAMATICA
GRAMATICA
Formade
deestructurar
estructurar
Forma
pensamiento
elelpensamiento
Verificar
Verificar
Elprincipio
principiode
deidentidad
identidad
- -El
Elprincipio
principiode
delalano
no
- - El
contradiccindel
del
contradiccin
tercerexcluida
excluida
tercer
Formacorrecta
correctade
delos
los
Forma
Pensamientoshumanos
humanos
Pensamientos
20
LOGICA
LA CIENCIA DE LAS LEYES Y DE LAS FORMAS DEL
PENSAMIENTO, QUE NOS DA NORMAS PARA LA INVESTIGACION
CIENTFICA Y NOS SUMINISTRA UN CRITERIO DE VERDAD
TRATA DE LOS ARGUMENTOS Y LAS INFERENCIAS SU OBJETIVO
ES PROPORCIONAR MTODOS PARA DISTINGUIR CULES SON
LGICAMENTE CORRECTOS. WESLEY C. SALOMON.
ES EL ESTUDIO DE LAS FORMAS DE PROPOSICIONES DE
IMPLICACIONES VERDADERAS. DAVID MITCHELL
INVESTIGA LA RELACION DE CONSECUENCIA , QUE SE DA
ENTRE LAS PREMISAS Y LA CONCLUSION DE UN ARGUMENTO
CORRECTO. BENSON MATES.
21
IMPORTANCIA DE LA LGICA
EN INVESTIGACIN CIENTFICA
Suministrar el empleo correcto de los esquemas vlidos de
inferencia
Proporcionar la legalidad de los procedimiento deductivos,
inductivos, y analgicos
Dar bases para todas las operaciones de carcter racional.
Hacer coherente, consistente, sistemtico todo el proceso de la
investigacin cientfica
EN ACTIVIDADES NO CIENTFICAS
INVESTIGACION
DISTINGUIR LOS
PENSAMIENTOS
CORRECTOS DE
LOS INCORRECTOS
ESTRUCTURAR
LOS
PENSAMIENTOS
VIDA
COTIDIANA
DESARROLLO DE
NUEVAS IDEAS
EN TODAS LAS
CIENCIAS
CONECTA
ADECUADAMENTE
NUESTRAS VIDAS
ESTRUCTURA LOS
CONOCIMIENTOS A
OBTENER
SABER LA
INCORRECCCION
PROPORCIONA LAS
CONCEPCIONES
METODOLOGICAS
para desarrollar
IDEAS
AFIRMACIONES
CORRECTO
VERDADES
CIERTO
INCORRECTO
RAZONAMIENTO
24
FALSO
OBJETO DE ESTUDIO DE LA
LGICA
FORMAL
TEMA
COSA
MATERIAL
Constituido por
las formas
mentales
CONTENIDO
PENSAMIENTO
CONCEPTO
REPRESENTACION
MENTAL DE OBJETOS
RAZONAMIENTO
PENSAMIENTOS VERDADEROS
PENSAMIENTOS CORRECTOS
Semntico
ANTROPOLOGIA
HISTORIA
HOMBRE
METAFISICA: ESENCIA
DEL PENSAMIENTO.
JUICIO
Sintctico
ANATOMIA
LOGICA
MATEMATICAS
NUMEROS
ANATOMIA
CONSTRUCCION FISICA
DEL HOMBRE
PSICOLOGIA
ALMA DEL
HOMBRE
HISTORIA
HECHOS
RELEVANTES
DEL HOMBRE
25
DIVISION DE LA LOGICA
LOGICA FORMAL
SIMBOLICA O MATEMATICA
Revisa
las
formas
del
pensamiento
Concepto, Juicio y Razonamiento.
Los estoicos
llaman a la lgica "dialctica"
pasando a formar parte del trvium integrado por la
gramtica, la retrica y la dialctica. silogismos
Establece
las
condiciones
para
coherencia a las formas del pensamiento.
Considera la forma o estructura
razonamiento y no su contenido o materia .
de
dar
un
26
LOGICA FORMAL
La ms importante caracterstica de la lgica simblica es el extendido uso de smbolos especiales que le
permiten liberarse de los lenguajes naturales y la aproximan al lenguaje de la matemtica
PROPOSICIONAL
ESTUDIA LAS FORMAS EN LAS
QUE SE REALACIONAN LAS
DIFERENDTES
PROPOSICIONES,
PARA
ESTABLECER LAS REGLAS DEL
PENSAMIENTO CORRECTO.
ORGANIZA DATOS
SIMBOLICA
PLANTEA LAS REGLAS DEL
CALCULO POR MEDIO DE
SIMBOLOS.
A TRAVS DE LOS SIMBOLOS
CONSTRUYE
MODELOS
FORMALES PARA ANALIZAR LAS
FORMAS DEL PENSAMIENTO.
27
Pensamiento
correcto
RAZN SIFICIENTE
Principio
IDENTIDAD
CADA COSA ES
IDENTICA ASI MISMA
Y NO CAMBIA EN SU
CONCEPCIN
A es A
NO CONTRADICCIN
TERCER EXCLUIDO
NO HAY POSIBILIDAD
PARA UNA TERCERA
OPCIN ENTRE DOS
AFIRMACIONES
OPUETSAS
A es A
Es imposible que A
sea B y no sea B
TODOS LOS HOMBRES SON MORTALES
ALGUNOS HOMBRES NO SON MORTALES
Lgico
Pensamiento
humano
VoF
Lgica y relacin
Con la construccin del
conocimiento
Construye
razn
EXISTEN
PENSAMIENTOS
Pensamiento
humano
Verdaderos
Correctos
Pueden ser
Realidad
Incorrecto
SE PUEDE MODIFICAR
VOF
PENSAMIENTO FORMAL
Correcto
PRINCIPIO DE IDENTIDAD
PRICIPIO DE NO CONTRADICCIN
Pensamiento
Verdadero
Es aquel que concuerda
con
la
realidad
concreta y se puede
verificar. (V-F).
Correcto
Estructura
del
pensamiento
humano que no presenta
incongruencias internas y que no
esta fuera del las reglas del
pensamiento formal. (correctoincorrecto). A travs de
o
o
o
o
PRINCIPIO DE IDENTIDAD
PRINCIPIO DE LA NO
CONTRADICCION
PRINCIPIO DEL TERCER EXCLUIDO
&PRINCIPIO DE LA RAZON
SUFICIENTE&
30
Concepto de verdad
1ro. El objeto es
primero concepcin
trascendente, la
verdad del
conocimiento radica
en la concordancia
del contenido de la
idea con el objeto
que se estudia.
2do. El sujeto es
primero concepcin
inmanente y se
postula que la verdad
del conocimiento es
la concordancia del
pensamiento consigo
mismo.
31
Giuseppe Peano
Nace el 27 de agosto de 1858
en Cuneo, Piamonte, Italia
Concepto
Trmino
Juicio
Proposicin
Enunciado declarativo
Razonamiento
Argumento
CONCEPTO
CONCIPIO: ABARCAR O
RECOGER CON LA
MENTE
permite
tenemos
PENSAMIENTO
COMUN
VIVENCIAS
IMAGEN
necesitamos
CARACTERISTICAS
ESCENCIALES DE UN
OBJETO
PALABRA
TERMINO
CONJUNTO DE
PALABRAS POR MEDIO
DE LAS CUALES SE
EXPRESA UN
CONCEPTO
responde a
SENSACIONES
FORMA DE EXPRESION
DE UN CONCEPTO
35
DEFINICIN
ETIMOLGICA.
Concepto.- Verbo latino que
quiere decir abarcar o
recoger con la mente
DEFINICIN FORMAL..
....... es la representacin de un
objeto en el plano de la razn sin
afirmar o negar nada de l .......
36
casa
energa
metales
oro
geometra
independencia
belleza
37
Extensin:
que se refiere.
A mayor comprensin menor extensin
39
Propiedades de
los conceptos
COMPRENSION
EXTENCION
Es la referencia que el
concepto hace a los
objetos
La comprensin del concepto
"hombre" es "animal racional".
La extensin del concepto
"hombre" est dada por
esa referencia, que el
concepto hace a todo lo
que es hombre
La
comprensin
del
concepto est dada por su
definicin;.
La extensin esta
dada
por
su
aplicacin
40
Cruz
Azul
1 divisin
Profesional
Ftbol
Deporte
Actividad fsica
41
EL CONCEPTO
Es la comprensin de cualquier cosa sin afirmar o negar de l
Es la representacin abstracta, mental de un objeto.
vs
UNIVERSAL
ABSTRACTA
IMAGEN
PARTICULAR
SENSIBLE
42
43
Poeta
Viviente
Mario
Benedetti
Hombre
Artista
44
TRMINOS
45
46
OPERACIONES CONCEPTUADORAS
Divisin, clasificacin, definiciones
Divisin
Separacin del todo en sus partes
La divisin lgica es la operacin que va
de los gneros a las especies.
Clasificacin
Va De las especies al gnero. Obtenidas las especies,
puedo descubrir lo que hay de comn en ellas.
Lo que hay de comn en los mamferos, aves, peces,
reptiles y batracios es que tienen columna vertebral.
Reglas
1. Se deben tomar en cuenta las caractersticas
realmente importantes
2. La caracterstica tomada como criterio no debe
cambiar durante el mismo proceso.
3. La enumeracin debe ser completa
4. Debe seguirse un orden
48
DEFINICIN
Definir un concepto es precisar sus lmites de tal manera
que no se confunda con otros
REGLAS
1. La definicin debe ser ms clara que lo definido.
2. La definicin no debe ser circular el tringulo es
tringulo
3. La definicin no debe darse en trminos negativos
4. La definicin de una vaca no es un toro
49
LA PROPOSICIN JUICIO
El juicio es..... La segunda operacin de la
mente, ....La estructura lgica fundamental
El juicio es una sentencia que dicta nuestro
intelecto.
El juicio es un acto mental de la proposicin
que es su expresin verbal; manifestacin
externa mediante la palabra.
50
EJEMPLOS
Las tormentas solares son causa del incremento de
infartos
Los estudiantes no aprenden todo lo que se les ensea
El dimetro es una lnea que divide al crculo en dos partes
iguales
El juicio proposicin
Una vez captada una idea o un conjunto de ideas
relacionadas entre s, la mente afirma o niega su
existencia
Hoja --- --- verde
Esta hoja es verde
Se compone de 3 elementos
Sujeto
De quien se
Habla afirma
o niega
copula
verbo
es
predicado
lo que se
afirma o se
niega
54
55
Co
n
SUBALTENAS
SUBALTENAS
Contrarias
tra
s
a
i
diicctor
d
t
a
r
o
t
n
r
o
ias
C
Subcontrarias
O
56
AFIRMATIVAS
CUALIDAD
NEGATIVAS
CLASIFICAC
IN
DE LAS
PROPOSICIO
NES
UNIVERSAL
CANTIDAD
PARTICULAR
57
UNIVERSAL AFIRMATIVO
Todo S es P (todo hombre es sabio)
UNIVERSAL NEGATIVO
Ningn S es P (ningn hombre es sabio)
PARTICULAR AFIRMATIVO
PARTICULAR NEGATIVO
58
Contradictorias:
no
pueden
ser
simultneamente
verdaderas
ni
simultneamente falsas de la verdad de
alguna de ellas se infiere inmediatamente la
falsedad de la otra
Si todo hombre es mortal (es verdadero)
forzosamente
Algn hombre no es mortal (es falsa)
60
si
Las
subcontrarias:
no
pueden
ser
simultneamente
falsas
si
pueden
ser
simultneamente verdaderas por eso de la
falsedad de uno se infiere la verdad de la otra
pero de la verdad de una no puede inferirse la
falsedad de la otra.
L
E
N
O
Z
A
IE
M
A
O
T
N
65
EL RAZONAMIENTO
El raciocinio es el proceso mental que consiste en una conexin de juicios que
relacionados entre si entregan una conclusin.
Expresin verbal: a las palabras que lo expresan se le llama argumento.
Elementos del razonamiento:
PREMISAS,
PROPOSICIONES
PREVIAMENTE
ACEPTADAS
COMO
VERDADERAS.
CONCLUSIONES: PROPOSICIONES DERIVADAS A PARTIR DE LAS
PREMISAS
NEXO: UNION ENTRE PREMISAS Y CONCLUSION O CONCLUSIONES
CONSECUENCIA: ESTA SE DA SI Y SOLO SI EL NEXO PROCEDE.
Ejemplo:
1) Siempre que voy al centro, me duele la cabeza
2) Ayer fui al centro
3) Por lo tanto, me doli la cabeza
PREMISAS
CONCLUSION
NEXO
66
La materia o contenido
Es todo aquello que contiene un razonamiento, es decir,
conceptos y juicios que pueden ser universales, particulares.
Todos los futbolistas mexicanos son campeones, (juicio universal
afirmativo)
Jorge es futbolista mexicano (juicio particular afirmativo)
Por consiguiente, Jorge es un campen (juicio singular afirmativo).
68
Premisas
Trmino de enlace
Conclusin
Gasparn es invisibles
PRINCIPIOS
EXPLICATIVOS
GENERALES A
PARTIR DE LOS
FENOMENOS O
CASOS
PARTICULARES
SEPARA LOS
ELEMENTOS DE
UN TODO PARA
ESTUDIARLOS
MAS FACILMENTE
ANALTICO
INDUCTIVO
TIPOS DE
RAZONAMIENT
O
DEDUCTIVO
SINTTIC
O
ANALGO
DERIVAR
ENUNCIADOS
ACERCA DE LOS
FENOMENOS A
PARTIR DE LAS
PREMISAS
BUSCA SEMEJANZAS
GENERICAS PARA
PROPONERLAS EN EL
ESTUDIO DE
DIFERENTES
SITUACIONES
ES LA
UNIFICACION
DE LAS PARTES
EN UN TODO
70
DEDUCTIVOS
Este razonamiento se caracteriza porque
siendo, las premisas verdaderas, la
conclusin tiene que se verdadera , no
puede ser falsa.
Ninguna enfermedad producida por
virus, puede ser atacada por virus.
El Sida es una enfermedad
producida por virus
Por lo tanto, el sida no puede ser
atacad con antibiticos
VA DE LO GENERAL A LO
PARTICULAR
INDUCTIVOS
Este tipo de razonamiento se
caracteriza porque, por muy bien hecho
que este no da conclusiones
absolutamente verdaderas, solo
probables.
?
??
SILOGISMO
Razonamiento deductivo y una inferencia mediata compuesta por tres
juicios categricos y por tres trminos que se repiten dos veces.
Consiste en una inferencia que se produce a partir de la existencia de dos
premisas (A,B), de las que se deriva necesariamente una conclusin (C),
que es, junto con las premisas una proposicin categrica.
Ejemplo
SILOGISMO
Presencia
de
Proposiciones
categricas,
que
pueden ser del tipo
A, E, I, O.
Cada Proposicin categrica
consta de un Sujeto (S) y un
Predicado (P).
PREMISA MAYOR
PREMISA MENOR
CONCLUSION
SILOGISMO
materia
PRXIMA
TRES
PROPOSICIONES
REMOTA
TRES
TERMINOS
PREMISA
MAYOR
MAYOR
PREMISA
MENOR
MENOR
CONCLUSION
MEDIO
77
CLASE
DENOMINACIN
ESQUEMA
EXPRESIN-EJEMPLO
Universal
Afirmativo
Todo S es P
S: Universal P: Particular
Universal Negativo
Ningn S es P
S: Universal P: Universal
Particular
afirmativo
Algn S es P
S: Particular P: Particular
S: Particular P: Universal
78
De la
primer
figura
De la
segunda
figura
De la
tercera
figura
MODOS VLIDOS
CONDICIONES DE
VALIDEZ
PREMISA UNVERSAL
PREMISA AFIRMATIVA
PREMISA UNIVERSAL
UNA DE LAS DOS PREMISAS ES
NEGATIVA
PREMISA AFIRMATIVA
CONCLUSION PARTICULAR
PREMISA AFIRMATIVA
De la cuarta
figura
PREMISA UNIVERSAL
PREMISA AFIRMATIVA
CONCLUSION PARTICULAR
79
Aristteles distingue cuatro formas vlidas de silogismo, conocidas tradicionalmente como figuras del silogismo, y que resultan del distinto
lugar que ocupa el trmino medio, y por lo tanto de la funcin que le corresponde, en las premisas. La conclusin de todas las figuras es
siempre S es P. Las formas vlidas o figuras del silogismo son las siguientes (aunque la ltima fue considerada por Aristteles como
una mera variante de la primera):
7.
Estas cuatro figuras pueden, a su vez, teniendo en cuenta la cualidad y la cantidad de las proposiciones que las componen. Las formas vlidas
del silogismo, o figuras del silogismo
P es M
S es M
---------S es P
M es P
M es S
---------S es P
P es M
M es S
---------S es P
El trmino medio es
Predicado en ambas
premisas
El trmino medio es
Predicado en la premisa
mayor y Sujeto en la menor
P
M
80
M
S
EJEMPLOS
1.
Premisa mayor
2.
Premisa menor
3.
Conclusin
83
NOMBRE
PREMISAS
MODO
JUICIO
FIGURA
Premisa mayor
Premisa menor
FERIO
M es P
S es M
---------S es P
Conclusin
NOMBRE
PREMISAS
JUICIO
MODO
FIGURA
BARBARA
M es P
S es M
---------S es P
Premisa mayor
Premisa menor
Conclusin
84
1.
Premisa mayor
2.
Premisa menor
3.
Conclusin
4.
Premisa mayor
5.
Premisa menor
6.
Conclusin
7.
Premisa mayor
8.
Premisa menor Todos los artrpodos son animales con simetra bilateral
9.
Conclusin
86
SEGUNDO
~
DEPARTAMENTAL
Negacin
Disyuncin
Conjuncin
Bicondicional
Condicional
Disyuncin inclusiva
Disyuncin exclusiva
88
UNA
UNA PROPOSICIN
PROPOSICIN MOLECULAR
MOLECULAR SE
SE FORMA
FORMA
::
DE
DE
Una
Una proposicin
proposicin atmica
atmica yy el
el
conectivo
conectivo negacin
negacin
Dos
Dos proposiciones
proposiciones oo ms
ms yy
uno
uno oo varios
varios conectivos
conectivos
90
Negacin,
Conjuncin,
Proposiciones Disyuncin,
Condicional o
compuestas
implicacin
Bicondicional
91
A
C
I
O
I
G
C
I
O
S
L PO Y
A
O
L
C
R
A
I
P
N OL
LOGICA SIMBOLICA
LOGICA
MATEMATICA
LOGICA SE
MATEMATICA,
LOGISTICA.
LE
LLAMA
SIMBOLICA,
NEGACIN
REGLA: LA NEGACION LE CAMBIA EL VALOR
A TODA LA PROPOSICIN. SIMBOLO ~
Si P es verdadera no P
es falsa
La NEGACIN es el
primer conectivo
As P = verdadera y
no P = es falsa
Su simbolizacin es
Negacin ~
Tabla de verdad
~P
V
100
EJEMPLOS
Leonardo no gan la competencia
, ~ LEONARDO GANO LA COMPETENCIA
p, ~p SE LEE NO P
Paris no est en Francia
p, ~p SE LEE NO P
El nmero 10 no es un nmero par
p, ~p SE LEE NO P
101
CONJUNCIN
LA CASA ES GRIS Y ES VIEJA
P
Q
P Q
V V
V F
F V
F F
2 N = NUMERO DE
PROPOSICIONES.
CONJUNCIN
REGLA
La conjuncin solo es verdadera
cuando ambos premisas son
Verdaderas.
102
EJEMPLOS
Juan est aqu y Erika ha salido
Para llegar a una solucin:
Se divide la proposicin molecular y se simboliza cada Proposicin
A= Juan est aqu
B= Erika ha salido
Se identifica el conector lgico y se sustituye por su smbolo
Solucin: A & B
A ^ B. SE LEE A Y B
103
DISYUNCIN (V)
UN COCHE ECONOMICO O DE MARCA NISSAN
P
V
Q
Q P
REGLA
LA DISYUNCIN SOLO ES FALSA
CUANDO AMBOS (PREMISAS)DISYUNTOS
SON FALSOS.
EL VALOR DE LA PROPOSICIN
MOLECULAR
ES EL VALOR DE VERDAD DEL CONECTIVO
O, O-O DISYUNCION
104
LA DISYUNCION SE DIVIDE
EXCLUSIVA
INCLUSIVA
Sus dos proposiciones
disyuntivas pueden ser
compatibles.
SOLO ES VERDADERA
CUANDO UNA Y SOLO
UNA DE LAS PREMISAS
ES VERDADERA.
V SIMBOLO
V SIMBOLO
105
SE LEE C O D
106
CONDICIONAL O IMPLICACIN ()
Q P
Q
V
REGLA
LA IMPLICACIN O CONDICIONAL
SOLO
ES
FALSA
CUANDO
EL
ANTENCEDENTE ES
VERDADERO Y EL CONSECUENTE ES
FALSO.
ES FALSA CUANDO LA PREMISA
CONSECUENTE ES LA UNICA FALSA
Q
107
ANTECEDENTE
CONSECUENTE
SE LEE SI C ENTONCES D
108
BICONDICIONAL ( )
Abigail es feliz
Proposicion 1
P
Abigail es feliz
V
V
F
F
V
F
F
V
V
V
F
F
Q
Alejandro esta con ella
P Q P
V
F
V
F
si y solo si
V
F
V
F
pq
si y solamente si.
REGLA
ES VERDADERA
CUANDO LOS VALORES DE VERDAD
DE LAS PROPOSICIONES SON IGUALES,
ES FALSA SI LAS DOS PREMISAS
TIENEN
VALORES DIFERENTES.
109
EJEMPLO
Londres est en Inglaterra si, y solamente si, Pars est en Francia
Sea p Londres est en Inglaterra (V)
q Pars est en
Francia (V),
Entonces tanto el valor de p, como de q, son
verdaderos, es decir tienen el mismo valor de verdad,
luego entonces la bicondicional p q es
verdadera
110
(P ^ Q )
LLEGAR TEMPRANO
TRABAJAR
P
V
V
V
V
F
F
F
F
Q
V
V
F
F
V
V
F
F
R
V
F
V
F
V
F
V
F
(P
V
V
V
V
F
F
F
F
^
V
V
F
F
F
F
F
F
Q)
V
V
F
F
V
V
F
F
V
V
V
V
F
V
F
V
F
R
V
F
V
F
V
F
V
F111
BIBLIOGRAFIA
GONZALEZ SANCHEZ, JORGE. (2010). LOGICA PARA J OVENES
DEL
TERCER MILENIO. GRUPO PERSPECTIVA CRITICA.
CHAVEZ CALDERON, PEDRO.(2004).LOGICA INTRODUCCION A
LA
CIENCIA
DEL RAZONAMIENTO, ED. 2DA. ED.
PUBLICACIONES CULTURALES.
GUTIERREZ SAENZ, RAUL. (2004). INTRODUCCION A LA LOGICA.
ED.
ESFINGE. ED. 7. MEXICO.
ESCOBAR VALENZUELA, GUSTAVO. (2004). LOGICA NOCIONES
Y ALICACIONES, ED. MCGRAWHILL, MEXICO.
DIVERSAS PAGINAS DE INTERNET.
112
UNIDAD III
MTODOS
LGICOS PARA LA
DEMOSTRACION
DE ARGUMENTOS
113
(p V q)
F
114
[(pq)
^~p]
^p
F F
F F
V V
V V
115
CONTINGENCIA:
es una proposicin cuyos valores, ni son todos
verdaderos ni son todos falsos.
[(pq)
^p]
116
LEYES DE IMPLICACION
EXISTEN REGLAS QUE NOS PERMITEN SABER SI UN ARGUMENTO ES
VALIDO O NO VALIDO, ESTAS REGLAS SE LLAMAN:
LEYES DE IMPLICACION
& MODUS PONENDO PONENS
& MODUS TOLLENDO TOLLENS
& MODUS TOLLENDO PONENS
LEYES DE EQUIVALENCIA
117
M.P.P
MT.T.
M.T.P
pq
pVq
~ P
~P
~ q
EMPLEA LA REGLA DE LA
CONDICIONAL, ES DECIR QUE SI
AFRIRMAMOS COMO VERDADERO
EL
ANTECEDENTE,
ES
UNA
CONDICIONAL,
ENTONCES
TENDREMOS COMO CONCLUSION
LA
AFIRMACION
DEL
CONSECUENTE
LA CONECTIVA DE LA DISYUNCION,
Y SIGNIFICA MODO
EN QUE
NEGAMOS AFIRMAMOS.
118
Premisa 2
119
ejemplo
(P) Los soldados son hroes
(q)
Simbolizamos el argumento
1.-
2.-
3.-
~p
~q
120
P2
Pedro es veracruzano,
CON.
(MTT),
122