2019年3月11日月曜日

学習環境

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


  1. pq¬(p ∧ q)¬ p ∨ ¬ q

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

    pq¬(p ∨ q)¬ p ∧ ¬ q

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

コード

Python 3

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

print('34.')
p, q = symbols('p, q')
eq1 = ~ (p & q)
eq2 = (~ p) | (~ q)
eq3 = ~ (p | q)
eq4 = (~ p) & (~ q)
bs = [True, False]

for a, b in [(eq1, eq2), (eq3, eq4)]:
    pprint(a)
    for b1 in bs:
        for b2 in bs:
            print(a.subs({p: b1, q: b2}))
    print()
    pprint(b)
    for b1 in bs:
        for b2 in bs:
            print(b.subs({p: b1, q: b2}))
    print()

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

C:\Users\...>py -3 sample34.py
34.
¬(p ∧ q)
False
True
True
True

¬p ∨ ¬q
False
True
True
True

¬(p ∨ q)
False
False
False
True

¬p ∧ ¬q
False
False
False
True


C:\Users\...>

0 コメント:

コメントを投稿