UNIVERSIDAD NACIONAL DE SALTA SEDE REGIONAL TARTAGAL

Facultad de Ciencias Econmicas, Jurdicas y Sociales

LGICA

CARRERA: Contador Pblico Nacional

CTEDRA: Matemtica I

2.012

Aux. Doc. de : T.U.P Horacio Miguel Lafuente

Temario
Introduccin
Proposiciones Tablas de Verdad Conectivos Lgicos Operaciones Lgicas Tautologa Contingencia Contradiccin Implicaciones Asociadas Formas o Funciones Proposicionales

Cuantificacin
Mtodos Axiomticos Bibliografa

Introduccin
Etimologa La palabra lgica proviene del griego LOGOS y se traduce por palabra, razn, discurso.
RAZONAMIENTO MATEMTICO

Tener Precaucin

Inductivo

Deductivo

Seguro

La lgica permite deducir de manera precisa la validez de un razonamiento matemtico. Deducir es razonar en matemticas

Proposiciones
Una proposicin es una oracin de la cual puede decirse que es Verdadera () o Falsa . En una proposicin debemos distinguir: sujeto, verbo y predicado.

El sentido de verdad de una proposicin es que la misma sea demostrable. Si () es verdadero: = Si () es falso: =

= ; , , ,

Proposiciones
Las oraciones interrogativas, exclamativas o de las cuales no pueda demostrarse su valor de verdad no son proposiciones: ?. ! . . . E . , .

Proposiciones
CLASIFICACIN: Proposicin Simple: proposicin que no puede separarse en otras proposiciones. : Proposicin Compuesta: proposicin que puede separarse en otras proposiciones :

Tabla de Verdad
Una Tabla de Verdad es un cuadro de fcil interpretacin que contiene las proposiciones y sus valores lgicos. : = : 4 =

Proposiciones
Valores Lgicos

* Un nmero primo es divisible por si mismo y por la unidad

Conectivos Lgicos - Operaciones Lgicas

Conectivos Lgicos (o Conectores Lgicos): smbolos que se emplean en las Operaciones Lgicas. Operaciones Lgicas: procesos que permiten obtener proposiciones a partir de otras.

Negacin
La Negacin de una proposicin es la proposicin ~ , cuyo valor de verdad es contrario al de la proposicin .

~ F

: ~ : : ~ :

~ ~ V F F V

Conjuncin
La Conjuncin entre dos proposiciones y es la proposicin , que slo es verdadera si se cumplen las proposiciones componentes y . : : :

V F F

Disyuncin
La Disyuncin entre dos proposiciones y es la proposicin , que slo es falsa si y son falsas, ya que requiere que se cumpla por lo menos una de las proposiciones componentes.

: : :

V F V

Implicacin o Condicional
La Implicacin o Condicional entre dos proposiciones y es la proposicin , que slo es falsa si ( ) es verdadero y ( ) es falso. : : S , :

V F F

Condicin Suficiente Condicin Necesaria

Si una implicacin es verdadera, es Condicin Suficiente (o precisa) que la hiptesis sea verdadera para que la conclusin se cumpla. Si una implicacin es verdadera, es Condicin Necesaria (o indispensable) que la conclusin sea verdadera para que la hiptesis se cumpla.
Hiptesis Conclusin

" , "
Hiptesis Conclusin

La hiptesis es suficiente para llegar a dicha conclusin. La conclusin es necesaria para dicha hiptesis.

La hiptesis no es suficiente para llegar a dicha conclusin. La conclusin no " , " es necesaria para dicha hiptesis.

Doble Implicacin o Bicondicional

La Doble Implicacin o Bicondicional entre dos proposiciones y es la proposicin , que slo es verdadera si y son ambas verdaderas o falsas.
: : :

V F F

Ley Lgica o Tautologa

Una Ley Lgica o Tautologa es una proposicin compuesta cuya tabla de verdad da como resultado todos los valores Verdaderos cualesquiera sean los valores de verdad de las proposiciones que la componen. Una ley lgica es por ejemplo la conmutatividad de la disyuncin:

V V F F

V F V F

V V V V V F V V F V V V

Leyes Lgicas
LEYES LGICAS
Involucin ~

~ De la Conjuncin De la Disyuncin De la Conjuncin

Idempotencia

Conmutatividad

De la Disyuncin
De la Conjuncin ( ) ( ) De la Disyuncin ( ) ( ) De la Conjuncin con respecto a la Disyuncin ( ) ( ) ( ) De la Disyuncin con respecto a la Conjuncin ( ) ( ) ( ) Negacin de una Conjuncin ~ ~ ~ Negacin de una Disyuncin ~ ~ ~ ~ ~

Asociatividad

Distributividad

Leyes de Morgan

Negacin de una Implicacin

Contingencia y Contradiccin
Una Contingencia es una proposicin cuya tabla de verdad da como resultado algunos valores Verdaderos y otros Falsos. V V V V F F F V F V F F Una Contradiccin es una proposicin cuya tabla de verdad da como resultado todos los valores Falsos cualquiera sea el valor de la proposicin.

V
F

F
V

F
F

Implicaciones Asociadas
Implicaciones Equivalentes
FD FR FC FCR

V F F

F V F
FD

~ ~ V F V V

~ ~ ~ ~ V V F V
FR FC

