[政治・選挙・ＮＨＫ209]
68. 新共産主義クラブ[2280] kFaLpI5ZjuWLYINOg4mDdQ 2016年7月25日 16:00:11 : fL1VzHThAk : Zm6N22Er39g[1]
>>67（つづき）
　
＞「『どうせ今の自民党から離党して筋を通すサムライなど居やしねェ〜！』という大前提で、『いかなる形でも、自民党を離党した議員とは連携を考慮しない』」（日高見連邦共和国）と、「『どうせ今の自民党から離党して筋を通すサムライなど居やしねェ〜！』という大前提で、『日高見連邦共和国は、自民党を離党した議員と連携を考慮することがある』」とは、論理学的には、同じ意味になる
　
　
これを、記号論理学を使って説明してみよう。
　
ここで、P(x) は、
「x は、自民党から離党した議員である」
という述語を表す述語記号であり、
　
Q(x)は、
「日高見連邦共和国は、x と連携する。」
という述語を表す述語記号であるとする。
　
　
また、∃ は記号論理学における存在量化記号であり、∀ は全称量化記号であるとする。
　
たとえば、∃x P(x) は、「P(x) であるような x が存在する」と読み、∀y Q(y)は、「すべての y に対して、Q(y)である」と読む。
　
さらに、 ¬ は、記号論理学における否定を表す結合記号であるとし、→ は「ならば」を表す結合記号であるとする。
　
たとえば、¬P(x) は、「 P(x) ではない」や、「 x は P(x) を満たさない」などと読む。
　
また、P(x) → Q(x) は、「 P(x) ならば Q(x) 」や、「 x が P(x) を満たすならば、x は Q(x) を満たす」などと読む。
　
（詳しくは、Wikipedia『一階述語論理』の頁を参照してください。https://ja.wikipedia.org/wiki/%E4%B8%80%E9%9A%8E%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86）
　
　
さて、本題の、
　
「『どうせ今の自民党から離党して筋を通すサムライなど居やしねェ〜！』という大前提で、『いかなる形でも、自民党を離党した議員とは連携を考慮しない』」（日高見連邦共和国）
　
という命題は、述語論理の命題として詳しく書くと
　
『自民党から離党した議員 x が存在しない』ならば、『すべての x に対して、x が自民党から離党した議員であるならば、日高見連邦共和国は、x と連携しない』
　
となる。
　
　この命題は、述語記号 P(x) と Q(x) を用いて、
　
　( ¬(∃x P(x)) ) → ( ∀x (P(x) → (¬Q(x))) ).
　
　と表すことができる。
　
　

http://www.asyura2.com/16/senkyo209/msg/710.html#c68

[政治・選挙・ＮＨＫ215] 反グローバリズムがトランプ新大統領を誕生させた　「トランプ大統領誕生で安倍政権は行き詰まる」　植草一秀の『知られざる真実 赤かぶ
35. 2016年11月10日 17:49:20 : fL1VzHThAk : Zm6N22Er39g[0]
>>18
落語家の志ん生師匠がマグロの刺身が好物で、巷でビキニ・マグロ（放射能汚染されたマグロ）
と騒がれているときも構わず食べ続けていたという話、そして脳卒中（放射能被曝で血管が脆く
なる）を発症し倒れたという話は非常に興味深い事実を示してくれていると感じますが、福島
原発事故後現在までずっと放射能汚染されっ放しの海洋や陸地で獲れた食物が、さしたる被害
がないと市場に出回っている現実を直視すれば、当時放射能汚染食物摂取による被曝の実態に
ついてほとんど知らされていなかった日本国民に対して、普通に市場を通して販売されていた
と考えるのが妥当かと。
http://www.asyura2.com/16/senkyo215/msg/675.html#c35