sábado, 24 de noviembre de 2018

CLASE 1: LOGICA PROPOSICIONAL
El lenguaje de la lógica se basa en una tabla de signos y en una serie de reglas sintácticas, mediante las cuales se pueden llevar a cabo distintas operaciones y examinar la validez de un razonamiento.
RAZONAMIENTO: es un proceso mental que se caracteriza por derivar una conclusión a partir de unas premisas. 
ARGUMENTO: es un conjunto de enunciados que consta de unas premisas y una conclusión: las primeras son enunciados que se consideran afirmados de forma conjunta, y a partir de los cuales se quiere demostrar la conclusión propuesta.
 Ejemplo:

Primera premisa: Si alguien conduce un coche, debe haber cumplido 18 años.

Segunda premisa: Elena conduce un coche.

Tercera premisa: Elena tiene 18 años.

SINTAXIS DE LA LÓGICA PROPOSICIONAL

Una proposición es una expresión lingüística de la cual tiene sentido preguntarse si es verdadera o falsa.
Las proposiciones pueden ser atómicas, que es aquella proposición simple en la que sólo se afirma un hecho, por ejemplo: "hace sol"; también se dice que contiene una sola variable. Las proposiciones moleculares constan de mas de una variable: "hace sol y frío".

En el lenguaje lógico se consideran tres tipos de símbolos: letras proposicionales, conectivas y paréntesis. Las letras proposicionales simbolizan enunciados simples, las que habitualmente se utilizan son p, q, r, s, t, etc. 
Los conectivos son los elementos que conectan una variable con otra:




3 comentarios:

  1. Este comentario ha sido eliminado por el autor.

    ResponderEliminar
  2. Cuando la proposición es verdadera solo si es verdadera tiene como criterio si es afirmativa si se toman en cuenta los conectivos y se conocen su significado para determinar como esta compuesta la proposición y así reconocer los nombres en lógica

    ResponderEliminar
  3. En una preposición se debe conocer el conectivo y su significado para determinar el nombre en lógica Una proposición es verdadera solo si es verdadera afirma un criterio o hecho real

    ResponderEliminar