証明です(><) 誰か教えてください。

質問

(F ← Q) = T かつ(P ← Q) = T　ならば　(F ← Q) = T　であることを証明せよ。
----------------------------
(F ← Q) = T
F or Q = T
Q = T ; Q = F
であるから Q = F を示せばよい
----------------------------

P = T , F の２つの場合にわけて示す。

(1) P = T の場合
　 T = P ← Q = P or Q
= T or Q
= T

T or R = T
Q = F , Q = T のいずれでもあるから Q = F を採用できる。

(2) P = F の場合

(1)ゎ自力で出来たんですけど、(2)の問題が出来ないんです↓↓↓↓どなたか、わかる人がいたら教えてくださいッ(>人<)

回答No.1

Tacosan

F, P, Q, T は何を表しているんでしょうか. あと, P ← Q とか (P ← Q) = T などはどういう意味なんでしょうか?
まあ, 記号で処理する限りは「一瞬」なんだけどね....