República Bolivariana De Venezuela

Ministerio Del Poder Popular Para La Educación Universitaria

Universidad Nacional Experimental “Simón Rodríguez”
Núcleo - Elorza Estado Apure

Profesor: Integrantes:

Licdo. Wilson Bohórquez García Clairet

Elorza- 2018.
 TECNICA DE CONJUNTO.

La rama de las matemática a la que el matemático Ferdinand Ludwing

Philipp cantor; este es el padre de la teoría de conjuntos, dio su primer tratamiento
formal en 1870, el concepto de conjunto es uno de los más fundamentales en
matemáticas, incluso más que la operación de contar; pues se puede encontrar
implícita o explícitamente, en toda las ramas de matemáticas puras y aplicadas.

En su forma explícita, los principios y tecnología de los conjuntos se utilizan

para construir proposiciones matemáticas más claras y precisa; para explicar
conceptos abstractos como el infinito; en el año 1974 apareció el primer trabajo
revolucionario de este matemático reconocido como Cantor sobre la teoría del
conjunto.

La teoría de conjuntos más elemental es una de las herramientas básicas del

lenguaje matemático. Dados unos elementos, unos objetos matemáticos como
números o polígonos por ejemplo, puede imaginarse una colección determinada
de estos objetos, un conjunto.

Idea De Conjunto

Todos tenemos la idea de lo que es un conjunto: es una colección,

agrupación, asociación, reunión, unión de integrantes homogéneos o
heterogéneos, de posibilidades reales o abstractas. Los integrantes pueden ser
números, letras, días de la semana, alumnos, países, astros, continentes, entre
otros.
A estos integrantes en general, se les denomina "elementos del conjunto".

Ejemplos:
 a) El conjunto formado por los primeros veinte números naturales.
 b) El conjunto formado por docentes de una Institución Educativa.
 c) El conjunto formado por los actuales presidentes regionales del Perú.
 d) El conjunto formado por las computadoras de una cabina de Internet.
 Sin embargo, el concepto que tenemos es un "concepto intuitivo", el cual
pues no es correcto pues también existe conjuntos formados por un solo elemento
y conjuntos formados sin elementos lo cual contradice la idea que teníamos.

Ejemplos:
 a) El conjunto constituido por los animales que maman.
 b) El conjunto de ciudades de la sierra peruana.
 c) El conjunto de los números naturales menores que 6 y mayores que 5.5
 d) El conjunto de de personas mayores de 500 años de edad.

Definición Tentativa De Conjunto

Si tomamos todas las ideas anteriores entonces conjunto se define como "la
presencia o ausencia de elementos con características semejantes dentro de un
contexto real o imaginario".

CONCEPTO DE LOGICA PROPOSICIONAL

es un sistema formal cuyos elementos más simples representan

proposiciones, y cuyas constantes lógicas, llamadas conectivas lógicas,
representan operaciones sobre proposiciones, capaces de formar otras
proposiciones de mayor complejidad.

La lógica proposicional trata con sistemas lógicos que carecen de cuantificadores,

o variables interpretables como entidades. En lógica proposicional si bien no hay
signos para variables de tipo entidad, sí existen signos para variables
proposicionales (es decir, que pueden ser interpretadas como proposiciones con
un valor de verdad definido), de ahí el nombre proposicional. La lógica
proposicional incluye además de variables interpretables
como proposiciones simples signos para conectivas lógicas, por lo que dentro de
este tipo de lógica puede analizarse la inferencia lógica de proposiciones a partir
de proposiciones, pero sin tener en cuenta la estructura interna de las
proposiciones más simples.
Ejemplo de lógica proporcional

Considérese el siguiente argumento:

1. Mañana es miércoles o mañana es jueves.

2. Mañana no es jueves.
3. Por lo tanto, mañana es miércoles.

Es un argumento válido. Quiere decir que es imposible que las premisas (1) y (2)
sean verdaderas y la conclusión (3) falsa.

