Este documento presenta una propuesta para estudiar las proposiciones y estructuras discretas. La propuesta incluye objetivos como definir proposiciones, identificar conectivos lógicos y formas proposicionales, conocer leyes del álgebra proposicional, y aplicar métodos de demostración. El documento explica que una proposición es una cadena de signos expresada en un lenguaje que puede representar entidades de la realidad, y que los conectivos lógicos como la negación, disyunción, conjunción, condicionante
2. Basados en la revisión bibliográfica, la discusión y
ejercitación dirigida, experimentar los métodos de
demostración directa e indirecta.
1. Definir, previa revisión Bibliográfica una proposición.
2. Identificar los conectivos lógicos de una proposición.
3. Identificar las distintas formas proposicionales.
4. Conocer las leyes del Álgebra proposicional.
5. Aplicar algunos métodos de demostración en
Matemática e Ingeniería.
6. Construir una red de circuitos lógicos de una forma
proposicional.
3. Tomando en consideración las referencias bibliográficas
del tema 1, la proposición es una cadena de signos
expresados en un determinado lenguaje. En un lenguaje
natural, esos signos usualmente son sonidos o caracteres
escritos, mientras que un tipo de lenguaje formalizado
pueden ser signos arbitrarios. Dado que los lenguajes son
tipos de estructuras combinatorias que admitidamente
pueden representar entidades de la realidad, se admite que
las proposiciones son cadenas de signos a las que es posible
emparejar con objetos reales. Es importante notar que lo que
hace de una cadena de signos una proposición, es que sea
interpretable (ya que existen por ejemplo cadenas de signos
u oraciones de un lenguaje que carecen de un referente o
interpretación bien definidos).
4. En ese sentido una proposición puede
entenderse como un producto lógico del
pensamiento humano que expresada
mediante una lengua natural, aunque
también existen lenguajes formales (como la
notación matemática). Una proposición
expresada en lenguaje natural deberá ser
una oración gramatical o como mínimo una
oración semánticamente no vacía, mientras
que una proposición expresada en un
lenguaje formal deberá ser una cadena de
signos que constituya una fórmula bien
formada.
5. Así como en álgebra las variables que representan
cantidades pueden formar expresiones más complejas
mediante el uso de las operaciones básicas de aritmética y
algunas funciones, en lógica podemos relacionar proposiciones
mediante los conectivos lógicos.
Los conectivos lógicos son símbolos usados para combinar
proposiciones simples dadas, produciendo así otras
llamadas proposiciones compuestas.
Los conectivos lógicos que usaremos son
~ negación
v disyunción
ᴧ conjunción
→condicionante
↔bicondicionante
6. PROPOSICIONES SIMPLES: también denominadas proposiciones
atómicas. Son aquellas proposiciones que no se pueden dividir.
Ejemplos:
El cielo es azul.
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.
Ejemplos:
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 regalare
un auto.