- 152 pages
- French
- PDF
- Disponible sur iOS et Android
À propos de ce livre
Manuel de logique moderne classique pour étudiants et chercheurs du supérieur, cet ouvrage présente la méthode du calcul des séquents (les groupes L). Celle-ci est une méthode de décision syntaxique ou une théorie de la démonstration utilisée par Joseph Dopp pour construire six systèmes logiques. Chacun de ces systèmes utilise des schémas d'introduction d'un opérateur dans l'antécédent ou dans le conséquent pour l'engendrement ou la démonstration des théorèmes en conformité avec les règles et les opérateurs logiques: l'implication, la conjonction, la disjonction, la négation, la négation stricte et le schémaf. Cet ouvrage présente ces systèmes logiques, les analyse, les explicite et les enrichit des exercices d'illustration résolus pour faciliter au lecteur l'approfondissement et la maîtrise de la méthode des séquents.
Foire aux questions
- Essentiel est idéal pour les apprenants et professionnels qui aiment explorer un large éventail de sujets. Accédez à la Bibliothèque Essentielle avec plus de 800 000 titres fiables et best-sellers en business, développement personnel et sciences humaines. Comprend un temps de lecture illimité et une voix standard pour la fonction Écouter.
- Intégral: Parfait pour les apprenants avancés et les chercheurs qui ont besoin d’un accès complet et sans restriction. Débloquez plus de 1,4 million de livres dans des centaines de sujets, y compris des titres académiques et spécialisés. Le forfait Intégral inclut également des fonctionnalités avancées comme la fonctionnalité Écouter Premium et Research Assistant.
Veuillez noter que nous ne pouvons pas prendre en charge les appareils fonctionnant sous iOS 13 ou Android 7 ou versions antérieures. En savoir plus sur l’utilisation de l’application.