Logica Matematica

Descargar como doc, pdf o txt
Descargar como doc, pdf o txt
Está en la página 1de 16

UNIVERSIDAD CENTRAL DE NICARAGUA

PROGRAMA INTERNACIONAL
ENLACE CORO
UNIDAD CURRICULAR: LOGICA MATEMATICA
FACILITADOR: LIC. RUFO ALCALDE
CARRERA: CRIMINALISTICA. TERMINO: I

REALIZADO POR:
GENESIS, GONZÁLEZ. C.I.: 18.631.693

SANTA ANA DE CORO, SEPTIEMBRE DE 2010


1. Explicar que la lógica es la ciencia de la Racionalidad y ciencia de la verdad.
La Lógica es la ciencia que estudia las leyes y la validez de los razonamientos. Y
al ser toda ciencia "un conjunto de conocimientos obtenidos por la observación y el
razonamiento" , resulta que la Lógica aporta uno de los dos instrumentos por los cuales
toda ciencia puede ser tal. Así, si no existieran los razonamientos, entonces no existiría
ciencia alguna.
2. Explicación teórica de Juicio, Preposición y su valor de verdad. De ejemplos.
• ¿Qué son juicios de valor?

Se distinguen por tener como carácter esencial la apreciación de las cosas, su


estimación, su valor.
• ¿Qué es una proposición?

Es la expresión de un juicio.
• ¿Qué relación existe entre juicio y proposición?

Que la preposición es la expresión de un juicio, pero el juicio no expresa la


proposición. Otra diferencia fundamental es que la proposición verbal consta de
palabras, que, a su vez, constan de letras que producen sonidos. En cambio el juicio
esta formado de conceptos, no de palabras.
variables proposicionales (las llamaremos simplemente proposiciones). Las
simbolizaremos con las letras: p,q,r,s,t, ... Llamamos proposición a toda oración que
afirma o niega algo, y por tanto es susceptible de verdad o falsedad. (Usos del lenguaje:
interrogativo, exclamativo, imperativo, afirmativo o apofántico).

Llamamos valor de verdad de una proposición a su verdad o falsedad. En lógica


proposicional, consideraremos que las proposiciones sólo pueden ser verdaderas o
falsas, es decir consideraremos dos valores de verdad. Lo simbolizaremos: 1 (verdad), 0
(falsedad). Que p es verdadera significa que "p acontece" o que "es el caso que p".

3. Explicación teórica y practica de proposiciones simples y compuestas. Dar


ejemplos.

Proposición.- Es toda oración o enunciado al que se le puede asignar un cierto valor (V


o F).

Si no puede concluir que es verdadero o falso no es proposición. Ejemplo:

• Hoy es lunes (falso). Si es proposición ya que se puede verificar.

• El árbol es grande. Como no se puede concluir si es verdadero o falso, no es una


proposición.
Las proposiciones se denotan con letras minúsculas. Ejemplo:

p, q, r, a, b, etc.

Clases de proposiciones

Hay dos clases de proposiciones:

• Proposiciones simples y compuestas, también llamadas atómicas y moleculares


respectivamente.

a. Proposiciones Simples.- También denominadas atómicas. Son aquellas


proposiciones que no se pueden dividir. Ejemplo:

 El cielo es azul. (verdadero)

Nomenclatura: p

b. Proposiciones Compuestas.- También denominadas moleculares. Son aquellas que


están formadas por dos o más proposiciones simples unidas por los operadores lógicos.
Ejemplo:

 Fui al banco, pero el banco estaba cerrado.


 Los lectores de este libro son jóvenes o universitarios.
 Si el miércoles próximo me saco la lotería entonces te regalaré un auto.

4. Explicacion teorica y practica de Variable Proposicional y explicación de los


conectivos logicos.

En la lógica matemática, una variable proposicional (también llamado un la


variable proverbial) es un variable que puede ser el verdadero o el falso. Las variables
proposicionales son las básicas edificio-bloquean de las fórmulas proposicionales
usadas en la lógica proposicional y lógicas más altas.

Las fórmulas en lógica se aumentan típicamente recurrentemente de algunas


