- ベストアンサー
pならばqである の否定について
「pならばqである」を否定すると 「pかつ¬q」となると思いますが この「pかつ¬q」というのは 「pならば¬qである、または、¬qならばpである」ということでしょうか?
- kuramochiwagon
- お礼率0% (0/40)
- 数学・算数
- 回答数4
- ありがとう数0
- みんなの回答 (4)
- 専門家の回答
質問者が選んだベストアンサー
「ならば」の意味を国語的に考えないで、計算に持ち込むべき であることは、前回質問のときにコメントしました。 で、論理式を計算してみましょう。 「pならば¬qである、または、¬qならばpである」を そのまま式にすると、(p⇒¬q)∨((¬q)⇒p) です。 (p⇒q) = (q∨¬p) を使って変形すると… (p⇒¬q) ∨ ((¬q)⇒p) = ((¬q)∨¬p) ∨ (p∨¬¬q) = (¬q) ∨ (¬p) ∨ p ∨ q = p ∨ (¬p) ∨ q ∨ (¬q) = 真 ∨ 真 = 真 この論理式は、恒真です。 「pかつ¬q」とは、だいぶ違うようですよ。
その他の回答 (3)
- hugen
- ベストアンサー率23% (56/237)
「x < 1 ならば x < 2 である」を否定すると 「x < 1 かつ x < 2 ではない」x( 反例 ) が ある、となると思いますが この「x < 1 かつ x < 2 ではない」x( 反例 ) が ある、というのは 「x < 1 ならば x < 2 ではない」、または、 x < 2 ではない、ならば x < 1である」ということでしょうか?
- kmee
- ベストアンサー率55% (1857/3366)
真理値表というのは、こういうやつです p,q,p⇒q 偽,偽,真 偽,真,真 真,偽,偽 真,真,真 これの場合、p,qの全ての組合せに対して、p⇒qという式の値を並べたものです。 ※ ¬pのときは、qが真偽どちらでもよい、というのはよろしいですね? これに、「¬(p⇒q)」「p⇒¬q」「¬q⇒p」「(p⇒¬q)∨(¬q⇒p)」を加えるとこうなります。 p,q,p⇒q,¬(p⇒q),p⇒¬q,¬q⇒p,(p⇒¬q)∨(¬q⇒p) 偽,偽,真,偽,真,偽,真 偽,真,真,偽,真,真,真 真,偽,偽,真,真,真,真 真,真,真,偽,偽,真,真 ¬(p⇒q)は、(p⇒q)の真偽をひっくりかえしたものになります。 p⇒¬q,¬q⇒pは、⇒ の計算にしたがって求められます。 「pならば¬qである、または、¬qならばpである」は、上記のp⇒¬q,¬q⇒pの∨を計算すれば求められます。 上表を見れば、「pかつ¬q」と「pならば¬qである、または、¬qならばpである」はまったく違うことがわかります。
- MagicianKuma
- ベストアンサー率38% (135/348)
真理値表を作ってみましょう。すぐに違うということが分かりますよ。 練習!練習!
関連するQ&A
- 「p→q」 と 「"pの否定"∨q」
「p→q」 と 「"pの否定"∨q」 (1)「p→q」 と (2)「"pの否定"∨q」 は何故同じ意味なのでしょうか? 真理値表を書くと上記2つは等しくなることは解るのですが, p及びqを以下の様にすると,(1)と(2)が同じ意味にならない気がして, 混乱しております.ご教授願います. p : 2は偶数である q : x^2≧0である この様にp及びqを定義すると,(2)の真理値は1になると思うのですが, (1)の真理値が1にはならない気がします.なぜなら,pという仮定から qを導くことができないからです.
- ベストアンサー
- 数学・算数
- p⇒q=(¬p)∨qについて
p⇒qは理解できるのですが(真理表も)、なぜこの定義が(¬p)∨qなのかさっぱりわかりません。 真理集合も違うのではないかとも思います。 よろしくおねがいします。
- ベストアンサー
- 数学・算数
- 今更聞けない「PならばQ」の考え方
甥っ子に質問され明確に答えられません、 P→Qの真偽について、P,Qに変数が入った場合、どうなるのか? 例1 P:x=3 Q:x^2=9 でP→Q の真偽を考えるとき これは任意のxについて考えるものなのでしょうか? この場合x=3が真の時x^2=9も真なのでP→Qは真。x=3が偽の時はQの真偽に関係なくP→Qは真なので、全てのxについて P→Q は真といえますが、 例2 P:x=3 Q:x^2=10 でP→Q の真偽を考えるとき x=3が真なら x^2=10は偽で P→Qは偽になりますが、x=3が偽なら Qに関係なくP→Qは真。 これは真偽が不明ととらえるのでしょうか? それとも任意のxで真とならないので偽ととらえるのでしょうか? 私自身はこれまであまり深く考えなく、P→Qを if P then Q ととらえてましたので、「Pは真と仮定して」が暗黙のうちに隠されていると思ってました。すなわち P→Q は (Pが真)で P→Q を考えていましたが、皆さんはどうなんでしょうか?
- ベストアンサー
- 数学・算数
- 「すべての」と「ある」の否定
学校の授業で、「すべての」と「ある」の否定について習ったのですが、 よく分かりません。 最初の方は分かったのですが、応用として、 「∀x(pかつq)」の否定⇔∃x(pでないまたはqでない) 「∀x(p⇒q)」の否定⇔∃x(pかつqでない) と習ったときにはさっぱり分かりませんでした。 どなたか細かく教えていただけないでしょうか?
- ベストアンサー
- 数学・算数
- p^q=aのときq^pは?
タイトルとおりなのですが、p^q=aのときq^pをaの式で表せるでしょうか。 質問しておきながら、不可能な気がするんですけど、もし不可能ならその証明を教えていただきたいです。おねがいします。
- ベストアンサー
- 数学・算数
- 論理学 二重否定について
¬(P⋀¬Q) ⊢ P⇒Q 二重否定で解けるらしいのですが解き方が分かりません。 やり方を教えてもらえませんか? あと、よろしければ二重否定を解くコツみたいなものがあれば、それもあわせて教えて下さい!
- ベストアンサー
- 哲学・倫理・宗教学
- 真理値表の¬P∨QとP⇒Qについて
(1)¬P∨QとP⇒Qが同値というのは、理解できます。 (2)¬P∨Qの場合の真理値表も同様に理解できます。 (3)しかし、P⇒Qの場合については、理解できません。 PがFの場合は、Qはどちらともいえないとするのがもっとも現実に即しているように思うのです。 一体どこがおかしいのでしょうか? 私の感覚ですか? それとも真理値表を定めるにあたって、何かルールを導入したために、日常の感覚から乖離してしまったのですか? だとすれば、それはどのようなルールなんでしょうか? 二値論理というルールがあることについては調べましたが、それだと(1)が矛盾してしまうのですが。 (1)(2)(3)全てを矛盾無く収める事ができません。 どうかご教授ください。
- ベストアンサー
- 数学・算数
- P( Q ∩ (0,1] )=0 ????なぜ??
こんにちは。なぜ P( Q ∩ (0,1] )=0 なのでしょうか? 説明では、 Q ∩ (0,1]が可算集合だからといってましたが、全く理解できません。もしよければ、説明してください。
- 締切済み
- 数学・算数