INICIO

El objetivo de este sitio es dar a conocer los diferentes conceptos que engloba la lógica proposicional y así aumentar el conocimiento de cada persona que visite dicho sitio. Deseamos que te sea de mucha ayuda! BIENVENIDO!!!




por visitarnos!.

¿QUE ES LA LÓGICA?



Es una ciencia auxiliar de la Matemática, pues ayuda a comprenderla, razonarla, etc.

Para iniciar los estudios de la lógica, es necesario analizar oraciones particulares de las cuales se pueden decir que son VERDADERAS O FALSAS y reciben el nombre de proposiciones.-

*Por ejemplo:

El número 5 es un número natural

 Toda proposición es representada por las últimas letras minúsculas del abecedario:

p, q, r, s, t, w

Para ayudarte a comprender un poco mas sobre este tema puedes ver el siguiente video, esperamos que te sea de ayuda.

3.1 CONCEPTO DE PROPOSICIÓN



Es una oración aseverativa de la que tiene sentido decir que es verdadera o falsa. También podría definirse como una expresión lingüística susceptible de ser calificada de verdadera o falsa.

*EJEMPLOS

  1. El sol es agradable en primavera.(CIERTO)
  2. 36 + 63 = 99 (CIERTO)
  3. Dos es impar (FALSO)
  4. Un triangulo tiene tres lados (CIERTO)
  5. Todos los alumnos del ITM son menores de edad ( FALSO)
*Los siguientes son ejemplos de expresiones las cuales no son proposiciones
  1. El hombre más fuerte del mundo
  2. El director del periódico
  3. 13 + 7
  4. ¡Tú te callas!

3.1.2 PROPOSICIÓN COMPUESTA



Una proposición será compuesta si no es simple. Es decir, si está afectada por negaciones o términos de enlace entre oraciones (componentes).Es aquella que se compone de dos o mas proposiciones simples

  • Ejemplos:

 1 )Sen(x) no es un número mayor que 1.                    

 2)El 14 es factor del 42 y el 7 también es factor del 42.

 3) El 2 es divisor de 48 o el 3 es divisor de 48.

4)Si x es número primo, entonces x impar.        

5) No todos los números primos son impares. 




3.1.2.1 DISYUNCION



DISYUNCION

En matemáticas, una disyunción lógica, es un operador lógico que resulta verdadero si cualquiera de los operadores es verdadero. Es un enunciado con dos o más elementos optativos.

Las disyunciones de las proposiciones simples p v q ( que se lee: ” p o q”) es falsa si ambas proposiciones son falsas. El operador lógico disyunción también se denomina OR y representa la suma lógica.

EJEMPLO:

Si p es la proposición ” es un número primo” y q es ” 12 es divisible entre 3″, entonces se pueden formar las proposiciones compuestas:

p^q: ” 3 es un número primo y 12 es divisible entre 3″

pvq: ” 3 en un número  primo o 12 es divisible entre 3″

3.1.2.2 CONJUNCION



 Una conjunción es un «enunciado con dos o más elementos simultáneos». La conjunción de dos proposiciones simples p^q ( que se lee: ” p  y q”) es verdadera si ambas proposiciones son verdaderas. La conjunción (^), es una conectiva lógica que se denomina el operador lógico AND y representa el producto lógico.

Observe que la tabla de verdad para dos proposiciones simple tiene cuatro renglones que contienen todas las posibilidades o alternativas de combinación de los valores de la verdad de las proposiciones simples.

Para generalizar, si n es el número de proposiciones simples, entonces la tabla de verdad de la expresión lógica tendrá 2^n renglones, en los que aparecen todas las posibles y diferentes combinaciones de valor de verdad de las proposiciones simples.

3.1.2.3 NEGACION



Para negar una proposicion simple se emplea el símbolo ˜ de tal forma que ˜p ( que se lee”no p”), y es tal , que si p es verdadera (1), ˜p será falsa (0), y viceversa. el operador negación (˜) también se denomina NOT por razones obvias.

*EJEMPLOS:

Hay muchas maneras de negar algo:

  1.  El dinero no es la felicidad.
  2. Es falso que el dinero es la felicidad.
  3. No es el caso que el dinero es la felicidad.
  4. El dinero es cualquier cosa menos la felicidad.
  5. Es inaceptable decir que el dinero es la felicidad.
  6. Delira quien sostiene que el dinero es la felicidad.
  7. No se afirma con verdad que el dinero es la felicidad.
EJEMPLO 8.-

p.- Juan conversa

-p.- Juan no conversa

 EJEMPLO 9.-

p.-3+5=9

~p.- 3+5 no es igual a 9