Skip to main content

Table 1 Truth tables for ,, and ¬

From: Searching contexts in paraconsistent rough description logic

f u i t   f u i t   ¬  
f f f f f   f f u i t   f t
u f u f u   u u u t t   u u
i f f i i   i i t i t   i i
t f u i t   t t t t t   t f