Equivalence

System

Reflexivity

Symmetry

Transitivity

T

√

B

√

√

S4

√

√

S5

(√)

√

√

Category: Logic
You can leave a comment or trackback from your own site.

Leave a Reply

Please leave these two fields as-is:

Protected by Invisible Defender. Showed 403 to 144,234 bad guys.