V V

V V F V
FCR

F F V V

F V F V

V F V V

(~ ~ )

(~ ~ )

Implicaciones Asociadas
Ejemplo:
: : Forma Directa:
: " , "

Forma Recproca:
: " , ".

Forma Contraria:
~ ~: " , "

Forma Contrarrecproca:
~ ~: " , ".

Implicaciones Asociadas
Forma Directa (FD)

Recproca

Forma Recproca (FR)

Contraria

Contraria

Contrarrecproca

Forma Contraria (FC) ~ ~

Recproca

Forma Contrarrecproca (FCR) ~ ~

Formas o Funciones Proposicionales

Una Forma o Funcin Proposicional en una variable , es toda oracin en la cul figura como sujeto; la cual se convierte en proposicin para cada especificacin de . Ejemplo:
:

El Conjunto de Verdad ( ) de una funcin proposicional es el conjunto de todos los elementos que al emplearlos en lugar de la variable convierten a dicha funcin proposicional en proposicin. Al reemplazar por 2
(2): 2
= 2

Cuantificacin
La Cuantificacin es un proceso que mediante el uso de cuantificadores permite convertir funciones proposicionales en proposiciones. Los Cuantificadores son smbolos utilizados para indicar cuntos o qu tipo de elementos de un conjunto dado cumplen con cierta propiedad : Cuantificador Universal Se utiliza para afirmar que todos los elementos de un conjunto dado cumplen con una determinada propiedad. Cuantificador Existencial Se utiliza para indicar que uno o ms elementos en un conjunto dado cumplen una determinada propiedad.

: ()
: :

: :

Negacin de los Cuantificadores

La negacin del Cuantificador Uni- La negacin del Cuantificador Exisversal es el Cuantificador Existencial tencial es el Cuantificador Universal

~ :

: ~()

~ :

: ~()

Ejemplo: " , 3 , : ~[ , : ] , : =

Ejemplo: " , 5 , : + =

~[ , : + = ]
, : +

" , " , 5 3

Mtodos Axiomticos
AXIOMA Proposicin que se asume como verdadera DEMOSTRACIN Argumento que establece la verdad de un teorema TEOREMA Proposicin que se desprende de otra u otras (demostrada/as dentro de un sistema)

Teoremas
Directo
Indirecto o Contrarrecproco Reduccin por el Absurdo Refutacin

Demostraciones

Axiomas o Postulados

Mtodo Directo
Consiste en partir de la verdad del antecedente (Hiptesis) y tratar de establecer la verdad del consecuente (Tesis)

Ejemplo:
Demostrar que : si un nmero es impar, entonces su cuadrado es impar Demostracin: = 2 + 1, : 2 2 = 2 + 1 2 , 2 = 2 + 1
2

= 42 + 4 + 1 = 2 22 + 2 + 1

Si consideramos al trmino 22 + 2 = , 2 = 2 22 + 2 + 1 = 2 + 1 Conclusin: = + , es decir,

Mtodo Indirecto o Contrarrecproco

Consiste en partir de la negacin del consecuente (Tesis) y determinar la negacin del antecedente (Hiptesis) Ejemplo: Demostrar que: Para cualquier entero si su cuadrado es impar, entonces dicho nmero es impar Demostracin: Nueva Hiptesis = Negacin de la Tesis Inicial: = 2, Nueva Tesis = Negacin de la Hiptesis Inicial: 2 2 = 2 2 , 2 = 2
2

= 4 2 = 2(2 2 )

Si consideramos al trmino 2 2 = , 2 = 2 2 2 = 2 Conclusin: = , es decir,

Mtodo de Reduccin por el Absurdo

Consiste en partir de la falsedad del consecuente (Tesis), ocupando el antecedente (Hiptesis), llegar a una contradiccin (ya sea contradecir la hiptesis dada o cualquier resultado conocido). Ejemplo: Demostrar que : para cualquier nmero entero par su cuadrado es par Demostracin: Hipotesis : = 2, Tesis = Negacin de la Tesis Inicial: 2 2 = 2 + 1, = 2 2 = 2
2

2 = 4 2 2 = 2(2 2 ) 2 = 2

Si consideramos al trmino 2 2 = , Podemos observar que = = +1, es decir que un nmero cualquiera es par e impar a la vez, y sabemos que esto no es posible (es un absurdo). Conclusin: para cualquier nmero entero par su cuadrado es par

Refutacin
Consiste en buscar un ejemplo que ponga en evidencia la falsedad de la afirmacin. Ejemplo: Demostrar que: el cuadrado de todo nmero impar es par Demostracin:

92 = 81

Conclusin: el cuadrado de todo nmero impar es impar

Bibliografa
ASTORGA y LISI (2012), Matemtica I, Ed. IMPRENTA FCEJS U.N.Sa BOSCH (1999), Introduccin al Simbolismo Lgico, Ed. EUDEBA JOHNSONBAUGH (1999), Matemticas Discretas, Ed. Prentice Hall RABUFFETTI (1992), Introduccin al Anlisis Matemtico: Clculo I, Ed. EL ATENEO ROJO ARMANDO (2005), lgebra Tomo 1, Ed. EL ATENEO SUPPES (1994), Introduccin a la Lgica Matemtica, Ed. REVERT