Lógica Proposicional PDF

REPUBLICA BOLIVARIANA DE VENEZUELA
UNIVERSIDAD NACIONAL EXPERIMENTAL

SIMON RODRIGUEZ
NUCLEO MATURIN
PRECALCULO
Lógica proposicional
Profesora: Jotsimar González
Participantes:
Silvia Medina C.I.: V-12.537.185
Andrea González C.I: V-28.393.055
Melissa Carvajal C.I.: V-30.467.001
Sección “C”
Maturín, diciembre de 2.019

1.- Que es Lógica?
Es una ciencia que estudia el lenguaje científico, su planteamiento, su organización, en entidades

jerárquicas y los métodos como sus fórmulas para analizar toda forma escrita. Para comunicarse el ser
humano utiliza lenguajes discursivos dichos lenguajes están llenos de partículas lógicas. Las partículas
lógicas: fundamentalmente son los cuantificadores las conectivas con ellas se forman los discursos.
2.- Aporte de la lógica a la matemática
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística,1 es
el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la matemática y la ciencia.
Comprende la aplicación de las técnicas de la lógica formal a la construcción y el desarrollo de las
matemáticas y el razonamiento matemático, y conversamente la aplicación de técnicas matemáticas a la
representación y el análisis de la lógica formal. La investigación en lógica matemática ha jugado un papel
crucial en el estudio de los fundamentos de las matemáticas.
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 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 computabilidad. 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, a partir del 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. La lógica matemática tiene
estrechas conexiones con las ciencias de la computación. La teoría de la computabilidad captura la idea de
la computación en términos lógicos y aritméticos. Sus logros más clásicos son la indecidibilidad del
Entscheidungs problem de Alan Turing y su presentación de la tesis de Church-Turing. Hoy en día, la
teoría de la computabilidad se ocupa principalmente del problema más refinado de las clases de
complejidad (¿cuándo es un problema eficientemente solucionable?) y de la clasificación de los grados de
insolubilidad.
La lógica matemática también estudia las definiciones de nociones y objetos matemáticos básicos
como conjuntos, números, demostraciones y algoritmos. La lógica matemática estudia las reglas de
deducción formales, las capacidades expresivas de los diferentes lenguajes formales y las propiedades
metalógicas de los mismos.
En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no válido un

argumento dado dentro de un determinado sistema formal. En 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 de los razonamientos 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 para descubrir verdades del mundo
físico real, sino sólo una fuente posible de modelos lógicos aplicables a teorías científicas, muy
especialmente a la matemática convencional.
Por otra parte, la lógica matemática no estudia el concepto de razonamiento humano general o el
proceso creativo de construcción de demostraciones matemáticas mediante argumentos rigurosos pero
con lenguaje informal con algunos signos o diagramas, sino sólo de demostraciones y razonamientos que
se pueden formalizar por completo.
3.- Conectiva lógica
En lógica, una conectiva lógica, o también 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, 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 considerados los operandos 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.
Tautología ⊤ Conjunción opuesta ↑ Implicación opuesta ← Condicional material →
Disyunción lógica ∨ Negación lógica ¬ Disyunción exclusiva ↮ Bicondicional ↔
Afirmación lógica P Disyunción opuesta ↓ Adjunción lógica ↛
Adjunción opuesta ↚ Conjunción lógica ∧ Contradicción ⊥
4.- Proposiciones: Es cualquier agrupación de palabras o símbolos que en un momento dado se puede
afirmar si es verdadera o falsa.
4.a- Proposiciones simples: O también llamadas proposiciones atómicas, son aquellas que no se
pueden dividir.
4.b- Proposiciones compuestas: También llamadas moleculares, son aquellas que están formadas por 2
o más proposiciones simples.
5.- Tabla de valores de verdad
Una tabla de verdad, o tabla de valores de verdades, es una tabla que muestra el valor de verdad de una
proposición compuesta, para cada combinación de verdad que se pueda asignar.
Verdad: El valor verdadero se representa con la letra V; si se emplea notación numérica se

