REPÙBLICA BOLIVARIANA DE VENEZUELA

MINISTERIO DEL PODER POPULAR PARA LA EDUCACIÒN

U.E.P INSTITUTO EDUCACIONAL ARAGUA
MARACAY-ARAGUA
AÑO ESCOLAR 2021/2022
SEGUNDO LAPSO

DOCENTES:
HENDRICK BERRÍOS
MARÍA SALMERÓN

ENERO 2021
 REPÙBLICA BOLIVARIANA DE VENEZUELA
MINISTERIO DEL PODER POPULAR PARA LA EDUCACIÒN
U.E.P INSTITUTO EDUCACIONAL ARAGUA
MARACAY-ARAGUA
AÑO ESCOLAR 2021/2022
SEGUNDO LAPSO

ÁREA DE FORMACIÓN: Creación Recreación y Participación

ASIGNATURA: C.R.P. Informática
AÑO Y SECCIÓN: 3er Año secciones A, B, C, D.
DOCENTE: Hendrick Berríos y María Salmerón

ESTRATEGIA N°: Test Escrito o Impreso.

FECHA DE ENTREGA: Secciones A y B: lunes 17/01/22. Secciones B y C: martes 18/01/22.

CONTENIDO: Lógica Matemática

INSTRUCCIONES GENERALES
1.- Copiar el Teoría escrita en el cuaderno, cómo material de apoyo, para realizar el test.
2.- Estudiar detenidamente el contenido copiado en el cuaderno. De allí se desprenden las preguntas
del test.
INSTRUCCIONES ESPECÍFICAS:

1.- Prepárese para la realización del Test, tenga todos los materiales necesarios a la mano.

2.- Puede imprimir el Test y responder directamente en las páginas impresas, o copiarlo completo y
responderlo en hojas de examen.

3.- Utilice lápiz de grafito N° 2 para escribir y responder.

4.- Identifique la evaluación con todos los datos solicitados.

5.- Asegúrese de que las respuestas elegidas sean las correctas, trate de no borrar o tachar para evitar
confusión al momento de corregir.

6.- Recuerde la importancia de la entrega puntual, la cual debe ser en físico, al docente que le
corresponda de acuerdo a su sección.

7.- Al finalizar, deben copiar los indicadores.

8.- Realice una portada, con sus elementos (membrete, titulo, nombre del docente, nombre del
estudiante, sección y fecha al pie de la página).
 INDICADOR PUNTOS PUNTAJE
OBTENIDO
La portada contiene todos sus elementos: membrete, título, datos
del estudiante, de la asignatura, del docente y fecha al pie de la 1
página.
Calidad de contenido 15
Presentación y pulcritud 2
Seguir instrucciones 2
TOTAL
 REPÙBLICA BOLIVARIANA DE VENEZUELA
MINISTERIO DEL PODER POPULAR PARA LA EDUCACIÒN

U.E.P INSTITUTO EDUCACIONAL

ARAGUAMARACAY-ARAGUA
TEST IMPRESO O ESCRITO

Informática Profesor Hendrick Berríos 1er grupo, María Salmerón 2do grupo

Nombre y Apellido

Año y Sección Fecha: / /

PRIMERA PARTE: VERDADEROS Y FALSOS: continuación, se le presenta una serie de

planteamientos, con dos alternativas cada uno, lea detenidamente y rellene el ovalo de la
alternativa correcta, de acuerdo al contenido en estudio. (Valor 1 punto, cada uno, total 5 puntos)

1.- Los elementos de trabajo de La Lógica Matemáticas, es decir, los entes matemáticos con los
cuales y sobre los cuales va a operar son las PROPOSICIONES. Las proposiciones son a la Lógica
Matemática lo que los Naturales son a la Aritmética; los Racionales al Algebra; las Funciones al
Cálculo.

Verdadero

Falso

2.- La Lógica Matemática es una RAMA más de LAS MATEMATICAS como lo son, por ejemplo, La
Aritmética, El Algebra, La Geometría

Verdadero

Falso

3.- Las proposiciones son a la Lógica Matemática lo que los Naturales son a la Aritmética; los
Racionales al Algebra; las Funciones al Cálculo.

Verdadero

Falso
4.- Continuando con nuestro esquema definiremos ahora las operaciones permitidas en la Lógica
Matemática. También en este caso son DOS las Operaciones básicas y con las cuales haremos
todo lo permitido en esta rama de las matemáticas.

Verdadero

Falso

5.- La Conjunción es una Operación Binaria de la Lógica Matemática

Verdadero

Falso

SEGUNDA PARTE: Selección Simple: continuación, se le presenta una serie de planteamientos,

con cuatro alternativas cada uno, lea detenidamente y rellene el ovalo de la alternativa correcta,
de acuerdo al contenido en estudio. (Valor 2 puntos, cada uno)

1.- Con sus elementos propios de trabajo, con sus operaciones particulares bien definidas y que solo
son válidas en su contexto y con sus problemas específicos y que es lo que en conjunto caracteriza
a cada una de ellas.

