数学 - 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(集合・命題・条件)、命題 pならばq の問36の解答を求めてみる。

36. 
    
    1. 
       

       成り立たない。反例。

       $\begin{array}{}x=-1\\ x^2=1\end{array}$
    2. 
       

       成り立つ。

       $\begin{array}{}{x}^2<1\\ \Rightarrow \; <!--\; rightwards\; double\; arrow\; -->-1<x<1\\ \Rightarrow \; <!--\; rightwards\; double\; arrow\; -->x<1\end{array}$
    3. 
       

       成り立たない。

       $\begin{array}{}x=-2\\ x^2=4\\ x<1\end{array}$
    4. 
       

       成り立たない。 反例。

       $\begin{array}{}x=-2<1\\ x^2=4\ge \; <!--\; greater-than\; or\; equal\; to\; -->1\end{array}$
    5. 
       

       成り立つ。

コード

Python 3

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

print('36.')
x = symbols('x')

p = plot(x, x ** 2, (x, -2, 2), legend=True, show=False)
colors = ['red', 'green', 'blue']
for s, color in zip(p, colors):
    s.line_color = color

p.show()
p.save('sample36.png')

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

C:\Users\...>py -3 sample36.py
36.

C:\Users\...>