Table 2 Truth tables for ↦,⊃, and →
From: Searching contexts in paraconsistent rough description logic
↦ | f | u | i | t | ⊃ | f | u | i | t | → | f | u | i | t | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
f | t | t | t | t | f | t | t | t | t | f | t | t | t | t | ||
u | u | u | t | t | u | t | t | t | t | u | u | t | u | t | ||
i | i | t | i | t | i | f | u | i | t | i | f | u | i | t | ||
t | f | u | i | t | t | f | u | i | t | t | f | u | f | t |