Titre : | Logique élémentaire |
Auteurs : | Willard van Orman quine |
Type de document : | texte imprimé |
Editeur : | paris : Armand Colin, 1972 |
Collection : | U2 |
Format : | 224 p. / ill. / 23 cm |
Note générale : | Index 214-220 |
Langues: | Français |
Langues originales: | Français |
Index. décimale : | 840 (Littérature française) |
Catégories : | |
Mots-clés: | Logique élémentaire ; Composition de proposition ; Quantification |
Résumé : | Une introduction à la logique et une introduction à la pensée de quine l'auteur a voulu conenser sous un format réduit la substance de la logique traditionnelle en la traitant par les moyens de la logique moderne. il explique les concepts formels fondamentaux, traite de la paraphrase des mots en symboles, fournit une méthode pour décider la validité en logique des fonctions de vérité et donne, en logique de la quantification, une procédure de démonstration jouissant de la propriété de complétude. chacun des paragraphes est accompagné d'exercices dont la est proposés en appendice. |
Exemplaires (1)
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
Litté.fr.A/38 | 840/23/1 | Livre | BU Centrale Batna 1 | Troisième étage : Dictionnaires et encyclopédies | Disponible |