A= { Sull'isola c'è oro
}
B= {Il nativo è un
cavaliere }
A↔B = { Sull’isola
c’è oro se e solo se io sono un cavaliere }
(A↔B)↔B = {
Sull’isola c’è oro se e solo se io sono un cavaliere è vero se e solo se
io sono un cavaliere}
A
|
B
|
A↔B
|
(A↔B)↔B |
V
|
V
|
V
|
V
|
V
|
F
|
F
|
V
|
F
|
V
|
F
|
F
|
F
|
F
|
V
|
F
|
Allora A è vera sia che
B sia vera (il nativo è un cavaliere) sia che sia falsa (il nativo è un
furfante).