tolkanxe lujvo

k₁ is an alternative denial (nand/Scheffer stroke ↑), stating that k₂ (du'u) and k₃ (du'u) are not both true.

Truth-condition: FTTT (=inajanai). Scheffer stroke ↑ (=tolkanxe bu).

• jbovlaste