締切済み

教えてください。

2011/09/03 18:53

ｑ → ¯ｐを論理和により表される等価な論理式を教えてください。

631018
お礼率22% (2/9)

数学・算数
回答数1
ありがとう数1

みんなの回答 （1）
専門家の回答

みんなの回答

alice_44
ベストアンサー率44% (2109/4759)

2011/09/03 19:34 回答No.1

q implies not p の意味かな？ (A → B) ≡ (B or not A) から、 (q → not p) ≡ ((not p) or (not q)). or を使って書くなら、この形。

質問者

お礼 2011/09/07 20:56

ありがとうございます。

関連するQ&A

数理基礎論講義

次の論理式を∨と￢だけで表せ。また、論理和標準形および論理積標準形で書き直せ。 p∨（q→r）→（r→q）という問題ですが、分かりません。教えて下さい。
論理式を作る！

次の条件を満たす最短の論理式を作りたいんですが、うまく作れません＞＜ 1)p,q,rで2つ以上が真なら真、2つ以上が偽なら偽の論理関数カルノー図より、pq＋pr+qrという論理式を導き、これをp(q+r)+qrとしました。これ以上は無理でしょうか？必要ならば、→、≡、排他的論理和も使えます。また 2)p,q,r,sのうち、いずれか3つが真で、そうでなければ偽となる論理関数の論理式を導きたいんですが、これはカルノー図も使えません＞＜ご教授ください。
【命題「P→Q」における論理の相対性について】

命題「P→Q」を否定、論理和、論理積の記号で表記した場合、　(￢P)∨Q・・・(1) 　￢(P∧(￢Q))・・・(2) となることが書籍に記載されておりました。 (「プログラマの数学」(ソフトバンククリエイティブ)に(1) 「論理と集合のはなし」(日科技連)に(2) がそれぞれ掲載されていました。) ベン図や真理値表も併せて記されていたため、「P→Q」が上記、2つの式で表記できることまでは理解できました。ここで、(1)から(2)、(2)から(1)を導出する場合に、どのような式変形をすれば　(￢P)∨Q ≡ ￢(P∧(￢Q)) を証明できるのでしょうか？ド・モルガンの法則を導出する際に使う「論理の相対性」が大いに関係していると（むしろ、「論理の相対性」そのもの？）勘繰っているのですが、確証できません。お知恵の拝借を頂けませんでしょうか？よろしくお願いします。
コンピュータシステムの問題

基本論理回路を以下の図で表すものとする。このとき、３つの回路を組み合わせて作った論理回路と等価な論理式を求めよ。このとき、論理積は・、論理和は＋、論理否定は￢Xの記号を用いること。どなたかお願いします
論理学における矛盾に関して

勉強をしていて分からない問題が出てきたので Pをある論理式、Qをある論理式の集合としたとき１．Q |= P　と Q not|= Pがともに成り立つことは有り得るかどうか２．Q |- P と Q |- ￢P がともに成り立つことは有り得るかどうか３． |- P と |- ￢P がともに成り立つことは有り得るかどうかこの3問が分かりません |=はトートロジー　 |-は証明可能という意味です１つでも分かりましたら回答よろしくお願いします
論理学　論理式の真理値

論理学　論理式の真理値￢(P∧￢Q) の真理値があっているか見ていただけますか。 P Q 　　￢Q 　　　　P∧￢Q 　　　　￢(P∧￢Q) 1 1 　　　0 　　　　　　　O 　　　　　　　　1 1 0 　　　1 　　　　　　　1 　　　　　　　　0 0 1 　　　0 　　　　　　　0 　　　　　　　　1 0 0 　　　1 　　　　　　　0 　　　　　　　　1 ある記号論理学の入門書（二刷）を使って勉強しています。具体的な論理式を挙げてタブローの作り方を解説しているページに、「￢(P∧￢Q) が1であるためには、Pか￢Qのどちらかが0でなければならない」という記述があります。しかし、この記述は、僕が上でおこなった真理値の計算と矛盾します。PとQの双方が1でも全体は1になるのではないでしょうか？￢(P∧￢Q)の真理値はP∧￢Qの真理値を単純に反転させて出したものですが、この手続きに不備があるのでしょうか？ド・モルガンの法則を使って￢P∨Qに変形させてから計算しても、やはり同じ結果になりました。僕の真理値計算が間違っているのでしょうか？分かるかた教えてください。
論理式

（P ∧ ￢Q）→P （１）上の論理式が恒真か否か示せ。（２）上の論理式が証明可能か否か示せ。（１）（２）どちらかでも分かる方がいらっしゃいましたら教えていただきたいです
論理学について

論理学の命題論理式の真理表がよくわかりません。（PかつQかつR）ならば￢（￢Pかつ￢Qかつ￢R）この時、どうなりすか？ご教授お願いします。
モーダス　ポネンスの本当の意味？

