18/01/09 02:23:40.38 nCus3OZJ.net
[P(x) ならば Q(x) である] は P.Q が論議世界を同じくするかまたは Q の論議世界が
P の論議世界を包摂する場合にのみ定義される。
命題 P(α)⊰Q(α) は、[P(x) ならば Q(x) ]でありかつ＜x」α＞∈Ｕx である場合のみ
成立する。
18/01/09 02:23:40.38 nCus3OZJ.net
[P(x) ならば Q(x) である] は P.Q が論議世界を同じくするかまたは Q の論議世界が
P の論議世界を包摂する場合にのみ定義される。
命題 P(α)⊰Q(α) は、[P(x) ならば Q(x) ]でありかつ＜x」α＞∈Ｕx である場合のみ
成立する。