variables proposicionales, un cierto número de los conectadores lógicos y algunas
variables proposicionales lógicas de los cuantificadores son las fórmulas atómicas de la
lógica proposicional. Por ejemplo, en una lógica proposicional dada, puede ser que
definamos una fórmula como sigue: cada variable proposicional es una fórmula.

Se da a X de la fórmula el del ¬ X del de la negación una fórmula. Dos el dado de las


fórmulas X y el de Y, y un binario del conectador b (tal como el ∧ lógico de la
conjunción), entonces de X de b Y es una fórmula.
Las Proposiciones formalmente hablando, se define una proposición como un
enunciado declarativo que puede ser verdadero o falso, pero nunca ambas cosas a la
vez. Las proposiciones se representan mediante variables proposicionales y
conjunciones, definidas como functors o funciones de verdad, de las que se obtienen
fórmulas sentencials o sentencias.

Estas pueden ser, según su mesa de verdad

• Tautología: es la sentencia que es necesariamente verdadera


• Contradicción: es la sentencia que es necesariamente falsa.
• Contingencia: es la sentencia que puede ser verdadera o falsa.

Conectivos lógicos

Conectivo lógico A continuación hay una tabla que despega tolas conectivas
lógicas que ocupan a la lógica proposicional, incluyendo ejemplos de su uso en el
lenguaje natural y los símbolos que se utilizan para representarlas.

Prop. Compuesta
Conectivo
NO ¬ Negación
Y ^ Conjunción
O v Disyunción inclusiva
Si…
→ Condicional
entonces…
Si… y solo si... ↔ Bicondicional

En la lógica proposicional, las constantes lógicas son tratadas como funciones de


verdad. Es decir, como funciones que toman conjuntos de valores de verdad y
devuelven valores de verdad. Por ejemplo, la constante lógica "no" es una función que si
toma el valor de verdad 1, devuelve 0, y si toma el valor de verdad 0, devuelve 1. Por lo
tanto, si se aplica la función "no" a una letra que represente una proposición falsa, el
resultado será algo verdadero. Si es falso que "está lloviendo", entonces será verdadero
que "no está lloviendo".

El significado de las constantes lógicas no es nada más que su comportamiento


como funciones de verdad. Cada constante lógica se distingue de las otras por los
valores de verdad que devuelve frente a las distintas combinaciones de valores de
verdad que puede recibir. Esto quiere decir que el significado de cada constante lógica
puede ilustrarse mediante una tabla que despliegue los valores de verdad que la función
devuelve frente a todas las combinaciones posibles de valores de verdad que puede
recibir.

Negación Conjunción Disyunción Condicional Bicondicional

5. Explicacion teorica de la construcción de la tabla de la verdad y de ejemplos


con los diferentes conectivos.

Se emplean en lógica para determinar los posibles valores de verdad de una


expresión o proposición molecular. O si un esquema de inferencia, como argumento, es
formalmente válido mostrando que, efectivamente, es una tautología.

Considerando dos proposiciones A y B, cada una como un todo (sea como


proposición atómica o molecular) y así mismo cada una con sus dos posibles
valores de verdad V (Verdadera) y F (Falso), y considerando su relación "$" como
variable de cualquier relación sintáctica posible que defina una función de verdad,
podrían suceder los casos siguientes: NOTA: Las proposiciones A, B, C,....
mayúsculas simbolizan cualquier proposición, atómica o molecular, por el que
propiamente son expresiones metalingüísticas respecto al lenguaje objeto de la
lógica proposicional, generalmente simbolizadas con minúsculas p, q, r, s... como
proposiciones atómicas.

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
A$ A$ A$ A$ A$ A$ A$ A$ A$ A$ A$ A$ A$ A$ A$
A B A$B
B B B B B B B B B B B B B B B
V V V V V V V V V V F F F F F F F F
V F V V V V F F F F V V V V F F F F
F V V V F F V V F F V V F F V V F F
F F V F V F V F V F V F V F V F V F

