rsc回答ポイント 110ptウォッチ 1

【論理包含演算子Imp】をRubyまたは、Pythonのメソッドまたは、演算子の定義で作るプログラムを教えてください。

• はてなアカウントでログイン
• 無料ユーザー登録

ベストアンサー

• a-kuma32018/10/21 11:48:30

  満足100pt

  ruby のメソッド表現で良ければ、こんな感じになるかと。

  def true.imp q
      q
  end
  def false.imp q
      true
  end
  

  
  

  a = 1
  b = 2
  
  p (a == b).imp true     # => true
  p (a != b).imp true     # => true
  p (a == b).imp false    # => true
  p (a != b).imp false    # => false
  

  スター

  • 

    2件のコメントを見る

  • rsc 2018/10/21 17:17:26

    　回答ありがとうございます。Rubyだと簡単にできるんですね。(^_^;
    　個人的な予想としては、「(!self) || target」が出てくるのかと思っていました。(^_^;

    スター

  • a-kuma3 2018/10/21 20:15:33

    今まで気にしたことがなかったのですが、組み込みのクラスで Boolean みたいのがないんですよね、Ruby って。
    true と false の実体を表すクラスしかなくて、左側が固定になっちゃうので、回答に書いた感じになりました。

    スター

その他の回答

• みやど2018/10/21 07:53:33

  満足10pt

  命題論理でp→qというのは(not p) or qのことです。Rubyの記号だと(!p) ||qです。
  
  しかしですよ、それはかなり人工的です。例えば、「人は死すべきものである」というのは命題論理の「ならば」ではなく、述語論理です。
  
  「全てのxに対して、xが人であるならばxは死すべきものである」
  
  という意味です。命題論理の意味では普通は使いません。
  
  「ネコが動物であるならば、1+1=2である」
  「ネコが動物であるならば、1+1=3である」
  「ネコが植物であるならば、1+1=2である」
  「ネコが植物であるならば、1+1=3である」
  
  これらは2番目が偽で、それ以外は真ということになりますが、しかし人工的です。普通はそんなことは言いません。論理学の教材に人工的な例が書いてあるぐらいです。普通に使うのは
  
  「オイラー定数が無理数であるならば、オイラー定数に1を加えたものも無理数である」
  
  のように、仮定が未解決問題の場合に使うものです。

  スター

  • 

    2件のコメントを見る

  • rsc 2018/10/21 10:09:22

    　回答ありがとうございます。Rubyの関数で書いたら、次のようになるのでしょうか。

    def Imp(p,q)
        return (!p) ||q
    end
    

    　でも、この質問では、クラス・メソッドを教えてほしいです。(^_^;
    　ちなみに、最終的には、拙ブログのプログラムのImp関数をImpメソッドに書き直そうかと思っています。(^_^;
    「Imp(p,q)」から、「p.Imp(q)」または、「p Imp q」に書き直したいです。
    http://rsc.hatenablog.com/entry/20160120/1453238549

    スター

  • みやど 2018/10/21 10:47:56

    すみません、でしたら他の人が答えるのをお待ち願います。

    スター

この質問へのコメント

• Lhankor_Mhy2018/10/22 11:13:34
  Pythonは q ** p で概ね代用できそうな気がする。
• a-kuma32018/10/22 16:46:29
  これか。
  https://docs.python.jp/3/library/stdtypes.html#bltin-boolean-values
• rsc2018/10/23 00:36:50
  　コメントありがとうございます。
  　順番が変わるところが、ちょっと残念ですが、確かに、上手くいくようです。(^_^;
  遠慮されずに、回答欄にどうぞ。p(^-^)q
  >|Python|
  import itertools
  
  def Imp(p,q):
  return (not p) or q
  
  for p,q in itertools.product((True,False),repeat=2):
  print('%s --> %s : %s, %s'%(p,q,Imp(p,q),bool(q**p)))
  
  '''
  ●実行結果
  True --> True : True, True
  True --> False : False, False
  False --> True : True, True
  False --> False : True, True
  '''
  ||<
  
• a-kuma32018/10/23 00:46:04
  ＞順番が変わるところが、ちょっと残念ですが、
  Python は、演算子のオーバーロードができるので、__pow__ をオーバロードすると、それっぽくなるかもという気がしなくもなく。
• Lhankor_Mhy2018/10/23 11:31:35
  たぶん、ビルトインオブジェクトの演算子オーバーロードはできなかった気がします。
  たしか、メソッド生やすのもできないので、Pythonで質問に添う形での回答は難しいかと。
• rsc2018/10/27 06:38:57
  　皆さん、回答・コメント有難うございました。
  

質問の情報

登録日時

2018-10-20 22:05:52

終了日時

2018-10-27 06:37:54

回答条件

1人1回まで

この質問のカテゴリ

• コンピュータ
• 学習・教育

この質問に含まれるキーワード

人気の質問

• この英文どうなってますか？ The boy seemed to be waiting for his mother to come.（その少年は母親が来…匿名質問者312日前
• 不定詞の形容詞的用法らしいんですけど、副詞的用法と書いたら✖️ですか？ I want to buy a book to read …匿名質問者112日前
• 日向陽葵という○V女優が好きなのですが似ている○V女優はいますか匿名質問者1日前
• 共通テストで使われるプログラミング言語は共通テスト特有の言語と聞いたのですが、受験勉強で身につけたプ…匿名質問者211日前
• 内定してほしいポケモンはいますか？匿名質問者1日前

メニュー

• 質問一覧
• カテゴリ一覧
• 無料ユーザー登録
• 人力検索はてなトップ

PC版

• お問い合わせ
• ヘルプ
• お知らせ
• はてなトップ