太郎はお金持ちであり、また、力持ちである。 命題 太郎はお金持ちである。 太郎は力持ちである。 真理値表 お金持ち 力持ち 太郎はお金持ちであり、また、力持ちである。 1 p q p∧q
次郎が救われないなら太郎が救われる、ということはない。 [次郎が救われないなら太郎が救われる、かつ、次郎が救われるなら太郎が救われない、ということはない。] 記号化 次郎が救われる 太郎が救われる 真理値表 次郎が救われる 太郎が救われる 次郎が救われない 次郎が救われないなら太郎が救われる 次郎が救われないなら太郎が救われる、ということはない。 1 1 [0] 0 [1] p q ¬p ¬p⇒q [¬p⇔q ] ¬(¬p⇒q) [¬(¬p⇔q) ]
太郎はシュートを決めて、次郎はシュートを外した。 命題 太郎はシュートを決めた 次郎はシュートを外した 真理値表 太郎はシュートを決めた 次郎はシュートを外した 太郎はシュートを決めて、次郎はシュートを外した。 1 p q p∧q
太郎の得点が高いか、次郎の得点が低い。 命題 真理値表と記号 太郎の得点が高い 次郎の得点が低い 太郎の得点が高い 次郎の得点が低い 1 1 [0] p q p∨q [p⊻q]
休講になる、そしてそのときだけ、天気が良くないのに気分は良い。 記号化 休講になる 天気が良い 気分は良い 真理値表 休講になる 天気が良い 気分は良い A.天気が良くない B.天気が良くないのに気分は良い A∧r 休講になる、そしてそのときだけ、天気が良くないのに気分は良い。 p⇔B 1 p q r ¬q ¬q∧r p⇔(¬q∧r)