2019年3月12日火曜日

学習環境

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


  1. pq¬(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\...>

0 コメント:

コメントを投稿

関連コンテンツ