18/05/16 19:32:36.09 75lmIgYS.net
P”俺は大阪に住んでいる” Q”俺は日本に住んでいる”
P ならば Q である（前提 -- 実質含意）
Q でないならば P でない（その対偶）
Q でない（前提）
従って、P でない（モーダスポネンスによる帰結）
18/05/16 19:32:36.09 75lmIgYS.net
P”俺は大阪に住んでいる” Q”俺は日本に住んでいる”
P ならば Q である（前提 -- 実質含意）
Q でないならば P でない（その対偶）
Q でない（前提）
従って、P でない（モーダスポネンスによる帰結）