FICHAS DE L GICA LIBRO DE LECTURAS 1er PARCIAL

Jorge González Sánchez. Lógica Selección de Lecturas, México D.F.: JGS González- Sánchez, Enero de 2015
Lógica Proposicional
La Lógica de Frege
La Lógica de Frege
Pg. 161-165

Gottlob Frege (1848-1925), desarrolla un primer sistema axiomático, simbolizado, consistente y completo, de lógica de 1er orden.
Sus formulaciones filosófico-matemáticas acerca de diversos problemas tanto epistémicos comoónticos que rebasan el terreno relacionado solamente con los fundamentos de las matemáticas es causa de interés a la obra de Frege. Vale la pena mencionar su importante discusión de la distinción semántica entre sentido y referencia.

El Begriffsschrift y el origen de la Lógica contemporánea.
En 1879, Frege publica una breve obra, su Begriffsschrift, que se convertiría en la obra que marca elcomienzo de la Lógica formal contemporánea. Introduce una modificación radical en el análisis de las proposiciones. Propone verlas bajo la forma de función y argumentación.
Se caracteriza por el rigor en la presentación de sus demostraciones.
La manera más confiable de llevar a cabo una prueba es seguir la lógica pura, depende de las leyes en que se funda todo conocimiento.
Para los propósitoscientíficos que fue creado, el mismo facilitaría el proceso del análisis y de ello se seguirá una mayor facilidad para descubrir nuevas verdades, propiciara un mayor avance en la ciencia.

Frege propone la idea de una de matriz de evaluación para los enunciados de cálculo proposicional.
Jorge González Sánchez. Lógica Selección de Lecturas, México D.F.: JGS González- Sánchez, Enero de 2015
La Lógica comoCiencia Formal
Tipos de Proposiciones
Conectivas Lógicas
Pg. 166-177

Se denominan conectivas lógicas las expresiones que sirven para formar proposiciones compuestas, a partir de las proposiciones simples.

1. <> (negación)
2. <> (conjunción)
3. <> (disyunción)
4. <> (bicondicional)

Negación. Dada una proposición, es posible negar su sentido en variasformas.
La negación puede reducirse a la palabra <>, que es una conectiva lógica a la que representaremos mediante el símbolo <<~>> el cual se pone siempre a la izquierda de la proposición que niega.
Conjunción. Cuando la conectiva <> es empleada para enlazar dos proposiciones, son simultáneamente verdaderas. Se simboliza <<^>>.
Disyunción. La conectiva <> que se simboliza <> tiene lafunción de enlazar dos proposiciones, indicando que una de ellas es verdadera.
Condicional. Se simboliza << >>, se escribe entre las dos proposiciones relacionadas por esta conectiva. Señala que si la proposición antecedente es verdadera, también la consecuente.
Bicondicional. Es una conectiva lógica que se simboliza <<>>, y que al relacionar dos proposiciones, indica que el valor de verdad enambas es el mismo.
Jorge González Sánchez. Lógica Selección de Lecturas, México D.F.: JGS González- Sánchez, Enero de 2015
Tablas de Verdad
Tablas de Verdad
Tablas de Verdad
Pg. 181-183

Nos interesa analizar las formas en que se relacionan unas proposiciones con otras, independientemente de su contenido.
Abstraer: (p V q) ^ (q  r).
Una vez abstraída la forma de una proposición, hemos de determinaren qué casos es verdadera y en qué caso es falsa, lo cual depende de los valores de verdad de las proposiciones simples que intervienen en la proposición compuesta, así como las conectivas lógicas empleadas.
Pueden formarse proposiciones compuestas:
A partir de una proposición simple, como en (~p )
A partir de dos proposiciones simples, como en (p ^ q)
De tres proposiciones simples, como en (p Vq) ^ (q  r)
O, aún más, como en (p V q) V (r V s)
En cualquier Tabla de verdad han de anotarse en primer lugar los posibles valores de verdad de las proposiciones simples que en ella intervienen.
Si en la proposición compuesta solo hay una proposición simple (como en ~p), únicamente hay dos posibles valores de verdad;
Si en la proposición compuesta hay dos proposiciones simples (como en pq),...

Leer documento completo

Regístrate para leer el documento completo.