[カルト16] 現ビ・英離脱は大恐慌前夜の予兆か。パナマとデラウェアがバレた今、大恐慌詐欺は無理で、円高差益を適正に還元する事です。 小沢内閣待望論
3. 2016年6月28日 17:36:30 : fSteutEe5k : xVaBqKspXpQ[1]
>>1
なるほど、テレビで投票前から、インタビュー受ける残留希望者が労働者階級や移民系の人々
に対して、離脱希望者が富裕層や白人エスタブリッシュメントの人々、の映像を投票後も繰り
返し放送してるのは印象操作が目的だったわけか！だからテレビを見ている日本人はいつまで
たっても、御用達電通の洗脳から目覚めることができない！
http://www.asyura2.com/16/cult16/msg/332.html#c3

[政治・選挙・ＮＨＫ209] 不正選挙シャーロックホームズ＜ダントツトップ当選だったはずの三宅洋平の票を大幅に減らして喜ぶ某勢力＞ 国際評論家小野寺光一
124. 2016年7月13日 06:16:38 : fSteutEe5k : xVaBqKspXpQ[2]
阿呆か生活の党の当選者云々、それが無効になるなんてレベルでも規模でもない
完全な選挙のやり直しをしなくてはならない、それほど日本の将来にとって
破局的な不正選挙が執り行われたってことだろ。先ず最初に洗いなおさねばなら
ないのは、不正選挙を断行したアメリカの戦争屋の御用達当選議員・安倍自公か
らなのは明白だろ。八百長だと日本国民が気づいてしまったら、その不正を追及
しなくちゃ話は先に進まないわな。同じ土俵で勝負ってのは、八百長システム
が存在していないことが大前提なのは、ガキでもわかる単純な話しだし、ガキ
でもちゃぶ台ひっくり返して大騒ぎするぜ、八百長勝負させられてたら。同じ
リングでグローブに鉛仕込んで、滅多打ちしてノックアウトして、その事実を
審判が見咎めないそういう状況が日本の国政選挙で行われてるってことだ。

http://www.asyura2.com/16/senkyo209/msg/316.html#c124

[政治・選挙・ＮＨＫ209]
74. 新共産主義クラブ[2286] kFaLpI5ZjuWLYINOg4mDdQ 2016年7月25日 18:06:08 : fSteutEe5k : xVaBqKspXpQ[3]
>>73（つづき）
　
( ¬(∃x P(x)) ) → ( ∀x (P(x) → (¬Q(x))) ) と、　( ¬(∃x P(x)) ) → ( ∃x (P(x) → Q(x)) ) とが同値であることを証明するために、
　
( ¬(∃x P(x)) ) → ( ∀x (P(x) → (¬Q(x))) ) を仮定すると、
　
結論（ゴール）として、
　
( ¬(∃x P(x)) ) → ( ∃x (P(x) → Q(x)) )
　
が導かれることを示そう。
　
Microsoft Windows版のProver9-Mace4 v05をダウンロードし、起動しておく。
　
「Assumptions:」と書かれたラベルの下のテキストエリアに、
　
(-(exists x P(x))) -> (all x (P(x) -> (-Q(x))) ).
　
と入力し（行末の半角ピリオド「.」を忘れずに！ また、全角の空白を挿入しないように！）、
　
「Goals:」と書かれたラベルの下のテキストエリアに、
　
(-(exists x P(x))) -> (exists x (P(x) -> Q(x)) ).
　
と入力する（行末の半角ピリオド「.」を忘れずに！ また、全角の空白を挿入しないように！）。
　
右側のペインの「Proof Search　Prover9」の方の「Start」ボタンを押す。
　
自動定理証明が実行され、サブウィンドウが開いて、下のように証明が成功したことが表示される。
　
============================== prooftrans ============================
Prover9 (32) version Dec-2007, Dec 2007.
============================== end of head ===========================

============================== end of input ==========================

============================== PROOF =================================

% -------- Comments from original proof --------
% Proof 1 at 0.00 (+ 0.03) seconds.
% Length of proof is 4.
% Level of proof is 2.
% Maximum clause weight is 0.
% Given clauses 0.

2 -(exists x P(x)) -> (exists x (P(x) -> Q(x))) # label(non_clause) # label(goal). [goal].
3 P(x). [deny(2)].
4 -P(x). [deny(2)].
5 $F. [resolve(3,a,4,a)].

============================== end of proof ==========================
　

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

