Logicians' jargon

From Lojban