論理学の本を最近読み始めたのですが、Modus Ponensがよく分かりません。。 Modus Ponensの説明についてその本には ”From P and P→Q therefore infer Q" 直訳すると PとP→QからQが推測される。ということですが、意味が分かりません。。 Pはただの論理式で真か偽かは書いてません。さらにP→Qも論理式でありますが、それも真偽は書いてません。つまり、一体Qが推測されるというのはどういう意味なのでしょうか？普通に考えれば、もしP→QとPが真ならば、Qが真であると言う事を示している、ということなのでしょうが、勝手にPとP→Qが真であると決め付けていいのでしょうか？例えばP→Qが偽ならば、仮にPが真であったとしたらQが偽になるはずです。どなたか本当の”Modus Ponens”がどういうことを言っているのか解る方よろしくお願いします。
論理学の問題なのですが

この問題のときかたを教えてください。論理式が真か偽か、偶然的かを判定して真式にはＡ，偽式にはＢ、偶然式にはＣを。 (1) ～pVq⊃ｑ (2) ～(pVq)≡(p＆q） (3) (p⊃q)V(～q⊃～p) (4) ～(p＆q⊃(～p⊃q)) (5) (～pVq)＆(q⊃r)⊃(p⊃r)
離散数学についての質問です！

例えば、集合Ｘ＝｛（ｐならばｑ）ならば（ｐ∧ｒ）、（ｐならばｑ）ならばｒ、（ｐでないならばｒ）∧（ｑならばｒ）、ｐ∧（ｑならばｒ）｝といった論理式があるとき、論理的同値関係≡による、集合Ｘの商集合（Ｘ／≡）は、どうなるのでしょうか？これと類似した問題を考えているのですが、ちょっと分からないんです・・良ければ、解説をしていただけないでしょうか。
ブール代数の問題

(￢Ｐ・Ｑ・￢Ｒ）＋（Ｐ・￢Ｑ・￢Ｒ）＋(Ｐ・￢Ｑ・Ｒ）＋（Ｐ・Ｑ・Ｒ）を変形して簡単化したいのですがやり方が分かりません。どなたか教えて下さい。半加算器の真理値から求めた論理式です。
論理式は真理表を使わないと証明できないでしょうか？（「P→『Q∨R』」⇔「『P∧￢Q』→R」）

お世話になります。よろしくお願いします。今まで私は論理式といえば (1)「P→Q」⇔「￢Q→￢P」（対偶） (2)「P→Q」⇔「￢P∨Q」の2つしか知りませんでした。そして最近数学の証明問題で大変便利な (3)「P→『Q∨R』」⇔「『P∧￢Q』→R」というものを知りました。確か先の(1)、(2)は真理表を使って証明した記憶があるのですが、 (3)は文字が３つなので、真理表での証明はとても大変だと思います。 (3)は結構当たり前の事実のような気がするのですが、もっと簡単に証明する方法はないでしょうか？よろしくお願いします。また(1)、(2)、(3)以外に数学を証明するのに役に立つ論理式をご存知でしたら是非教えてください。こちらも合わせてよろしくお願いします。
積和標準形と和積標準形について

積和標準形と和積標準形について質問があります。 (1)和積標準形は(P∨Q)∧(S∨R)と読みました。さらに、((￢X∨Y)∧￢Z)∨(X∨Z)は和積でもなく積和でもないと書いてあります。この場合、((￢X∨Y)∧￢Z)∨(X∨Z)ではなく、((￢X∨Y)∨￢Z)∧(X∨Z) であれば、和積標準形なのでしょうか。和積標準形・積和標準形 (2)P∧Q∧Rは和積標準形に入るのでしょうか。また、P∨Q∨Rは積和標準形に入るのでしょうか。 (3)定義として、 ○リテラルから∨のみで作られる式を基本和という。 ○基本和から∧のみで作られる式を和積標準形という。ということが書いてあります。そこで、基本和やリテラルについて調べてみると、￢P∨Qのようなものが基本和ということは分かりました。ですが、２番目の定義の意味が分かりませんでした。 ○基本和から∧のみで作られる式を和積標準形というこれを、今は基本和を∧でくっつけてできた式を和積標準形という、ということで認識しておりますが、そうなると(2)について、基本和が含まれていない式であるので、和積標準形とは呼ばないのではないかと考えているのですが、これについて解説をお願いします。積和標準形についても質問があったのですが、和積でのこれらの質問が理解できれば何とかなりそうに思えるので、和積標準形の質問だけにさせていただきました。
確率の問題が解けません.

確率の問題を解いているのですが、途中でつまってしまい解けません。どなたか教えてください,よろしくお願いいたします。 U(論理和） Eは適当な確率空間における任意の事象・事象列問題は (1) P(E1 U E2 U E3 U・・・U En)はnについて単調に増加することを示せ. (2)　(1)の論理和を論理積に置き換えた式がnについて単調に減少することを示せ. 　私の現在の考えは,,, (1)Σ[i=1からnまで]P(Ei)とおき、　　それぞれP(E)は０から１の値をとるため単調に増加する. (2)　式をドモルガンを利用して論理和の形に直し,(1)と同じように解きたいのですが,式変形がうまくいきません. 以上のようになっています「単調に増加する」という表現が線形に増加するという意味でしたら（１）は間違っていると思われます.（２）については 1-Σ[i=1からnまで]P(Ei)の形に直せたような記憶がありますがうまくいってません。ちなみにベン図などではなく公理での証明でお願いいたします. もう丸２日間考えていますがまったく分かりません、どなたかお分かりになる方教えてください、どうぞよろしくお願いいたします.
論理式

集合P,Qにおいて、以下のどちらが正しい論理式ですか？１．(∀x)(P∧Q)⇒(∀x)P∧(∀x)Q　２．(∀x)(PvQ)⇒(∀x)Pv(∀x)Q よろしくお願いします。
答えを教えて下さい。続きです。

式7÷32の結果を2進数で表したものはどれか？ア　0.001011 イ　0.001101 ウ　0.00111 エ　0.0111 ------------------------------------------------ 次の中で1つだけ異なる数がある。それはどれか？１、10進数の 11　２、2進数の 1011　３、8進数の 12　４、16進数の B ------------------------------------------------ 次のうち、２の補数表現で「-5」を表しているものは？１.0101　２.1011　３.1100　４.1001 -------------------------------------------------- 16進小数0.FEDCを4倍した値はどれか。ア1.FDB8　イ2.FB78　ウ3.FB70　エF.EDC0 -------------------------------------------------- ０１１１に－１をかけたら次のうちどれになるでしょう？（１）１１１０　　　　（２）１０１０（３）０１１０　　　　（４）１００１ ------------------------------------------------ 二つのビット列の対応するビットが異なるとき、(すべてのビットが)１になる論理演算は？１）否定論理和２)等価演算３）排他的論理和４）論理和 -------------------------------------------------- ４ビットの足し算をするとき半加算器はいくつ必要か。１.「４個」２.「６個」３.「７個」４.「８個」 ----------------------------------------------- ほんと多くてすいません（＞＜；；これに答えて下さる親切な方、答えだけでもいいので。お願いします！！
論理式が恒真式であるか吟味する問題で

●（pV●q）⊃（（●pＶq）Ｖ（●p∧●q））（●には、「でない」を表す“「”を90度回転させたような記号が入ります）が恒真式であるか吟味する問題なのですが、論理式の場合も、（）を先に考えれば、良いのでしょうか？（pV●q）...A，（●pＶq）...B，（●p∧●q）...C と仮定したら、ABCを計算→BＶC...Dを計算→●A⊃Dを計算みたいな流れで良いのかという事です。また、恒真式であるかの吟味は、真理表を作って考えればいいのかなと思ってますが、あってますか？論理式の勉強を最近始めたばかりで、よくわかりません。論理式をわかりやすく解説しているサイトとかも教えて頂けたら嬉しいです。わがままですが、優しくご教授頂けると嬉しいです。お願いします。
論理式の解き方

論理式 ______________ (x+y)・(x+z) ―は否定・は論理積＋は論理和を[等価な論理式]にするとどうなりますか？ _ x は　x の否定。
恒真式の真理表について

質問させていただきます。真理表についてわからなくて、大変困ってしまっています。下記の論理式を真理表にするのでうが…わかる方、教えてください。よろしくお願い致します。１　((P → Q)・(-P → R)) → ((Q・-P) v (R・P)) ２　((P・Q) v (P・R)) → (Q・R)

教えてください。

みんなの回答

お礼 2011/09/07 20:56

関連するQ&A

数理基礎論講義

論理式を作る！

【命題「P→Q」における論理の相対性について】

コンピュータシステムの問題

論理学における矛盾に関して

論理学　論理式の真理値

論理式

論理学について

モーダス　ポネンスの本当の意味？

論理学の問題なのですが

離散数学についての質問です！

ブール代数の問題

論理式は真理表を使わないと証明できないでしょうか？（「P→『Q∨R』」⇔「『P∧￢Q』→R」）

積和標準形と和積標準形について

確率の問題が解けません.

論理式

答えを教えて下さい。続きです。

論理式が恒真式であるか吟味する問題で

論理式の解き方

恒真式の真理表について

注目のQ&A

カテゴリ
一覧

専門家に質問してみよう
専門家登録

あなたにピッタリな商品が見つかる！ OKWAVE セレクト

教えてください。

みんなの回答

お礼 2011/09/07 20:56

関連するQ&A

数理基礎論講義

論理式を作る！

【命題「P→Q」における論理の相対性について 】

コンピュータシステムの問題

論理学における矛盾に関して

論理学 論理式の真理値

論理式

論理学について

モーダス ポネンスの本当の意味？

論理学の問題なのですが

離散数学についての質問です！

ブール代数の問題

論理式は真理表を使わないと証明できないでしょうか？（「P→『Q∨R』」⇔「『P∧￢Q』→R」）

積和標準形と和積標準形について

確率の問題が解けません.

論理式

答えを教えて下さい。続きです。

論理式が恒真式であるか吟味する問題で

論理式の解き方

恒真式の真理表について

注目のQ&A

カテゴリ 一覧

専門家に質問してみよう 専門家登録

あなたにピッタリな商品が見つかる！ OKWAVE セレクト

【命題「P→Q」における論理の相対性について】

論理学　論理式の真理値

モーダス　ポネンスの本当の意味？

カテゴリ
一覧

専門家に質問してみよう
専門家登録