Sin embargo, a pesar de que el argumento sea válido, esto no quiere decir que la
conclusión sea verdadera. En otras palabras, si las premisas son falsas, entonces
la conclusión también podría serlo. Pero si las premisas son verdaderas, entonces
la conclusión también lo es. La validez del argumento no depende del significado
de las expresiones «mañana es miércoles» ni «mañana es jueves», sino de la
estructura misma del argumento. Estas premisas podrían cambiarse por otras y el
argumento permanecería válido. Por

Ejemplo:

1. Hoy está soleado o está nublado.

2. Hoy no está nublado.
3. Por lo tanto, hoy está soleado.

La validez de los dos argumentos anteriores depende del significado de las

expresiones «o» y «no». Si alguna de estas expresiones se cambia por otra,
entonces los argumentos podrían dejar de ser válidos. Por ejemplo, considérese el
siguiente argumento inválido:

1. Ni está soleado ni está nublado.

2. No está nublado.
3. Por lo tanto, está soleado.
Límites De La Lógica Proposicional

La maquinaria de la lógica proposicional permite formalizar y teorizar sobre la

validez de una gran cantidad de argumentos. Sin embargo, también existen
argumentos que son intuitivamente válidos, pero cuya validez no se puede probar
por la lógica proposicional. Por ejemplo, considérese el siguiente argumento:

1. Todos los hombres son mortales.

2. Sócrates es un hombre.

3. Por lo tanto, Sócrates es mortal.

Como este argumento no contiene ninguna de las conectivas «no», «y», «o»,
entre otros, según la lógica proposicional, su formalización será la siguiente:

1. p

2. q

3. Por lo tanto, r

Pero esta es una forma de argumento inválida, y eso contradice nuestra intuición
de que el argumento es válido. Para teorizar sobre la validez de este tipo de
argumentos, se necesita investigar la estructura interna de las variables
proposicionales. De esto se ocupa la lógica de primer orden. Otros sistemas
formales permiten teorizar sobre otros tipos de argumentos.

Por ejemplo la lógica de segundo orden, la lógica modal y la lógica temporal

CONECTIVA LÓGICA

En lógica, una conectiva lógica, o simplemente conectiva, (también

llamado operador lógico o conectores lógicos) es un símbolo o palabra que se
utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o
moleculares), de modo que el valor de verdad de la fórmula compuesta depende
del valor de verdad de las fórmulas componentes.
Los conectivos lógicos más comunes son los conectivos binarios (también
llamados conectivos diádicos) que unen dos frases, que pueden ser consideradas
los operados de la función. También es común considerar a la negación como un
conectivo monádico.

Las conectivas lógicas son, junto con los cuantificadores, las

principales constantes lógicas de muchos sistemas lógicos, principalmente
la lógica proposicional y la lógica de predicados.

En programación se utilizan para combinar valores de verdad y obtener nuevos

valores que determinen el flujo de control de un algoritmo o programa.

Conectores Lógicos.

1) Conjunción:

Símbolo: ^

Notación: (p ^ q)

Significados: Y, Además, También, Pero, Sin embargo.

Ejemplo: "El cuadrado tiene cuatro lados y el triángulo 3 lados".

2) Disyunción Inclusiva:

Símbolo: v

Notación: (p v q)

Significados: o

Ejemplo: "Tomamos té o café" .

3) Disyunción Exclusiva:

Símbolo: v

Notación: (p v q)
Significados: O....o

Ejemplo: "O es de día o es de noche"

4) Condicional:

Símbolo: →

Notación: (p → q)

Significados: Entonces, Por lo tanto, En consecuencia, Por consiguiente, Si..., ;

Si..., entonces.

Ejemplo: "Si estudias, aprobarás la asignatura "

5) Bicondicional:

Símbolo: ‹–›

Notación: (p ‹–› q)

Significados: Si y solo si , solamente si, cuando y solo cuando, solamente cuando,

únicamente cuando.

Ejemplo: "Pierdes peso si y solo si haces dieta "

6) Negación:

Símbolo: -

Notación: (-p)

Significados: No, es falso que, no ocurre que, no sucede que, no es el caso que.

Ejemplo: "María no presentó la prueba de lógica"