expresa con un uno: 1
Falso: El valor falso F; si se emplea notación numérica se expresa con un cero: 0
Variable: Para una variable lógica A, B, C, ... pueden ser verdaderas V, o falsas F, los
operadores fundamentales se definen así:
A A
V V
F F
Negación: La negación operador que se ejecuta, sobre un único valor de verdad,
devolviendo el valor contradictorio de la proposición considerada.
A ~A
V F
F V
Conjunción: La conjunción es un operador, que actúa sobre dos valores de verdad, típicamente los
valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas
proposiciones son verdaderas, y falso en cualquier otro caso. Es decir, es verdadera cuando
ambas son verdaderas.
En términos más simples, será verdadera cuando las dos proposiciones son verdaderas.
La tabla de verdad de la conjunción es la siguiente:
A B A^B
V V V
V F F
F V F
F F F
Que se corresponde con la columna 8 del algoritmo fundamental.
en simbología "∧" hace referencia al conector "y"
Disyunción: La disyunción es un operador lógico que actúa sobre dos valores de verdad, típicamente
los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando
una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son
falsas.
En términos más simples, será verdadera cuando por lo menos una de las proposiciones es
verdadera de lo contrario será falsa. La tabla de verdad de la disyunción es la siguiente:
A B A∨B
V V V
V F V
F V V
F F F
Implicación o Condicional: El condicional material es un operador que actúa sobre dos valores de
verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de falso sólo cuando
la primera proposición es verdadera y la segunda falsa, y verdadero en cualquier otro caso.
La tabla de verdad del condicional material es la siguiente:
A B A⇨B
V V V
V F F
F V V
F F V
Equivalencia, doble implicación o Bicondicional
El Bicondicional o doble implicación: es un operador que funciona dando el valor de

verdad cuando ambos valores son iguales y dando el valor de falsedad cuando ambos valores
son diferentes. La tabla de verdad del bicondicional es la siguiente:
A B A <=> B
V V V
V F F
F V F
F F V
6.- Cuantos valores de verdad debe llevar una tabla?

Una tabla de verdad lista todos los posibles valores de una o varias proposiciones simples y el valor de
verdad de una o varias proposiciones compuestas construidas a partir de las proposiciones simples. En el
caso más sencillo tenemos simplemente una proposición simple y listamos los valores de verdad que
puede tener, que en el caso de la lógica proposicional son únicamente 2: verdadero (V) y falso (F).
7.- Operaciones Proposicionales

a. El señor Molina sabe que 6 caballos consumen 18 fardos de pasto en 30 días. ¿Para cuánto tiempo
podría alcanzar esa misma cantidad de pasto si tiene 15 caballos?
1) 12 días
2) 45 días
3) 75 días
4) 5 días
b.- El camión de Mario se llenó al cargarlo con 500 cajones de manzanas, de 36.000 cm3 cada cajón.
Ahora quiere transportar cajones de melones, de 72.000 cm3 cada uno. ¿Cuántos cajones de melones
podrá llevar?
1) 72 cajones
2) 144 cajones
3) 250 cajones
4) 1.000 cajones
c.- Susana, María, José y Martín decidieron salir a caminar llevando una bolsa con 6 alfajores para
cada uno. En el camino se encuentran con 4 amigos que se incorporan a la caminata. ¿Cuántos alfajores
podrá comer ahora como máximo cada uno, si deciden repartir en partes iguales?
1) 12
2) 6
3) 4
4) 3
d.- En Mercurio las cosas pesan 4 veces menos que en la Tierra. Si un objeto pesa 30 kg en Mercurio.
¿Cuánto pesará en la Tierra?
1) 26 kg
2) 120 kg
3) 7,5 kg
4) 34 kg
e.- Por cada vaso de jugo concentrado se usan 15 vasos de agua, para preparar jugo en una reunión.
¿Cuántos vasos de jugo concentrado necesito, sin gastar más de 110 vasos de agua?
1) Entre 7 y 8 vasos de jugo concentrado.

2) Exactamente 9 vasos.
3) Aproximadamente 95 vasos.
4) Aproximadamente 125 vasos.
f.- El gráfico representa el porcentaje de amigos de Ignacio que practican solamente un deporte. ¿Qué
deporte practica exactamente el 25% de los amigos de Ignacio?
1) Tenis
2) Natación
3) Basquetbol
4) Fútbol

Lógica Proposicional PDF

Cargado por

Copyright:

Formatos disponibles

Lógica Proposicional PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Lógica Proposicional PDF

Cargado por

Copyright:

Formatos disponibles

REPUBLICA BOLIVARIANA DE VENEZUELA

UNIVERSIDAD NACIONAL EXPERIMENTAL

Profesora: Jotsimar González

Maturín, diciembre de 2.019

Es una ciencia que estudia el lenguaje científico, su planteamiento, su organización, en entidades

2.- Aporte de la lógica a la matemática

La lógica matemática estudia la inferencia mediante la construcción de sistemas formales como la

En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no válido un

3.- Conectiva lógica

Disyunción lógica ∨ Negación lógica ¬ Disyunción exclusiva ↮ Bicondicional ↔

Afirmación lógica P Disyunción opuesta ↓ Adjunción lógica ↛

Adjunción opuesta ↚ Conjunción lógica ∧ Contradicción ⊥

5.- Tabla de valores de verdad

Verdad: El valor verdadero se representa con la letra V; si se emplea notación numérica se

Equivalencia, doble implicación o Bicondicional

El Bicondicional o doble implicación: es un operador que funciona dando el valor de

6.- Cuantos valores de verdad debe llevar una tabla?

7.- Operaciones Proposicionales

1) Entre 7 y 8 vasos de jugo concentrado.

También podría gustarte