UNIVERSIDAD CATÒLICA LOS ÀNGELES DE CHIMBOTE
FACULTAD DE CIENCIAS DE LA SALUD
ESCUELA PROFESIONAL DE PSICOLOGÌA
CURSO: Matemática y Lógica
CICLO: I “B”
DOCENTE: Lic. Jenny Medina Calvanapòn
ALUMNO:
León Cadenillas Frank Deivys
Chimbote, 27 de julio del 2017
LOGICA Y PROPOSICIONES
Lógica proposicional
Cardona (2010) sostiene que: Una afirmación o proposición es una expresión del
lenguaje que es verdadera o falsa. 1 La afirmación “ x > 5” es verdadera cuando x
es un número mayor que 5, y es falsa de lo contrario. La lógica proposicional se
encarga de estudiar la construcción de afirmaciones a partir de otras utilizando los
conectivos proposicionales ∧ , ∨ , ¬ , → y ↔ . La razón por la cual se llaman
conectivos es que unen o conectan dos proposiciones para producir una nueva. La
negación ¬ es una excepción porque, a partir de una sola proposición, produce
otra.
La proposición
Forero (2009) Una proposición matemática es un enunciado, frase o expresión
que tiene un significado determinado y que mediante un criterio definido puede ser
clasificado inequívocamente como verdadero o falso. En lenguajes naturales tales
como el español, alemán, inglés, entre otros, las proposiciones no pueden ser
imperativas o interrogativas, únicamente pueden ser declarativas. De acuerdo a lo
anterior las siguientes oraciones u enunciados son proposiciones:
Los profesores van a la actividad deportiva
La ciudad está progresando
Julián es estudiante de Doctorado
Java es un lenguaje de programación
5 es un número impar
9 es un número compuesto.
La proposición está asociado directamente a su significado, por ejemplo si se
tienen las oraciones:
Esta llorando El niño
el niño está llorando
Se tiene en este caso que ambas oraciones tienen el mismo significado y son
consideradas como proposiciones iguales, pero las oraciones son diferentes. Hay
oraciones o enunciados que no son proposiciones, teniendo en cuenta que no es
posible que se evalúen como verdaderas o falsas ya que su objetivo no es
especificar hechos. Ejemplo de enunciado que no son proposiciones pueden ser:
¿Quién soy?
¡Hola amigo!
La Lògica
Uzcategui (2011) sostiene que: En matemáticas es fundamental poder reconocer
cuando un razonamiento es correcto y también saber cómo construirlo. Veamos
un ejemplo sencillo de un razonamiento en matemáticas. Supongamos nos dicen
que cierto número entero positivo es menor que 14. Nos dicen además que el
número en cuestión es divisible por 3 y que al sumarle 2 obtenemos un número
divisible por 4. ¿Podemos a partir de esta información inferir cual era el numero?
Veamos. Como el número buscado es divisible por 3 y menor que 14, entonces el
numero debe ser alguno de los siguientes: 3, 6, 9 o 12. Pero también nos dicen
que al sumarle 2 es divisible por 4. Sumemos 2 a cada uno de los números que
vimos eran una posible solución y obtenemos: 5, 8, 11 y 14. Como entre estos, el
8 es el único que es divisible por 4, concluimos que el número buscado es el 6.
¿Por qu´e es correcto este razonamiento? ¿Qué es lo que hace a este argumento
inobjetable? Aclarar estas preguntas es el objetivo de este capıtulo. La lógica es la
disciplina que se ocupa del estudio de los razonamientos, deducciones e
inferencias. Por “razonamiento” entendemos un proceso donde se concluye una
afirmación a partir de un conjunto de afirmaciones. Diremos que el razonamiento
es “correcto” si cada vez que las afirmaciones iniciales son verdaderas también lo
es la afirmación inferida. Una parte importante de la lógica está dedicada al
estudio de los razonamientos correctos. Los razonamientos en matemáticas deben
ser de ese tipo y solamente de ellos hablaremos en este libro. (pág. 1)
REFERENCIAS BIBLIOGRAFICAS
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. Madrid, ES: Ediciones Elizcom. Retrieved from
[Link]
Forero, C. A. (2009). Matemática estructural. Bogotá, CO: Universidad de
los Andes. Retrieved from [Link]
Aylwin, C. U. (2011). Logica,Conjuntos y Numeros. Recuperado el 2017 de
julio de 24, de
[Link]
0%20L%F3gica%2C%20Conjuntos%20y%20N%FAmeros_Carlos%20Uzc
%E1tegui%20%28ULA%202011%[Link]
CONECTORES LOGICOS
El I.S.T.P Norbert Wienee sostiene que: Los circuitos en serie constan de
dos o más interruptores, donde un interruptor esta después de otro y así
sucesivamente. El gráfico de un circuito en serie es la representación de
una fórmula proposicional conjuntiva, cuya expresión más simple es “p y q”.
Los circuitos en serie constan de dos o más interruptores, donde un
interruptor esta después de otro y así sucesivamente. El gráfico de un
circuito en serie es la representación de una fórmula proposicional
conjuntiva, cuya expresión más simple es “p y q”.
CIRCUITOS EN PARALELO
Los circuitos en paralelo constan en dos o más interruptores, donde cada
interruptor esta en la otra línea y así sucesivamente. El gráfico de un
circuito en paralelo es la representación de una fórmula proposicional
disyuntiva, cuya expresión más simple es “p o q”.
REFERENCIAS BIBLIOGRAFICAS
1. Winer, I. N. (s.f.). Matematica Aplica I. Recuperado el 26 de julio de 2017,
de [Link]
APLICADA/[Link]
