zwrotność ABC: czy ta relacja jest zwrotna? Mi wyszło, że nie, ale wolę się upewnić X=R² (x1,y1)R(x2,y2) <=> x1=y2

Pytający: Dobrze, nie jest zwrotna.

ABC: a co z przechodniością? też nie?

ABC: nie jest: przechodnia, symetryczna, słabo antystymetryczna, spójna jest: przeciwzwrotna, przeciwsymetryczna Czy tak jest dobrze?

ABC: podbijam

ABC: help

Pytający: ¬((1,0)R(1,0)) // nie jest zwrotna (0,0)R(0,0) // nie jest przeciwzwrotna (0,0)R(1,0) ∧ (1,0)R(0,1) ∧ ¬((0,0)R(0,1)) // nie jest przechodnia (0,0)R(1,0) ∧ ¬((1,0)R(0,0)) // nie jest symetryczna (0,1)R(1,0) ∧ (1,0)R(0,1) // nie jest przeciwsymetryczna (0,1)R(1,0) ∧ (1,0)R(0,1) ∧ (0,1)≠(1,0) // nie jest antysymetryczna ¬((1,0)R(1,0)) ∧ ¬((1,0)R(1,0)) // nie jest spójna (bo nie jest zwrotna)