El lenguaje de la lógica

proposicional
Gongora Sandoval David Israel
González Jiménez Dante
Vargas Rojas Isabel

Isa
 EL OBJETO DE ESTUDIO DE LA LÓGICA

La lógica es una ciencia y su objeto de

estudio lo constituyen las formas,
estructuras o esquemas del pensamiento.

Si comparamos los siguientes

ejemplos de pensamientos,
encontraremos que pueden referirse
a cosas muy diferentes (es decir, su
contenido es variable), y sin
embargo tienen estructuras comunes:
 1.. 7 es un número primo y 4 es par.
.
2. Venus es un planeta y sirio es una estrella.
3. Marzo tiene 30 días o marzo tiene 31 días.
4. El hombre hace su historia o la historia hace al
hombre.
5. Si el tabaco produce cáncer, entonces los
cigarros son un medio de suicidio.

La lógica proposicional es la parte de la lógica que estudia las formas en que

se relacionan unas proposiciones con otras y, sobre todo, la relación que se da
entre las proposiciones que componen un razonamiento.
 LENGUAJE NATURAL Y LENGUAJE SIMBÓLICO
En los lenguajes hechos por el hombre, la información se
trasmite por medio de signos, que pueden ser señas, gritos,
palabras, volutas de humo, combinación de colores, etc. En
realidad, los lenguajes humanos son sistemas de signos,
que representan algo, ya sea utilizando cada signo
individualmente, o combinándolos de alguna manera.

En el lenguaje natural, que aprendemos en forma

espontánea y empleamos en nuestra vida
cotidiana, los signos utilizados son palabras,
habladas o escritas, las cuales tienen un
determinado significado el cual se mantiene sin
que varíe o cambia de acuerdo con las
circunstancias.
LA SIMBOLIZACIÓN DEL
LENGUAJE LÓGICO
Al simbolizar un lenguaje lo que se persigue
es, sencillez, claridad y exactitud. Es más
sencillo y también resulta más claro y
exacto representar las cosas por medio de
símbolos. Por ello, la simbolización del
lenguaje lógico nos permite examinar más
fácilmente las formas del pensamiento y sus
leyes, las cuales es preciso seguir si
queremos que nuestro pensamiento sea
correcto.
En la lógica proposicional se examinan las posibles relaciones entre proposiciones,
sin atender a su contenido. En esto es particularmente útil simbolizar las
proposiciones con simples literales y las expresiones mediante las cuales son
relacionadas (como “y”, “o”, “sí. entonces”), por medio de signos cuyo significado sea
constante. De esta manera es más fácil, decidir si. Por ejemplo, un razonamiento es
correcto o no, lo cual no siempre resulta sencillo