Primer curso de lógica matemática /
Suppes, Patrick
Primer curso de lógica matemática / Patrick Suppes, Shirley Hill ; traductor Enrique Linés Escardó - Primera edición. - Barcelona : Reverté, S.A., 1976. - 283 páginas ; 22 cm.
Incluye índice de materias en las páginas 279
1. Simbolización de proposiciones -- 2. Inferencia lógica -- 3. Certeza y validez -- 4. Tablas de certeza -- 5. Términos, predicados y cuantificadores universales -- 6. Especificación universal y leyes de identidad -- 7. Un sistema matemático simple, axiomas de la adición -- 8. Generalización universal.
El objetivo de este libro comprende la teoría proposicional de inferencia, inferencia con cuantificadores universales, y aplicaciones de la teoría de la inferencia al desarrollo de la teoría elemental de grupos conmutativos, o la teoría de la adición, que es como se ha desarrollado en el texto
8429151508
Lógica simbólica y matemática
511.3 / S959 1976
Primer curso de lógica matemática / Patrick Suppes, Shirley Hill ; traductor Enrique Linés Escardó - Primera edición. - Barcelona : Reverté, S.A., 1976. - 283 páginas ; 22 cm.
Incluye índice de materias en las páginas 279
1. Simbolización de proposiciones -- 2. Inferencia lógica -- 3. Certeza y validez -- 4. Tablas de certeza -- 5. Términos, predicados y cuantificadores universales -- 6. Especificación universal y leyes de identidad -- 7. Un sistema matemático simple, axiomas de la adición -- 8. Generalización universal.
El objetivo de este libro comprende la teoría proposicional de inferencia, inferencia con cuantificadores universales, y aplicaciones de la teoría de la inferencia al desarrollo de la teoría elemental de grupos conmutativos, o la teoría de la adición, que es como se ha desarrollado en el texto
8429151508
Lógica simbólica y matemática
511.3 / S959 1976