Accueil
Au hasard
Se connecter
Configuration
Faire un don
À propos de Wikisource
Avertissements
Rechercher
Page
:
Padoa - La Logique déductive dans sa dernière phase de développement.djvu/112
Langue
Suivre
Modifier
Le texte de cette page a été
corrigé
et est conforme au fac-similé.
Transformation des relations logiques
66
Propriétés simplificative, commutative, associative et distributive des opérations logiques
69
Autres propositions remarquables
73
Syllogistique
76
Relations entre les symboles «
⌢
⌣
¬
{\displaystyle \smallfrown \ \smallsmile \ \lnot }
»
80
Dualité logique
82
Principes d’identité, de contradiction et du tiers exclu
90
On démontre une
P
{\displaystyle \mathrm {P} }
sans se soucier de ce qu’elle dit
95
Possibilité de réduire le vocabulaire logique a trois symboles
96
Coulommiers. Imp.
Paul BRODARD.