Las dos primeras columnas de la mesa nos muestran los cuatro casos de
combinación posibles según el valor de verdad de A y de B. Tenemos por lo tanto
4 líneas, y 16 columnas que representan todos los posibles valores que pueden
darse según se defina una función de verdad cualquiera. De esta forma podemos
conocer mecánicamente, es decir mediante algoritmo, el valor de verdad de
cualquier conexión lógica, siempre que previamente lo hayamos definido como
función de verdad. Se hace necesario definir todas las relaciones establecidas por
las conexiones en valores de verdad.

En el cálculo de deducción natural suelen definirse las siguientes funciones de


verdad:

¬ = Negación. «no»

= Definida en la columna 8,como «y» conjunción, producto.

= Definida en la columna 2 cómo «o» incluyendo(«... o ...»), disyunción,


suma.

→ = Definida en la columna 5, como «sí...entonces...», condicional,


implicación.

= Definida en la columna 7 cómo «... si y sólo sí...», bicondicional',


coimplicador o equivalencia.

Se pueden definir otros, como se hace en la lógica de circuitos, siempre que se


le encuentre un sentido lógico pertinente. Por eso pueden haber varios sistemas
de cálculo según las funciones que se definan. Por otro lado algunas funciones
pueden definirse como combinación de otras. Por ejemplo la función A → B es
equivalente a la función combinada ¬(A /\¬ B), como puede comprobarse haciendo
la mesa de verdad. Este tipo de equivalencias son muy útiles para el
establecimiento de reglas para el cálculo deductivo, pues al ser equivalencias
suponen una tautología, como ley lógica. Desgraciadamente, como vemos en las
definiciones, hay varias formas de simbolización gráfica de las funciones, si bien
esto no es obstáculo para su definición.

• Negación (¬)

Consiste al cambiar el valor de verdad de una variable proposicional.

A
V F
F V
• Conjunción
La proposición molecular será verdadera sólo cuando ambas variables
proposicionales sean verdaderas.(Columna 8 de la mesa de funciones posibles)

A B
V V V
V F F
F V F
F F F
• Disyunción

La proposición molecular será verdadera cuando una o ambas variables


proposicionales sean verdaderas.(Columna 2 de la mesa de funciones posibles)

A B
V V V
V F V
F V V
F F F
• Condicional (→)

La proposición molecular será verdadera cuando se cumpla si es verdadera A


entonces lo es B. (Columna 5 de la mesa de funciones posibles)

A B
V V V
V F F
F V V
F F V
• Bicondicional (↔, si y sólo si)
La proposición molecular será verdadera cuando ambas variables proposicionales
tengan a la vez el mismo valor de verdad. (Columna 7 de la mesa de funciones
posibles)

A B
V V V
V F F
F V F
F F V
• Disyunción exclusiva

La proposición molecular será verdadera sólo cuando una de las dos variables
proposicionales sea verdadera, pero no las dos. (Columna 10 de la mesa de
posibles valores)

A B
V V F
V F V
F V V
F F F

6. Explicacion grafica y teorica de los conjuntos.

Conjunto

En matemáticas, un conjunto es un concepto fundamental, y como tal no


admite definición en términos de conceptos más fundamentales. A veces se lo
presenta como un concepto autoevidente, o por medio de sinónimos. Por ejemplo,
a veces se dice que un conjunto es una colección de objetos. Por objeto aquí no
debe entenderse sólo las entidades físicas, como las mesas y las sillas, sino todo
objeto en el sentido más amplio de la palabra: mesas, sillas, personas, ideas,
creencias, lenguajes, letras, otros conjuntos, etc. A los objetos que pertenecen a
un conjunto se los llama miembros o elementos del conjunto.
7. Explicacion teorica de conjuntos definidos por extensión y comprensión.
De ejemplos.

Por extensión

Un conjunto está determinado por extensión cuando se escriben uno a uno todos
sus elementos. Por ejemplo, el conjunto de los números naturales menores que 9:

Por comprensión

Un conjunto está determinado por comprensión cuando solamente se menciona


una característica común de todos los elementos. Por ejemplo, el conjunto
formado por las letras vocales del abecedario:

