- 締切済み
論理数学の宿題で連言標準形がつくれません
- みんなの回答 (2)
- 専門家の回答
関連するQ&A
- 論理学教えてください。
論理学なんですが 連言標準形にして恒真であるか否かを判定しなさい。 ~(~q→~p)→(~q→p) と ((p→q)&p)→q この二つを教えてください。 お願いします!!
- 締切済み
- 数学・算数
- 数学III・Cの宿題教えてください!
数学の宿題で、どうしても分からない問題があります。教えてください。よろしくお願いします。 座標平面において原点を中心とする半径1の円をC1とし、点(1,0)を中心とする半径3の円をC2とする。 動点PはC1上を反時計回りに1秒間に2回転の速さで等速円運動をし、動点QはC2上を反時計回りに1秒間に1回転の速さで等速円運動をしている。 時刻t=0のとき、Pは(0,1)にあり、Qは(4,0)にあるものとする。2点P,Q間の距離の2乗の最大値と最小値、およびそれらをとるP,Qの座標を求めよ。
- ベストアンサー
- 数学・算数
- 論理学と数学(とくに高校数学)
論理学に関する質問です。 高校数学では 公理・定義→定理→問題を解く という構図が考えられると思います。また、最初に選ぶ公理系しだいでいろいろな体系ができるのではと思っています。 A1. ここで論理学における規則はどこに関わってきますか。 A2. 「A⇒B」という命題はAもBも真ならば、命題も真なはずです。「1=1⇒素数は無限に存在する」という命題は数学的には真なはずですが、まったく証明では使えない。ならば論理学だけでは数学上の証明にとって不十分ではないですか。また不十分ならば数学と論理学はどのようにこの問題を回避しているのですか。 数学(高校数学)を勉強しているのですが、前から数学と論理学は密接に関係があると思ってきました。しかし、高校生で、論理学については学ぶ機会がありません。できれば僕の論理学に対する無知も考慮に入れて上記の2問にお答えいただけると幸いです。
- 締切済み
- 哲学・倫理・宗教学
- 論理学における矛盾に関して
勉強をしていて分からない問題が出てきたので Pをある論理式、Qをある論理式の集合としたとき 1.Q |= P と Q not|= Pがともに成り立つことは有り得るかどうか 2.Q |- P と Q |- ¬P がともに成り立つことは有り得るかどうか 3. |- P と |- ¬P がともに成り立つことは有り得るかどうか この3問が分かりません |=はトートロジー |-は証明可能という意味です 1つでも分かりましたら回答よろしくお願いします
- 締切済み
- 数学・算数
- 数学の宿題を教えて下さい
数学の宿題を教えて下さい 3辺の長さがAB=5a,BC=3a,CA=4aであるような三角形ABCの内接円Oの中心をOとする。ただし、a>0である。図のように、三角形の各辺が円0と接する点をそれぞれP、Q、Rとするとき、次の問いに答えよ。 1問目 △OPB≡△OQBを証明せよ。 2問目 円0の半径を求めよ。 3問目 △OPQの面積を求めよ。 です。宜しくお願いいたします!
- ベストアンサー
- 数学・算数
- 論理的帰結について。 ヘルプをお願いします
《論理的帰結》にかんして質問いたします。 p = (x = 1)∨(x = 2) q = (x = 1) このとき、 「qはpから帰結されない」 でよろしいでしょうか。 p⇒qは、 推論として偽なので 「qはpから帰結されない」でいいと思うのですが… 実は、哲学カテに論理についての質問がありまして、 数学カテの皆さんにできましたら、回答を寄せていただきたいと思いまして。 わたしが答えていいのですが、自分の回答に確信がもてません。 ヘルプをお願いできませんでしょうか? http://okwave.jp/qa/q8176882.html http://okwave.jp/qa/q8176882.html 質問名は、 「論理学について」 です。
- ベストアンサー
- 数学・算数