English: If P, then Q is logically equivalent to "If not Q, then not P".
Lojban: gajanai broda gi brode .ijo seni'i bo gajanai na brode gi na broda