INTRODUCCION A

LA LOGICA, EL
CONJUNTO DE
NUMEROS REALES Y
TEORIA DE LA
PROPORCION
jrodriguez@unica.edu.
pe
Cel: 956714695

Rodriguez Aguayo J. Daniel L.

LOGICA, INFERENCIA
Y ARGUMENTACION

EL CONJUNTO DE LOS
NUMEROS REALES Y
CRITERIOS DE
PROPORCIONALIDAD

TEORIA DE
LA
PROPORCIO
N

LOGICA INFERENCIA Y
ARGUMENTACION

EL CONJUNTO DE LOS
NUMEROS REALES Y
CRITERIOS DE
PROPORCIONALIDAD

TEORIA DE LA
PROPORCION

http://es.wikipedia.org/wiki/Logica

LOGICA deriva delgriego antiguologik, que

significa dotado de razn, intelectual, dialctico,
argumentativo, que a su vez viene de (
lgos), palabra,pensamiento,idea,argumento,
raznoprincipio.

LOGICA
( CIENCIA FORMAL )

( ESTUDIA LOS PRINCIPIOS DE LA

DEMOSTRACION E INFERENCIA
y

VALIDA )

LOGICA

conjuntos sistemticos de conocimientos

racionales y coherentes, que se ocupan del
estudio de los procesos lgicos y
matemticos

proceso por el cual se derivan

conclusiones a partir de
premisas.

PQR

Investiga los principios por los cuales algunas inferencias son aceptables, y otras no.
una inferencia es VALIDA, cuando lo es por suestructura lgica y no por el contenido
especfico del argumento o el lenguaje utilizado.

TABLA DE VERDAD

Inferencia Logica y
La lgica muestra
como a partir de un conjunto de enunciado denominados
argumentacin

premisas podemos derivar o inferir una conclusin. La lgica garantiza que

si las premisas son verdaderas, la conclusin tambin ser necesariamente
verdadera o dicho de otra forma que no es posible que de premisas
verdaderas se siga una conclusin falsa.

Argumentar es inferir o derivar, de un conjunto de enunciados

denominados premisas, otro enunciado denominado conclusin que se
sigue o es deducible de las premisas. A la inversa, se puede afirmar que las
premisas implican la conclusin.

((

SI INGRESAS A LA FACULTAD DE
ARQUITECTURA

) (

SI APRUEBAS EXITOSAMENTE LOS

CURSOS

( P Q ) R
http://www.uv.es/mariaj/razon/razonamientoold/TEMA5.pdf

))

TE GRADUARAS COMO ARQUITECTO

ENTONCES
PORQUE ESTUDIAR
LA INFERENCIA
LOGICA?

La logica como modelo

de argumentacion
correcta
La lgica es una especie de
control de calidad de nuestras
argumentaciones.
La validez lgica es independiente de la verdad o
falsedad de las premisas. Un argumento es lgicamente
vlido si, y slo si, entre las premisas y la conclusin
hay una relacin de implicacin. Importa la forma y la
conclusin de las premisas, no necesariamente su

.
La inferencia hace posible
procedimientos mediante el
cual se logra hacer una
prediccion y probar su validez.
contenido

2
http://www.uv.es/mariaj/razon/razonamientoold/TEMA5.pdf

INFERENCIA Y
EQUIVALENCIA
LOGICA

PQ
ANTECEDENTE, HIPOTESIS
suposicin de algo posible o imposible para sacar
de ello una consecuencia

( P ( Q S ))

CONSECUENTE, TESIS
una afirmacin cuya veracidad ha sido argumentada

((PQ)(PS))

( P ( Q S ))

((PQ)(PS))

( P ( Q S ))

((PQ)(PS))

EQUIVALENCIA LOGICA

EQUIVALENCIAS NOTABLES
La doble negacin o ley de la involucion
~(~P) P

Idempotencia
Definicion de la absorcion
(P P) P
(P (P Q )) P
(P P) P
(P (P Q )) P

(P (~P Q )) P Q
Conmutacion
(P (~P Q )) P Q
(P Q) (Q P)
Expansion
(P Q) (Q P)
P
(P (Q ~Q ))
(P Q) (Q P)
P (P (Q ~Q ))

