Tableaux
Introductions


Textes Psychologiques

Disjonction exclusive

 Logique subjective


Textes Politques
Accueil


¬A    est représenté par  le grillage + barreaux horizontaux
¬B    est représenté par  le grillage + barreaux verticaux
A∩B   est représenté par  le blanc
AUB     est représenté par  le blanc + les barreaux
AwB     est représenté par  les barreaux seuls
¬(A∩B)  est représenté par  les barreaux + le grillage 
¬(AUB)     est représenté par  le grillage seul
¬(AwB)    est représenté par  le grillage + le blanc
 (¬A) ∩ (¬B) est représenté par  le grillage seul
(¬A) U (¬B) est représenté par les barreaux + le grillage
(¬A) w (¬B)  est représenté par  les barreaux seuls



Négative particulière obsessionnelle
Négation de l’échange A∩B
¬(A∩B)    <=>     (¬A) U (¬B)
Rien n’est partagé.
Ex ¬F(x) Il y a un vilain petit canard.

   Négation "conjointe"
 Négationdel'alternative  
 (¬A) ∩ (¬B)  
Tout sauf nous.

Affirmation complète paranoïaque
Vx F(x)
X U (¬X)
Tout est pour le mieux
dans le meilleur des mondes.
Négation de l’ Exclusion AwB
Exclusion des quantités isolées
¬ (AwB)    <=>    ¬(AUB) U (A∩B)
 <=>    [(A) U (¬B)] U  [(¬A) U (B)]
Tout ou rien en partage. 		Affirmative universelle mythique
Affirmation de l’Exclusion AwB
AwB     <=>    (¬A) w (¬B)
Tout est séparé.

Négative universelle schizophrénique
Rien du tout
X ∩ (¬X)
Vx  ¬F(x)
¬(AvB)     <=>     (¬A) ∩ (¬B)

 Tout est commun.
Disjonction non exclusive 
 A U B
Affirmation de la communauté AUB
Affirmative particulière hystérique

Affirmative particulière :Ex F(x)

Intersection
A∩B
A∩B    <=>    df(AUB) – AwB

 Voir ci-dessous :
Tables de vérité des lois de De Morgan étendues à la disjonction exclusive : 

¬(A∩B) <=> (¬A) v (¬B)

A

B

A∩B

¬(A∩B)

¬A

¬B

(¬A) V (¬B)

0
0
1
1

0
1
0
1

0
0
0
1

1
1
1
0

1
1
0
0

1
0
1
0

1
1
1
0

  

¬(AvB) <=> (¬A) ∩ (¬B)

A

B

AvB

¬(AvB)

¬A

¬B

(¬A) ∩ (¬B)

0
0
1
1

0
1
0
1

0
1
1
1

1
0
0
0

1
1
0
0

1
0
1
0

1
0
0
0

 *****
Logique intuitionniste :

¬(A∩B)   <=/=>   (¬A) w (¬B)

A

B

A∩B

¬(A∩B)

¬A

¬B

(¬A) w (¬B)

0
0
1
1

0
1
0
1

0
0
0
1

1
1
1
0

1
1
0
0

1
0
1
0

0
1
1
0

  

AwB  <=>  (¬A) w (¬B)

A

B

AwB

¬(AwB)

¬A

¬B

(¬A) w (¬B)

0
0
1
1

0
1
0
1

0
1
1
0

1
0
0
1

1
1
0
0

1
0
1
0

0
1
1
0

Haut de la page

Accueil