Álgebra y aritmética
Enviado por Carlos Ariel Alamo • 8 de Junio de 2023 • Síntesis • 12.697 Palabras (51 Páginas) • 56 Visitas
ARITMÉTICA Y ALGEBRA
ARITMÉTICA Y ALGEBRA
El estudio de la lógica matemática abarca dos áreas principales: ´´cálculo de proposiciones´´ y ´´cálculo de funciones proposicionales´´, las que serán tratadas en esta primera unidad.
PROPOSICIONES
Consideramos las siguientes oraciones:
- ¿Quién viene?
- Deténgase.
- El calor dilata los cuerpos.
- 4 es un número impar.
- Juan ama la música.
- La música es amada por juan.
Se trata de seis oraciones diferentes, una interrogativa, una orden y cuatro declarativas. De las dos primeras no podemos decir que sean verdaderas ni falsas, una pregunta puede formularse o no, y una orden puede ser cumplida o no. En cambio, de las cuatro últimas, que son declarativas, tiene sentido decir si son verdaderas o falsas. A estas se las llamamos proposiciones.
DEFINICIÓN
Proposición es toda oración respecto de la cual puede decirse si es verdadera o falsa.
Es decir proposición es toda oración declarativa. Toda proposición está asociada a un valor de verdad, el cual puede ser verdadero (V) o bien falso (F). Las oraciones (e) y (f) son diferentes desde el punto de vista gramatical, el objeto directo de la (e) es el sujeto de la (f), paro ambas tienen el mismo significado, y la consideramos como la misma proposición. Podemos decir entonces: proposiciones es el significado de toda oración declarativa.
CONECTIVOS LÓGICOS
Las proposiciones son denotadas con las letras p, q, r, etc. A partir de proposiciones simples es posible generar otras, simples o compuestas. Es decir, se puede operar con proposiciones, y según tales operaciones se utilizan ciertos símbolos, llamados conectivos lógicos.
Conectivo | Operación asociada | Significado |
[pic 1] | Negación | no p o no es cierto que p |
[pic 2] | Conjunción o producto lógico | p y q |
[pic 3] | Disyunción o suma lógica | p o q ( en sentido incluyente) |
[pic 4] | Implicación | p implica q o si p entonces q |
[pic 5] | Doble implicación | p si y solo si q |
[pic 6] | Diferencia simétrica | p o q (en sentido excluyente) |
OPERACIONES PROPOSICIONALES
Definiremos las operaciones entre proposiciones en el sentido siguiente: Dadas una o dos proposiciones cuyos valores de verdad se conocen, se trata de caracterizar la proposición resultante a través de un valor de verdad. Se supone que en la elección de estos valores se tiene en cuenta ej. Buen sentido.
NEGACIÓN
La negación de una proposición p, es la proposición (no p), se trata de una operación unitaria, pues a partir de una proposición se obtiene otra que es su negación.[pic 7]
Si consideramos los dos posibles valore de verdad de una proposición nos resulta que:
- Si p es verdadera, es falsa. [pic 8]
- Si p es falsa es verdadera. [pic 9]
Esto puede resumirse en las denominadas tablas de verdad:
p | [pic 10] |
V | F |
F | V |
CONJUNCIÓN
La conjunción de las proposiciones p y q es la proposición (p y q) cuya tabla de valores de verdad es:[pic 11]
p | q | [pic 12] |
V | V | V |
V | F | F |
F | V | F |
F | F | F |
Observando la tabla de valores de verdad, podemos concluir que la conjunción sólo es verdadera si lo son las dos proposiciones componentes, en todo otro caso es falsa.
DISYUNCIÓN
La disyunción de las proposiciones p y q es la proposición (p o q en sentido incluyente) cuya tabla de valores de verdad es:[pic 13]
p | q | [pic 14] |
V | V | V |
V | F | V |
F | V | V |
F | F | F |
La conjunción o es utilizada en sentido incluyente, ya que la verdad de la disyunción se da en el caso de que al menos una de las proposiciones sea verdadera. Considerando esto, podemos concluir que la disyunción es falsa en el caso de que las dos proposiciones que la componen sean falsas.
IMPLICACIÓN O CONDICIONAL
La implicación de las proposiciones p y q es la proposición (p implica q; si entonces q) cuya tabla de valores de verdad es:[pic 15]
p | q | [pic 16] |
V | V | V |
V | F | F |
F | V | V |
F | F | V |
Las proposiciones p y q se denominan antecedentes y consecuentes de la implicación o condicional, la implicación usual en matemática es formal, ya que no es necesario que el consecuente se derive del antecedente. La tabla de valores nos muestra que la implicación solo es falsa cuando el antecedente es verdadero y el consecuente es falso.
...