English: If P, then Q is logically equivalent to "(Not P) and/or Q".
Lojban: gajanai broda gi brode .ijo seni'i bo gaja na broda gi brode