Besonderhede van voorbeeld: 4587718736318157909

Icelandic

Vensl S1/~S1 og S2/~S2 eru þannig að ~S1 er neitun S1 en forsenda S2. ~S2 er neitun S2 en forsenda S1.

Russian

Чтобы перейти от S1 к S2, потребуется прежде всего отрицание S1 (обозначается ~S1).