Elementos de trabajo
Lógica matemática
Lógica de algebre
Ninguna de las anteriores

2.- De una proposición “p“ dada, es otra proposición

Conjunción

Disyunción

Negación

Operación
3.- Definida entre DOS proposiciones y que da como resultado otra proposición que será
VERDADERA si y solo sí las proposiciones operadas son verdaderas simultáneamente.

Conjunción

Disyunción

Binarios

Operación matemática

4.- Mediante la cual a cada par ordenado de un conjunto AxA le corresponde uno y solo un
elemento del mismo conjunto A.

Una Operación Binaria no es una Regla de Correspondencia

Una Operación Binaria es una Regla de Correspondencia

Una Operación Binaria es una Regla fundamental

Una Operación disyuntiva es una Regla de Correspondencia

5.- Es un enunciado que puede ser Falso (F) o verdadero (V)pero NO ambas cosas a la vez o
ninguna de ellas en forma simultánea.

Proposiciones

Enunciados

Preposiciones

Preocupaciones
 REPÙBLICA BOLIVARIANA DE VENEZUELA
MINISTERIO DEL PODER POPULAR PARA LA EDUCACIÒN
U.E.P INSTITUTO EDUCACIONAL ARAGUA
MARACAY-ARAGUA
MATERIAL DE APOYO
Lógica Matemática

La lógica matemática, también conocida como lógica simbólica, lógica teorética, lógica formal o
logística. Es parte tanto de la lógica como de la matemática y consiste en el estudio matemático de la
lógica y en la aplicación de dicho estudio a otras áreas de la matemática y de las ciencias. La lógica
matemática tiene estrechas conexiones con la ciencia de la computadora y con la lógica filosófica.
La lógica matemática estudia los sistemas formales en relación con el modo en el que se codifican o
definen nociones intuitivas de objetos matemáticos, como. Conjuntos de números, demostraciones y
algoritmos. Utilizando un lenguaje formal.
La lógica matemática se suele dividir en 4 sub-campos:

• Teoría de Modelos.
• Teoría de la Demostración.
• Teoría de Conjuntos.
• Teoría de la Recursión.
La investigación en lógica matemática ha
jugado un papel fundamental en el estudio
de las matemáticas. La lógica matemática
no es la “lógica de la matemática”, sino la
“Matemática de la lógica”. Incluye
aquellas partes de la lógica que pueden ser
modeladas y estudiadas matemáticamente.
La lógica matemática comprende dos áreas
de investigación distintas:
La primera. Es la aplicación de las técnicas de la lógica formal a las matemáticas y el razonamiento
matemático.
La segunda. En otra dirección, la aplicación de técnicas matemáticas a la representación y el análisis
de la lógica formal.
Si la teoría de la demostración y la teoría de modelos han sido el fundamento de la lógica matemática,
no han sido más que dos de los cuatro pilares del sujeto. La teoría de conjuntos se originó en el estudio
del infinito por Georg Cantor y ha sido la fuente de muchos de los temas más desafiantes e importantes
de la lógica matemática, a partir del teorema de Cantor, a través de estatus del axioma de elección y
la cuestión de la independencia de la hipótesis del continuo al debate moderno sobre grandes axiomas
cardinales.
La lógica matemática estudia la inferencia mediante la construcción de sistemas formales como
la lógica proposicional, la lógica de primer orden o la lógica modal. Estos sistemas capturan las
características esenciales de las inferencias válidas en los lenguajes naturales, pero al ser estructuras
formales susceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.
La Lógica Matemática es una RAMA más de LAS MATEMATICAS como lo son, por ejemplo, La
Aritmética, El Algebra, La Geometría
La lógica matemática se suele dividir en cuatro
áreas: teoría de modelos, teoría de la
demostración, teoría de
conjuntos y teoría de la compatibilidad. La teoría de la
demostración y la teoría de modelos fueron el
fundamento de la lógica matemática. La teoría de
conjuntos se originó en el estudio del infinito
por Georg Cantor y ha sido la fuente de muchos de los
temas más desafiantes e importantes de la lógica
matemática, desde el teorema de Cantor,
el axioma de elección y la cuestión de la independencia
de la hipótesis del continuo, al debate moderno sobre
grandes axiomas cardinales. Los elementos de
trabajo de La Lógica Matemáticas, es decir, los entes
matemáticos con los cuales y sobre los cuales va a
operar son las PROPOSICIONES. Las proposiciones
son a la Lógica Matemática lo que los Naturales son a la Aritmética; los Racionales al Algebra; las
Funciones al Cálculo
Continuando con nuestro esquema definiremos ahora las operaciones permitidas en la Lógica
Matemática. También en este caso son DOS las Operaciones básicas y con las cuales haremos todo
lo permitido en esta rama de las matemáticas, la conjunción y disyunción.
La conjunción es una clase invariable (y generalmente átona) de palabras cuya función es establecer
relaciones entre palabras, sintagmas, frases u oraciones. Estas relaciones entre ellas son de jerarquía
sintáctica y de tipo semántico (de significado). La Conjunción es una Operación Binaria de la Lógica
Matemática Por ejemplo, en «Laura va a trabajar y Samuel se queda en casa», se enlazan dos
oraciones para construir una mayor; el tipo de relación que hay entre ambas es de igualdad, de forma
que se pueden intercambiar, y se suman los significados de ambas. Definida entre DOS proposiciones
y que da como resultado otra proposición que será VERDADERA si y solo sí las proposicione s
operadas son verdaderas simultáneamente
La disyunción En razonamiento formal, una disyunción lógica (también conocido como disyunción
incluyente, disyunción débil o disyunción inclusiva) entre dos proposiciones es un conector
lógico, cuyo valor de la verdad resulta en falso solo si ambas proposiciones son falsas, y en cierto de
cualquier otra forma.1 Existen diferentes contextos donde se utiliza la disyunción lógica.
Una proposición o enunciado es una oración que puede ser falsa o verdadera pero no ambas a la
vez. La proposición es un elemento fundamental de la lógica matemática. ... Las proposiciones se
indican por medio de una letra minúscula, dos puntos y la proposición propiamente dicha. Las
proposiciones son a la Lógica Matemática lo que los Naturales son a la Aritmética; los Racionales al
Algebra; las Funciones al Cálculo. Es un enunciado que puede ser Falso (F) o verdadero (V)pero NO
ambas cosas a la vez o ninguna de ellas en forma simultánea
Es posible que dos conjuntos formados por elementos de diferente naturaleza y provistos de
operaciones distintas tengan, sin embargo, el mismo comportamiento algebraico. Es decir que las
operaciones obedezcan a las mismas leyes. Se dice en el caso que ambos sistemas poseen la misma
estructura algebraica

