Table des symboles ^a

Pages¹

Abstraction (division logique) : 119

Addition logique + 82

Affirmation complète (dite tautologie) * 229

Affirmation de p p[?J 237

Affirmation de q ?[p] 237

Appartenance ≡ 83

Classe singulière (z₁) ; {x₃) 82

_A „ „ S ⁸²

— primaire indéterminée A ; B ; C î g$

— primaire déterminée A₁ ; B₁ 114

— secondaire indéterminée A’ ; B’ 104

— secondaire déterminée A{ ; B] 114

— négative ou niée A ; B 84

— nulle o 97

— totale considérée Z 121

Conjonction • 223

Corrélativité C 285

Disjonction non exclusive ∨ 231

Ensembles E ; F 191

Équivalences (entre classes ou entre relations) = 82

Exclusion réciproque w 236

Fonction propositionnelle <f{x) 50

Implication ≡ 233

— inverse c 234

— réciproque c 235

•— réciproque (équivalence) = 235

— — (dite homologie) ~ 235

1. La page indiquée correspond à celle où le symbole parait pour la première fois.

Inclusion (ou inégalité quantitative entre Pages

classes ’ < 83

Inclusion ou équivalence ≤ 108

Incompatibilité I 232

Inversion (négation) N 285

( 117

Multiplication logique r^ X < à 119

( 123

Multiplication des relations 161

Négation d’une proposition p ; q 294

— opération p ∨ q ; p • q 230

— complète (dite contradiction) o 230

— conjointe p • q 232

— de p p[g] 234

— de g g[p] 238

Non-implication 5 234

z ( 36

Proposition p ; q 294

, , , 258

— secondaire p ; q ) θ∣3

— toujours vraie (classe totale considérée).. T 287 ( 117

Produit de deux classes AB0uA₁A₂L ^g

Réciprocité R 285

Relation asymétrique primaire _4_; Hl

— — secondaire √L 141

— symétrique d’équivalence positive 150

— — d’altérité positive ,^a’_x ; 150

— symétrique d’équivalence négative _<« _r ; 150

— — d’altérité négative F’_r : _t^b’_t 150

— — d’équivalence multiplicative « 2^- » 178

— — d’intervalle A — ‰ | B 184

Soustraction logique — 84

Terme individuel déterminé x₁ ; x₂ 81

— — indéterminé x ; y 81