(P Q) ((P(P Q))
Asociacion
(P Q) ((Q(P Q))
(P ( Q R )) ((Q P) R)

(P ( Q R )) ((Q P) R)
Transposicion
(P ( Q R )) ((Q P) R)
(P Q) (~Q~P)

(P Q) (~Q~P)
Distribucion

(P ( Q R )) ((P Q) (P R))
Exportacion
(P ( Q R )) ((P Q) (P R))
((P Q) R) ((P(QR))
(P ( Q R )) ((P Q) (P R))

(P ( Q R )) ((P Q) (P R))
IMPLICACIONES NOTABLES

Leyes de morgan
Ley del Modus Ponendo Ponens
(P Q) ~(~P ~Q)
(PQ) P Q
(P Q) ~(~P ~Q)

~(P Q) (~P ~Q)

Ley del Modus Tollendo tollens
~(P Q) (~P ~Q)
(PQ) ~Q ~P

Definiciones de condicional
Ley del silogismo disyuntivo
(PQ) (~P Q)
(P Q) ~P Q
(PQ) ~(P ~ Q)

Ley de Simplificacion
Definiciones de bicondicional
(P Q) P
(P Q) ((PQ) (QP))
(P Q) Q
(P Q) ((P Q) (~Q ~P))

Ley de adicion
P (P Q)
Q (Q P)

Ley del Silogismo Hipotetico Puro

((PQ) (QR)) (PR)

Ley de la transitividad simetrica

((PQ) (QR)) (PR)

Ley del Dilema constructivo compuesto

((PQ) (RS) (P R)) (Q S)

Ley del Dilema constructivo compuesto

((PQ) (RS) (~Q ~S)) (~P ~R)

LEYES DE COMPLEMENTACION
(P ~Q ) T
~T C
(P ~P) C
~C T

En el siglo IV a.C. surgiendo de la praxis de la

academia platnica, se tiene la monumental obra
de Aristteles, discpulo de Platn, que consiste en
la primera construccin de los fundamentos de la
Lgica como la ciencia formal del razonamiento.
Aristteles menciona al matemtico y filosofo
griego Zenn de Elea discpulo de Parmnides
como el fundador de la Dialctica, obviamente
Zenn no poda enunciar sus famosas paradojas
sin conocimiento de algunos principios lgicos. A
Zenn se le atribuye la invencin del mtodo de
demostracin indirecto llamado reduccin al
absurdo en el siglo V a.C. al contrastar una
hiptesis con otra y demostrar indirectamente la
verdad de una de ellas por la obtencin de una
contradiccin

TECNICAS DE
DEMOSTRACION
LOGICA
Y
ARGUMENTACION

( P ( Q S ))

((PQ)(PS))

P(QS
)

{ 2 } 1, D.CONDICIONAL

~P(QS)

{ 3 } 2, DISTRIBUTIVIDAD

(~ P Q) (~ P S )

{ 4 } 3, D.CONDICIONAL

((PQ)(PS))

{ 1} HIPOTESIS

DEMOSTRACION POR
RAZONAMIENTO
DIRECTO

{ 5 } 1,2,3,4

( P ( Q S )) ( ( P Q ) ( P S ) )

DEMOSTRACION POR
RAZONAMIENTO
INDIRECTO

PQ
~(P Q)

VERDAD

NEGACION DE LA VERDAD

FALSEDAD
CONTRADICCIO
N
T ~T

( P ( Q R ))

{ 1}

~[

((PQ)(PR))

((P(QR)) ((PQ)(PR))

~ [ ~( ( P ( Q R ) )

{ 2 } 1, D.CONDICIONAL

(QR)

((PQ)(PR))

(Q R)

~( QR)

T ~T

]
]

~ [ ~( Q R )

{ 3 } 2, SIMPLIFICACION

{ 4 } 3, INVOLUCION

DEMOSTRACION POR
RAZONAMIENTO
INDIRECTO

]
CONTRADICCION

( P ( Q S ))

((PQ)(PS))

( P ( Q S )) ( ( P Q ) ( P S ) )

( ( P Q ) ( P S )) ( P ( Q S ))

ES EQUIVALENCIA
LOGICA?

TRABAJO N 1
1.- REALIZAR UNA MONOGRAFIA BREVE ACERCA DE FALACIAS

2.- DEMOSTRAR POR RAZONAMIENTO DIRECTO O

INDIRECTO:

((P Q) P) R) ) (Q R)
((P Q) ~ Q ) S) ) (~P S)
(P(Q R)) (P Q)
(PQ ) (~Q ~P)
((PQ ) (PQ )) ((P R) (Q S ))

http://www.uv.es/mariaj/razon/razonamientoold/TEMA5.pdf

LOGICA
PROPOSICIONAL Y LA
ARGUMENTACION

EL CONJUNTO DE LOS
NUMEROS REALES Y
CRITERIOS DE
PROPORCIONALIDAD

TEORIA DE
LA
PROPORCIO
N

CONJUNTOS
UN TERMINO ES UNA EXPRESION QUE DESCRIBE O
NOMBRA ALGO (OBJETO)
LA PROPIEDAD FUNDAMENTAL DE LOS TERMINOS
ES LA EXTENSION
LA EXTENSION DE UN TERMINO ES UNA CLASE O
CONJUNTO
EXISTEN ENTONCES OBJETOS ALGUNOS DE LOS
CUALES SON LLAMADOS ELEMENTOS Y SU
EXTENSION CONJUNTOS

Inclusion de conjuntos
DEFINICION
AB (x
CONJUNTOS

IGUALES

DEFINICION

A=B (AB

RELACIONES
FUNDAMENTALES
ENTRE CONJUNTOS

UNION DE CONJUNTOS

DEFINICION
A UB = {x/ x
x A UB) (x

INTERSECCION DE CONJUNTOS

DEFINICION
A B = {x/ x
x (A B ) (x
DIFERENCIA DE CONJUNTOS

DEFINICION
A - B = {x/ x
x (A -B ) (x

OPERACIONES
ENTRE CONJUNTOS
COMPLEMENTO DE CONJUNTOS

DEFINICION
SI A B
A = {x/ x
A (x
DIFERENCIA SIMETRICA DE CONJUNTOS
DEFINICION
A B = (A-B) U (B-A)
A B = (AU B) - (A B)