INSTITUTO DE MATEMATICAS

Prof. Sandra Caro C.

INTRODUCCIÓN A LA LÓGICA.

La matemática estudia las propiedades de ciertos objetos, como números , operaciones, conjuntos , es necesario contar con un lenguaje apropiado
para expresar esas propiedades de manera precisa, algunas propiedades son evidentes, pero la mayoría no lo son y necesitan de una cierta
argumentación que permita establecer su validez. Necesitamos conocer las principales leyes de la logica que regulan la corrección de estos
argumentos.
Estudiaremos conceptos tales como : verdad, equivalencia , consecuencia lógica y aplicaciones

Proposiciones:Frases del lenguaje natural sobre la cual podemos afirmar que es Verdadera (V) o Falsa (F), pero no ambas.
Ejemplos: " Dos es impar "
" Tres es menor que siete"
" Talca es la capital de la región del Maule "

En cambio las siguientes frases no son proposiciones:

" ¿Es jueves hoy ?" " dos más seis" " compra dos entradas para ir al cine hoy "

no se les puede asignar un valor de verdad

Obs . Se usan letras como   y  para representar proposiciones

   es impar
    

Ejercicio.

Indicar el valor de verdad de las siguientes proposiciones:

        

    

 

  

Conectivos
Una proposición puede estar compuesta a su vez por una o varias proposiciones más simples, conectadas por una palabra
o frase que se llama conectivo. (" las proposiciones son los bloques básicos de construcción de cualquier teoría lógica)

 Negación
def. Dada la proposición  se define la negación de  , lo que se simboliza por   o   por medio de la tabla de verdad  
 
 

por ejemplo :             

Sí   no llueve en verano ,    

 Conjunción
def. Dadas las proposiciones  y  se define la proposición conjunción entre  y   que se simboliza por    por medio de la tabla de verdad
  
  
  
  
  

Por ejemplo: " dos es par y tres es impar"

esta compuesta por las proposiciones más simples " dos es par " y " tres es impar" conectadas por la palabra " y"
Disyunción
def. Dadas las proposiciones  y  se define la proposición disyunción entre  y   que se simboliza por    por medio de la tabla de verdad
  
  
  
  
  

Por ejemplo: " dos es mayor que siete o siete es mayor que dos "
esta compuesta por las proposiciones más simples " dos es " o
" siete es " conectadas por la palabra " o"

Ejercicio
Sean              

Determinar el valor de verdad de

   

    

       

          

Realizar la tabla de verdad de cada proposición

       

            

          

Si   José Miguel estudia computación

  Juan enseña Estadística

escriba la expresión simbolica en palabras

     
     