Dos conjuntos son idénticos si, y sólo si, contienen los mismos elementos. Se
puede obtener una descripción más detallada en la teoría de conjuntos.

Las aplicaciones de teoría de conjuntos son muy amplias, y baste con mencionar
que se utiliza en el diseño de circuitos en electrónica digital; en cuestiones
relacionadas con probabilidad; y sus conceptos están de manera implícita en la
terminología utilizada en diseño de bases de datos, cuando se realizan las
consultas.

8. Explicacion teorica y practica de conjuntos Universal, Unitario y Vacio. De


ejemplos.

Conjunto Unitario: Es todo conjunto que está formado por un sólo y único
elemento.

Ejemplo:
A={5}

B = {números pares entre 6 y 10} = { 8 }

C = {la capital del Perú } = { Lima }

D = {x / 2x = 6} = {3}

A={1}

B = {x I x es la solución de}

C = {números pares entre 2 y 6} = { 4 }

D = {La capital del México }

Conjunto Vacio: Es un conjunto que carece de elementos. Este conjunto se suele


llamar conjunto nulo.

Ejemplo:

Si A es el conjunto de personas vivientes mayores de 200 años, A es vacío según


la s estadísticas conocidas.

Sea B = {x/x2 = 4, x es impar}. B es entonces un conjunto vacío.

Conjunto Universal: En toda aplicación de la teoría de conjuntos todos los


conjuntos que se consideran serán muy probablemente subconjuntos de un mismo
conjunto dado. Este conjunto se llamará conjunto universal o universo del discurso
y se denotará por U.

Ejemplo:

En geometría plana el conjunto universal es el de todos los puntos del plano.

En los estudios sobre población humana el conjunto universal es el de toda la


gente del mundo.

9. Explicacion teorica y grafica de inclusión de conjuntos, teoria y grafica de


subconjuntos propios. De ejemplos.

Inclusión: Sean A y B dos conjuntos, si cada elemento de A es elemento de B


diremos que A está incluido en B, o bien que A es parte de B, o que A es un
subconjunto de B, y lo escribimos A " B.
A menudo será necesario demostrar que un conjunto es parte de otro entonces,
de acuerdo a la definición, será suficiente demostrar que cualquier elemento del
primero pertenece al segundo.

Asimismo, teniendo en cuenta la equivalencia entre una implicación y la


contrarecíproca, la definición anterior puede expresarse así:

A"B!"x:x"B!x"A