[政治・選挙・ＮＨＫ209]
75. 新共産主義クラブ[2287] kFaLpI5ZjuWLYINOg4mDdQ 2016年7月25日 18:13:22 : fSteutEe5k : xVaBqKspXpQ[4]
>>74（つづき）
　
　Prover9では、あらかじめ設定された、有限の時間内に証明に成功すると、サブウィンドウが開いて「PROOF」（証明）が表示される。
　
　仮定から結論を導く定理が偽である場合など、あらかじめ設定された時間内（デフォルトは６０秒）に証明できない場合は、
　
「Prover9 Exit: Exhausted」が表示される。
　
　また、「Start」ボタンを押す前に、「Assumptions:」および「Goals:」の「Well Formed?」のボタンを押すと、それぞれのテキストエリアに書かれた論理式が、文法的に正しく入力されているかをチェックすることができる。
　
　もちろん、あくまでも、論理式が、文法的に Prover9 の入力形式として正しいかどうかのチェックであって、論理的に正しいかどうかのチェックではない。
　

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

[政治・選挙・ＮＨＫ209]
76. 新共産主義クラブ[2288] kFaLpI5ZjuWLYINOg4mDdQ 2016年7月25日 18:19:56 : fSteutEe5k : xVaBqKspXpQ[5]
>>75（つづき）
　
同様にして、
　
　( ¬(∃x P(x)) ) → ( ∃x (P(x) → Q(x)) )　を仮定すると、
　
結論（ゴール）として、
　
　( ¬(∃x P(x)) ) → ( ∀x (P(x) → (¬Q(x))) )
　
が導かれることを示すことができる。
　
今度は、「Assumptions:」と書かれたラベルの下のテキストエリアに、
　
(-(exists x P(x))) -> (exists x (P(x) -> Q(x)) ).
　
と入力し（行末の半角ピリオド「.」を忘れずに！ また、全角の空白を挿入しないように！）、
　
「Goals:」と書かれたラベルの下のテキストエリアに、
　
(-(exists x P(x))) -> (all x (P(x) -> (-Q(x))) ).
　
と入力すればよい（行末の半角ピリオド「.」を忘れずに！ また、全角の空白を挿入しないように！）。
　
以下のような証明が表示される。
　
============================== PROOF =================================

% -------- Comments from original proof --------
% Proof 1 at 0.00 (+ 0.01) seconds.
% Length of proof is 4.
% Level of proof is 2.
% Maximum clause weight is 2.
% Given clauses 0.

2 -(exists x P(x)) -> (all x (P(x) -> -Q(x))) # label(non_clause) # label(goal). [goal].
6 -P(x). [deny(2)].
7 P(c2). [deny(2)].
8 $F. [copy(7),unit_del(a,6)].

============================== end of proof ==========================
　

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

[政治・選挙・ＮＨＫ209]
77. 新共産主義クラブ[2289] kFaLpI5ZjuWLYINOg4mDdQ 2016年7月25日 18:26:47 : fSteutEe5k : xVaBqKspXpQ[6]
>>76（つづき）
　
７４と７６から、
　
( ¬(∃x P(x)) ) → ( ∀x (P(x) → (¬Q(x))) ) を仮定すると、
　
結論（ゴール）として、
　
( ¬(∃x P(x)) ) → ( ∃x (P(x) → Q(x)) )
　
が導かれ、
　
また、( ¬(∃x P(x)) ) → ( ∃x (P(x) → Q(x)) )　を仮定すると、
　
結論（ゴール）として、
　
　( ¬(∃x P(x)) ) → ( ∀x (P(x) → (¬Q(x))) )
　
が導かれたことによって、
　
( ¬(∃x P(x)) ) → ( ∀x (P(x) → (¬Q(x))) )　と、
　
( ¬(∃x P(x)) ) → ( ∃x (P(x) → Q(x)) )　とが、
　
同値であることが示された。
　
　
つまり、
　
「『どうせ今の自民党から離党して筋を通すサムライなど居やしねェ〜！』という大前提で、『いかなる形でも、自民党を離党した議員とは連携を考慮しない』」（日高見連邦共和国）と、
　
「『どうせ今の自民党から離党して筋を通すサムライなど居やしねェ〜！』という大前提で、『日高見連邦共和国は、自民党を離党した議員と連携を考慮することがある』」とは、
　
論理学的には、同じ意味であることが明らかになった。
　
　

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