obra

Titulo Ficha número: 1

La lógica de Frege Bibliografía:
Libro: Lógica-selección de lecturas
Número de página: 140-145Reseña





Gottlob Frege desarrolla un primer sistema axiomático, simbolizado y pleno de la lógica para un sistema deductivo donde modifica el análisis de las proposiciones, en vez de verlas las oraciones como sujeto y predicado las ve como función y argumentación.
Además dice en su escrito la virtud que tiene la facilidad para descubrir nuevas verdades es facilita un mayor entendimiento.También es preciso recordar que, en el mismo se puede expresar, de manera clara, la cuantificación múltiple, negación, condicional, y el cuantificador.

















Titulo Ficha número: 2


Proposiciones simples y compuestas Bibliografía:Libro: Lógica-selección de lecturas
Número de página: 146-151











Reseña




Negación:
Dada una preposición es posible negar su sentido en varias formas.
En general la negación es decir que “no” , negar una proposición es indicar que es falsa

Tabla de la verdad

P ~P ~~P
V F V
FV F

Conjunción:
P Q P ^ Q
V V V
V F F
F V F
F F F
Cuando la conectiva “y” es empleada para enlazar 2 proposiciones, tienen el sentido de afirmar que son verdaderas puesto que la conjunción de 2 preposiciones cualesquiera indica la verdad simultanea de ambas










Titulo Ficha número:3


Disyunción Bibliografía:
Libro: Lógica-selección de lecturas
Número de página: 152-156











Reseña



Disyunción:
La conectiva “o” que se simboliza conel signo {V} tiene la función de enlazar dos proposiciones, indicando que al menos una de ellas es verdadera.
En una disyunción las alternativas pueden ser tanto proposiciones simples como compuestas. Podemos construir una proposición compuesta que representa el sentido exclusivo de la disyunción a esto se le llama disyunción exclusiva y se representa de la siguiente forma: V

Condicional:Al relacionar dos proposiciones con esta conectiva es muy importante distinguir la que queda a la izquierda del signo a la cual se le llama consecuente.
El propósito es señalar que si la proposición antecedente es verdadera, también lo es la proposición consecuente














Titulo Ficha número: 4


Tablas deverdad Bibliografía:
Libro: Lógica-selección de lecturas
Número de página: 161-164











Reseña






Dada una proposición compuesta, de la cual conozcamos tanto su forma como sucontenido, no se necesita construir una tabla de verdad para saber si es verdadero de sus preposiciones simples componentes
Pero es importante la lógica de la que ocupamos, nos interesa analizar las formas en que se relacionan unas proposiciones con otras dependiendo de su contexto
En toda tabla de verdad cualquier proposición compuesta ha de anotarse en primer lugar los posibles valores que en ella...