Se Marcelo é forte, então Leonardo é fraco.

Marcelo é forte, e Leonardo não é fraco.

Marcelo não é forte ou Leonardo não é fraco.

Marcelo não é forte, e Leonardo não é fraco.

Se Marcelo não é forte, então Leonardo não é fraco.