Simbolizacion De Proposiciones

Simbolización de proposiciones:

Cuando con el lenguaje técnico no se eliminan aceptablemente las ambigüedades y vaguedades y se busca aun mayor precisión y exactitud, se recurre al lenguaje formal.

Lenguaje formal: representa aquellos vínculos mediante signos especiales, que reciben el nombre de conectivos extensionales, signos lógicos, constantes lógicos y operadores.

Pero existe un acuerdo generalizado a cerca de como representar estos signos.

Un lenguaje formal es aquel en el que se han eliminado los términos del lenguaje ordinario y se emplean únicamente signos arbitrarios de cuyos significados se prescinde para dirigir la atención exclusivamente a las relaciones entre dichos símbolos como el lenguaje en el álgebra y la lógica formal.

Por ello en la lógica formal se ha tenido por conveniente simbolizar las proposiciones con letras elegidas arbitrariamente, aunque comúnmente se usa “P” y “Q”.

Los símbolos “.” Y “V” indistintamente representan una relación de conjunción, el “y” del lenguaje ordinario.

El símbolo “Y” representa una relación de disyunción incluyente, el “O” del lenguaje ordinario en el sentido de poder de darse dos posibilidades al mismo tiempo dentro de un hecho.

Ejemplo: traer bebidas o música para la festichola (puedo llegar a traer ambas)

El símbolo “y” representa una relación de disyunción excluyente, el “o” del lenguaje diario en el sentido de poder no darse dos posibilidades al mismo tiempo dentro de un hecho.

Ejemplo: ir al cine o estudiar esta noche (no puedo realizar ambos esta noche).

El símbolo”=”, representa bicondicionalidad (enunciado predicado) reciproca. Las definiens y definiendum son reciprocas.

Proposiciones

Representación en lenguaje cotidiano que debe estar libre de vaguedades.

Atómicas Simples (sin termino de enlace)

• Proposiciones

Moleculares Unión de prop. Atómicas

(Con termino de enlace)

Ejemplos:

 Hoy es martes.

 Hay clases de matemáticas.

Ambas proposiciones son simples.

Con estas proposiciones se pueden construir proposiciones compuestas tales como:

 Hoy es jueves y hay clases de matemáticas.

 Hoy es jueves o hay clases de matemáticas..

 Hoy no es jueves.

Conexiones lógicas y Términos de enlace

Palabras de enlace que unen proposiciones atómicas para formar proposiciones moleculares.

Termino Significado Símbolo

AND “Y” &

“OR” “O” V

“NOT” “NO” ¬

“IF” “Si.. entonces”

Simbolización proposiciones:

...