Fundamentos de lgica

En este captulo daremos un vistazo a lo que es un argumento vlido y una demostracin ms convencional. La lgica de las matemticas se aplica para decidir si una preposicin es consecuencia lgica de otras.

Conectivas bsicas y tablas de verdad

Las proposiciones son oraciones declarativas, verdaderas o falsas, pero nunca ambas, no se consideran preposiciones las exclamaciones o los mandatos. Las preposiciones primitivas son aquellas que no pueden descomponerse en algo ms sencillo y se pueden obtener nuevas proposiciones de la siguiente manera. 1) Transformando una proposicin P en P , que denotan negacin y se lee no P a. Nota: la negacin de una proposicin primitiva no se considera como proposicin primitiva. 2) combinando dos o ms proposiciones en una proposicin compuesta mediante las siguientes conectivas lgicas: a. Conjuncin: se denota como p q y se lee como p y q b. Disyuncin: la expresin p q denota disyuncin y se lee como p o q. la o se toma en sentido inclusivo, es decir, la proposicin es verdadera tambin cuando ambas proposiciones primitivas son verdaderas, en espaol se indicar con y/o. la o exclusiva se denota como p q y es verdadera si una u otra, pero no ambas proposiciones son verdaderas. c. Implicacin: decimos que p implica q y escribimos p q y de forma alternativa podemos decir: i. Si p entonces q ii. P es suficiente para q iii. P es una condicin suficiente para q iv. P solo si q

v. Q es necesario para p vi. Q es una condicin necesaria para p d. Bidireccional: se denota p q lo que se lee p si y solo si q o p es necesario y suficiente para q, tambin se puede abreviar como p sii q. Debemos tener presente que un enunciado como el numero X es un numero entero no es una preposicin ya que su valor de verdad no puede determinarse di no se le asigna un valor numrico a X. A continuacin se resumen los valores de verdad de los diferentes tipos de proposiciones compuestas con base en los valores de verdad de sus componentes. Se asignara el valor 0 para falso y 1 para verdadero.

p 0 1

p 1 0

p 0 0 1 1

q 0 1 0 1

pq 0 0 0 1

pq 0 1 1 1

pq 0 1 1 0

pq 1 0 0 1

El orden de las cuatro asignaciones de verdad par p y q no tiene mucha trascendencia pero ser usado en el trabajo posterior. Par construir tablas e verdad de proposiciones compuestas debemos usar los resultados de las tablas anteriores y comenzar considerando las partes ms pequeas de ella. Una proposicin compuesta es tautologa si es verdadera para todas las asignaciones de valores de verdad, al contrario si es falsa para todas las asignaciones, entonces es una contradiccin. La tautologa se denota con el smbolo T y la contradiccin con F

Podemos usar la idea de tautologa e implicacin para describir lo que entendemos por un argumento vlido. Por lo general un argumento comienza con una lista de proposiciones llamadas premisas y una proposicin final llamada conclusin. Debemos analizar esas proposiciones y demostrar que la conclusin se sigue lgicamente de estas proposiciones, se trata de demostrar que cada premisa es verdadera entonces la conclusin tambin es verdadera. Y tenemos un argumento vlido.

El uso de cuantificadores.
Comenzaremos definiendo que es una preposicin abierta, es una frase declarativa que contiene una o ms variables, no es una proposicin, pero se convierte en una proposicin cuando las variables que aparecen en ella se reemplazan con ciertas opciones permisibles. Vgr.: el numero x+3 es par. Las opciones permisibles (en este caso los valores que puede tomar x) forman lo que se llama universo del discurso. La proposicin abierta se expresa con la notacin p(x) (o q(x), r(x) etc.) se usara q(x, y) para representar un proposicin abierta con dos variables. El valor de verdad de las proposiciones abiertas depende de los valores que sustituyan a las variables por eso solo podemos decir. 1) Para algn x, p(x) 2) Para algunos x, y, q(x, y) Tambin es cierto que: 1) Para algn x, p(x) 2) Para algunos x, y, q(x, y) La negacin sigue invirtiendo el valor de verdad de la proposicin abierta, pero solo de valores especficos, no de la proposicin en general. Podemos hablar ahora de los cuantificadores que son de 2 tipos el existencial y el universal. El cuantificador existencial se expresa para algn x o para al menos un x y en forma simblica se representa p(x) se expresa en forma simblica E E x. por lo tanto la proposicin para algn x, x p(x). x E E y q(x, y) o de forma

Una proposicin abierta de dos variables se escribe as: abreviada

El cuantificador universal se denota con

cualquier x, para todo x si tiene ms de una variable tambin se puede expresar x y, que puede abreviarse como A A x, y.

x, y q(x, y). x y se lee como para cada x, para

Si p(x) es como en el ejemplo (el nmero x+3 es par) y usamos el cuantificador universal: A x, p(x). Es una proposicin falsa.

En cambio par la proposicin abierta r(x): 2x es un entero par siendo el universo los nmeros enteros, entonces la proposicin A A A x, r(x), la proposicin resultante es

verdadera sin importar que valor se le d a la variable. La variable x de cada una de las proposiciones abiertas p(x) y r(x) es una variable libre. Si x varia en el universo de una proposicin abierta, el valor de verdad puede variar. Pero en contraste A E A x siempre es verdadero, porque la variable x es una

variable acotada por el cuantificador existencial. Esto pasa tambin con las proposiciones x, r(x) y x r(x), en cada caso la variable x est acotada por el

cuantificador universal. Para la proposicin abierta q(x, y), tenemos dos variables libres cada una de las cuales est acotada por el cuantificador existencial.

Definicin 2.6
Sean p(x), q(x) proposiciones abiertas definidas para un universo dado. Las proposiciones abiertas p(x) y q(x) son (lgicamente) equivalentes, y escribimos A A x[p(x) q(x)], cuando la bidireccional p(a) q(a) es verdadera x[p(x) q(x)] y decimos que

para cada a del universo, entonces escribimos p(x) implica lgicamente q(x).

Definicin 2.7
Para las proposiciones abiertas p(x), q(x), definidas en un universo dado, y la proposicin cuantificada en forma universal a) La contrapositiva b) La reciproca de c) La inversa de A A x[p(x) q(x)], definimos: x[q(x) p(x)].

x[p(x) q(x)] como A A

x[p(x) q(x)] como

x[p(x) q(x)] como x[q(x) p(x)]. x[p(x) q(x)].