Una Operación Binaria es una Regla de Correspondencia. Mediante la cual a cada par ordenado
de un conjunto AxA le corresponde uno y solo un elemento del mismo conjunto A
La teoría de la recursión captura la idea de la computación en términos lógicos y aritméticos. Sus
logros más clásicos son la indivisibilidad del entscheidungs problema de Alan Turing y su presentación
del a tesis de church-Turing. Hoy en día, la teoría de la recursión se ocupa principalmente del problema
más refinado de las clases de complejidad pero, ¿Cuándo es un problema eficientemente
solucionable? Y la clasificación de los grados de insolubilidad.
La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican
conceptos intuitivos de objetos matemáticos como conjuntos, números, demostraciones y
computación. La lógica estudia las reglas deducción formal, las capacidades expresivas de los
diferentes lenguajes formales y las propiedades meta lógicas de los mismos.
En un nivel elemental, la lógica proporciona reglas y técnica para determinar si es o no valido un
argumento dado dentro de un determinado sistema formal. Es un nivel avanzado, la lógica matemática
se ocupa de la posibilidad de axiomatizar las teorías matemáticas de clasificar su capacidad expresiva
y desarrollar métodos computacionales, útiles en sistemas formales.
La teoría de la demostración y la matemática
inversa son dos del razonamiento más recientes
de la lógica matemática abstracta. Debe señalarse
que la lógica matemática se ocupa de sistemas
formales que pueden no ser equivalentes en
todos sus aspectos, por lo que la lógica
matemática no es un método de descubrir
verdades del mundo físico real, sino solo una
fuete posible de modelos lógicos aplicables a
teorías científicas, muy especialmente a
la matemática convencional.
La lógica matemática no se encarga por otra
parte del concepto del razonamiento humano general o del proceso creativo de construcción de
demostraciones matemáticas mediante argumentos rigurosos pero usando lenguaje formal con
algunos signos o diagramas, sino por demostraciones formalizadas en todos sus aspectos.
Sistema lógico
La lógica matemática se interesa por 3 tipos de aspectos de los sistemas lógicos:
La sintaxis de los lenguajes formales: es decir, las lenguas de formación de símbolos interpretables
construidos a partir de un determinado alfabeto y las reglas de inferencia.
La semántica de los lenguajes Formales: es decir, los significados atribuibles a un conjunto de
signos, así como el valor de verdad atribuible algunos de las proposiciones.
Los aspectos metalógicos de los lenguajes formales: como, por ejemplo, la completitud semántica,
la consistencia o la existencia de modelos de cierto tipo, entre otros.
Los diferentes tipos de sistemas lógicos puede ser clasificados en:

• Lógica Proposicional, (lógica de orden cero): existen en ella, símbolos para variables
proposicionales que pueden ser interpretados informalmente como enunciados que pueden ser,
verdaderos o falsos. Estos símbolos sirven como conectores. Estas conectivas permiten formar
expresiones complejas a partir de variables proposicionales simples. Un sistema lógico puede
incluir diversos tipos de conectivas, entre ellos, la lógica clásica suele hacer uso de los
siguientes:
¬ se lee “no”.
Ʌ se lee “y”.
V se lee “o”
Se lee “implica” o “si, entonces”.
Se lee “equivalente con” o “si solo, si”.