自由文思考プログラミングにおけるORの表現 ・独立した〇〇の〇〇可能性 ・背理法で使うORとの違い ・一般の思考規則（AND）での表現 ・例 ・ORの思考規則を示すための記号

1. 自由文思考プログラミング【００７】 「OR（又は）の表現」
１．このORは「２以上の〇〇の独立した□□可能性」を表現する ⇒ 根拠の独立した説明可能性
参考）背理法で使えるORとの違い
例「空模様 ⇒ 晴れ OR 晴れでない」
２．このORは、２行以上の「思考規則（ :- ）」でも表現できる（Prologと同じ）
$Xは北米にある :- $Xは米国本土にある ;
$Xは北米にある :- $Xはカナダにある ;
NYは米国本土にある
⇒ NYは北米にある
バンクーバーはカナダにある
⇒ バンクーバーは北米にある
３．ORは、 「:|」なら一行でも表現できる
$Xは北米にある :| $Xは米国本土にある ; $Xはカナダにある ;
同じ意味
同じ意味
結論
根拠１
根拠２