>命題「x が有理数 ⇒ z が無理数」が真のとき、

すみません。意味がはっきり、よみとることが、できませんので、具体的に
説明していただけないでしょうか。