Además, considerando la equivalencia entre p ! q y ~( p " ~q ), podemos traducir la


misma definición como sigue:

A " B ! " x / x " A " x " B es (F)

Sobreentendiendo el cuantificador universal, escribiremos

A"B!x"A!x"B

En el dibujo de arriba vemos que, efectivamente, el elemento a es parte del


conjunto A y lo es, a su vez, del conjunto B. Podemos afirmar, entonces, que A "
B. Ahora bien, vemos que b está incluido en B pero no en A. Decimos, entonces
que un conjunto A está estrictamente incluido en B si todo elemento de A está
incluido en B, pero existe al menos un elemento de B que no existe en A.

Ejemplo.
Sean los conjuntos:

A = { libros de matemática de mi colección }

B = { Libros de mi colección }

Está claro que los libros de matemática están incluidos en mi colección. Podemos
decir, aquí, que A está incluido en B (A " B), es decir que mis libros de matemática
son un subconjunto de mi colección de libros.

Subconjuntos propios: Se dice que es un subconjunto propio de A sí todos los


elementos de un conjunto B se encuentran
incluidos en él A, denotado por .
AUBoBUA

10. Explicacion teorica y grafica de las opercaciones con conjuntos: Union,


Interseccion, Diferencias simetricas y complementacion. De ejemplos.

Complementación de conjuntos: Dado un Referencial U y un conjunto A, queda


determinado otro conjunto formado por todos los elementos del Referencial que no
pertenecen a A. Se llama complemento de A y se designa A' o A (es el área
coloreada del dibujo)
Ejemplo.

A es subconjunto de B.

Unión de A y B.

Intersección de A y B.

Los conjuntos son uno de los conceptos básicos de la matemática. Como ya se ha


dicho, un conjunto es, más o menos, una colección de objetos, denominados
elementos. La notación estándar utiliza llaves {, y } alrededor de la lista de
elementos para indicar el contenido del conjunto, como por ejemplo:

Las tres líneas anteriores denotan el mismo conjunto. Como puede verse, es
posible describir el mismo conjunto de diferentes maneras: o bien dando un listado
de sus elementos (lo mejor para conjuntos finitos pequeños) o bien dando una
propiedad que defina todos sus elementos. Por otro lado, no importa el orden, ni
cuantas veces aparezcan en la lista sus elementos.

Si A y B son dos conjuntos y todo elemento x de A está contenido también en B,


entonces se dice que A es un subconjunto de B. Todo conjunto tiene como
subconjunto a sí mismo y al conjunto vacío, {}.
La unión de una colección de conjuntos: es el conjunto de
todos los elementos contenidos al menos una vez en los conjuntos
y se representa:

La intersección de una colección de conjuntos: , es el


conjunto de todos los elementos contenidos simultáneamente en todos los
conjuntos: y se representa:

los conjuntos también son nombrados según el número de elementos que tengan
ejemplo conjunto vacío, conjunto unitario,conjunto finito,conjunto infinito. Algunos
ejemplos de conjuntos de números son:

1. Los números naturales utilizados para contar los elementos de un conjunto.


2. Los números enteros.
3. Los números racionales.
4. Los números reales, que incluyen a los números irracionales.
5. Los números complejos que proporcionan soluciones a ecuaciones del tipo:
x2 + 1 = 0.

La teoría estadística se construye sobre la base de la teoría de conjuntos y la


teoría de la probabilidad.

Sea A = { Libros de mi biblioteca que son de matemáticas }

Sobreentendemos que en este caso el Referencial o universal es el conjunto de


libros de mi biblioteca. Por lo tanto, el complemento del conjunto A es el conjunto
total de libros de mi biblioteca excepto aquellos que son de matemática, es decir:

A' = { Libros de mi biblioteca que no son de matemática }

Diferencia: Definimos la diferencia de conjuntos del siguiente modo:

Asimismo, podemos definir la diferencia entre dos conjuntos como la intersección


del primero con el complemento del segundo, es decir:

A-B={x/x"A"x"B}=

= { x / x " A " x " B' } = A " B'

La representación mediante diagrama de Venn es la que vemos al lado.

Diferencia simétrica: Definimos la diferencia simétrica del siguiente modo:


Asimismo, podemos determinar la diferencia simétrica entre los conjuntos A y B
como la unión de los conjuntos A - B y B - A. En símbolos:

A " B = (A - B) " (B - A)

Podemos, también, identificarlo como:

A " B = (A " B') " (B " A')

Par ordenado
Un par ordenado es una tupla de dos elementos, tal que uno puede ser
distinguido como el primero y el otro como el segundo. Un par ordenado con
primer elemento a y con segundo elemento b es escrito usualmente como (a, b).
Dos pares ordenados cumplen:

(a, b) = (c, d) si y sólo si a = c y b = d

Dos números escritos en un cierto orden. Usualmente están escritos entre


paréntesis, así: (4,5). Pueden ser usados para mostrar la posición en un gráfico,
donde el valor "x" (horizontal) es primero, y el valor "y" (vertical) es el segundo.

aquí el punto (12,5) está 12 unidades a lo largo, y 5 unidades arriba.

12. Explicacion teorica y practica de producto cartesiano de dos


conjuntos,su notacion y representación grafica.
Producto cartesiano: producto directo de conjuntos. En particular, el producto
cartesiano de dos conjuntosX y Y, denotado por X × Y, es el conjunto de todos
los pares ordenados en los que el primer componente pertenece a X y el
segundo a Y:

Ejemplo 2

Sean A = {1, 2, 3} y B = {0, 1, 2, 3}. Haz una lista de los elementos de A x B.


Representa gráficamente al subconjunto
R = { (a, b) ∈ A x B / a + b ≤ 3}

0
1 2 3 A

También podría gustarte