数学 - Python - 大小関係を見る - 不等式 – 集合・命題・条件 – 命題(注意事項、pならばqの否定)

数学読本〈1〉
楽天ブックス(Kobo) Yahoo!

学習環境

• Surface、Surface ペン(端末)
• Windows 10 Pro (OS)
• Nebo(Windows アプリ)
• iPad Pro 10.5 + Apple Pencil
• MyScript Nebo - MyScript(iPad アプリ(iOS))
• 参考書籍
  • Pythonからはじめる数学入門 (楽天ブックス(Kobo) Yahoo!)
  • JavaScriptリファレンス 第6版 (楽天ブックス(Kobo) Yahoo!)
  • インタラクティブ・データビジュアライゼーション (楽天ブックス(Kobo) Yahoo!)

数学読本〈1〉数・式の計算/方程式/不等式 (松坂 和夫(著)、岩波書店)の第4章(大小関係を見る - 不等式)、4.4(集合・命題・条件)、命題の問35の解答を求めてみる。

35. 
    

    p	q	¬(p ⇒ q)	p ∧ ¬ q
    真	真	偽	偽
    真	偽	真	真
    偽	真	偽	偽
    偽	偽	偽	偽

    よって、真偽値が一致してるから、¬(p ⇒ q) ⇔ p ∧ ¬ q。

コード

Python 3

#!/usr/bin/env python3
from sympy import pprint, symbols

print('35.')
p, q = symbols('p, q')
t = p & ~q
bs = [True, False]

pprint(t)

for b1 in bs:
    for b2 in bs:
        pprint(t.subs({p: b1, q: b2}))

入出力結果(cmd(コマンドプロンプト)、Terminal、Jupyter(IPython))

C:\Users\...>py -3 sample35.py
35.
p ∧ ¬q
False
True
False
False

C:\Users\...>