締切済み

論理学、真理表について

2014/06/15 17:32

論理学真理表について閲覧ありがとうございます。 P Q R T T T T T F T F T T F F F T T F T F F F T F F F Q→R T F T T T F T T P→R T F T F T T T T R→QとR→Pが分かりません。

panin_villa
お礼率20% (1/5)

数学・算数
回答数2
ありがとう数0

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

みんなの回答

Tacosan
ベストアンサー率23% (3656/15482)

2014/06/15 23:35 回答No.2

http://okwave.jp/qa/q8632061.html とはどこが違う?

asuncion
ベストアンサー率33% (2127/6289)

2014/06/15 17:49 回答No.1

要するに PがT QがF のとき、 PならばQは Fになる、というだけです。

関連するQ&A

論理学、真理表について

論理学真理表について閲覧ありがとうございます。 P Q R T T T T T F T F T T F F F T T F T F F F T F F F Q→R T F T T T F T T P→R T F T F T T T T R→QとR→Pが分かりません。ご回答お願いします。
命題論理式の真理表ってなんですか？

次の命題論理式の真理表を教えてください。３－１（ＰかつＱかつＲ）ならばг（￢ＰかつГＱかつ￢Ｒ）３－２（ＰならばＱ）かつ（￢ＰならばＲ）ならば（ＱまたはＲ）この問題を解くのにはどうしたらいいのでしょう
恒真式の真理表について

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

(1) 命題 p、q について (￢p∧q)∧(p∨q) と￢p∧q の真理値表を作成する。 (2)(￢p∧q)∧(p∨q) ≡￢p∧q であることを同値変形で示す。 (1)の真理値表は　　p　￢p　| q | ￢p∧q | p∨q | (￢p∧q)∧(p∨q) 　　───────────────────────────── 　　T　　F　| T |　 F　　|　T　 |　　　　F 　　T　　F　| F |　 F　　|　T　 |　　　　F 　　F　　T　| T |　 T　　|　T　 |　　　　T 　　F　　T　| F |　 F　　|　F　 |　　　　F でいいと思います。(2)の同値変形の方法について教えてください。
論理学　論理式の真理値

論理学　論理式の真理値￢(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かつR）ならば￢（￢Pかつ￢Qかつ￢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)以外に数学を証明するのに役に立つ論理式をご存知でしたら是非教えてください。こちらも合わせてよろしくお願いします。
論理式の問題がわかりません

最近、独学で論理式の勉強を始めました。（（p⊃q）⊃￢r）⊃（ｒ⊃（￢ｐ∨￢q））という恒真式かを確認する問題で躓いています。真理表を書き、（）の中を先に求めるのはわかっています。わからないのは、（）で書いた後の真理表というか、解き方です。上記の問題で言えば、（p⊃q）の真理表を書いた後（これをＡとする）、Ａ⊃￢rを確認、後半部分も同様に（￢ｐ∨￢q）の真理表を書き（これをＢ）、ｒ⊃Ｂをして、前半⊃後半をすればいいのだろうとは思います。ただ、これの真理表がどんな感じになるのかがわからないのです。（p⊃q）をＡとおく。などと書いて、Ａ⊃￢rの真理表を書き、これをＣとおく。後半も同じ事をして、最終的にＣ⊃Ｅみたいな感じで書けばいいのですか？それとも、ちゃんと（（p⊃q）⊃￢r）での書き方みたいなのがあるんでしょうか？説明が下手でごめんなさい。誰か教えて下さい。また、解き方が違っていたら、教えてくれると嬉しいです。よろしくお願いします。
真理値表の￢P∨QとP⇒Qについて

(1)￢P∨QとP⇒Qが同値というのは、理解できます。 (2)￢P∨Qの場合の真理値表も同様に理解できます。 (3)しかし、P⇒Qの場合については、理解できません。　 PがFの場合は、Qはどちらともいえないとするのがもっとも現実に即しているように思うのです。一体どこがおかしいのでしょうか？私の感覚ですか？それとも真理値表を定めるにあたって、何かルールを導入したために、日常の感覚から乖離してしまったのですか？　だとすれば、それはどのようなルールなんでしょうか？二値論理というルールがあることについては調べましたが、それだと(1)が矛盾してしまうのですが。 (1)(2)(3)全てを矛盾無く収める事ができません。どうかご教授ください。
真理表について

pならばqの真理表において、p偽、q真のときなぜpならばqは真なんですか？全く想像できません・・・。
数学の問題です！解答・解説お願いします。

数学の問題です！解答・解説お願いします。 (1) 複合命題 (𝑝 ∨ ∼ 𝑞) ∧ 𝑞 の真理値表を作成せよ. 𝑝 𝑞 (𝑝 ∨ ∼ 𝑞) ∧ 𝑞 T T 　　？ T F 　　？ F T 　　？ F F 　　？ (2) 複合命題 𝑝 ∧ (∼ 𝑞 ∨ 𝑟) の真理値表を作成せよ. 𝑝 𝑞 𝑟 𝑝 ∧ (∼ 𝑞 ∨ 𝑟) T T T 　　？ T T F 　　？ T F T 　　？ T F F 　　？ F T T 　　？ F T F 　　？ F F T 　　？ F F F 　　？ (3) 2つの命題 𝑝, 𝑞 を基に作られる複合命題の真理値表は4段となる. また, 3つの命題 𝑝, 𝑞, 𝑟 を基に作られる複合命題の真理値表は8段となる. それでは, 4つの命題 𝑝, 𝑞, 𝑟, 𝑠 を基に作られる複合命題の真理値表は何段となるか. 整数値で答えよ.
真理値表から論理式を導く

A B C Z 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 0 という真理値表があります。A,B,Cが入力でZが出力です。この場合ZをA,B,Cの論理式で表すとどうなるんでしょうか？また真理値表から論理式を求める手順を教えていただけるとさらにうれしいです。
真理値表と論理回路

写真の真理値表のような動作をする論理回路の作り方がまったくわかりません。あとこの回路に名前があるらしいのですが教えてください<(_ _)>
記号論理学　真理表

命題論理の件でも質問させていただいております。今回は真理表についてわからなくて、大変困ってしまっています。「記号論理入門（新装版）前田昭二」と言う大学の教科書を見て、下記のような回答を私なりに考えたのですが。。。どなたか、わかる方、どうぞ教えてください。宜しくお願いいたします。問題　次の論理式の真理表をかけ (a)　A→(B→A)の真理表 A、B、B→A、A→(B→A) ∨、∨、∨、∨ ∨、∧、∨、∨ ∧、∨、∧、∧ ∧、∧、∨、∧ (b)｛￢A→(A→B)｝⇔B の真理表 A 、B、￢A、A→B、￢A→(A→B)、｛￢A→(A→B)｝⇔B ∨、∨、∧、∨、∨、∨ ∨、∧、∧、∧、∧、∧ ∧、∨、∨、∨、∨、∨ ∧、∧、∨、∨、∧、∧ 罫線をこの投稿欄で使えないため、表の中の　点（、）の場所が罫線が引いてあるものと思っていただけますと、幸いです。大変読みづらくて、申し訳ありません。
コンピューターシステムの授業の真理表

大学のコンピューターシステムの授業で、下のような問題が出題されました。 ――――――――――――――――――――― 次の複合命題について真理表を作成せよ。 ((Ｐ∧￢Ｑ)∨(￢Ｐ∧Ｒ))⇒(Ｑ∨￢Ｒ) ――――――――――――――――――――― とりあえず一応作ってみたのですが↓、こんな感じでいいのでしょうか？裏とか対偶とかを一切考えてないのでたぶん間違ってると思いますが…；　　　　　　Ａ　　　　　Ｂ　　　　　ＣＰ|Ｑ|Ｒ|Ｐ∧￢Ｑ|￢Ｐ∧Ｒ|Ｑ∨￢Ｒ||Ａ∨Ｂ|Ａ∨Ｂ⇒Ｃ ――――――――――――――――――――――― ０|０|０|　　０　　|　　０　　 |　　１　 ||　　０　|　　　０　　　 ――――――――――――――――――――――― ０|０|１|　　０　　|　　１　　 |　　０　 ||　　１ |　　　０　　　 ――――――――――――――――――――――― ０|１|０|　　０　 |　　０　　 |　　１　 ||　　０　|　　　０　　　 ――――――――――――――――――――――― ０|１|１|　　０　 |　　１　　 |　　１　 ||　　１　|　　　１　　　 ――――――――――――――――――――――― １|０|０|　　１　 |　　０　　 |　　１　 ||　　１　|　　　１　　　 ――――――――――――――――――――――― １|０|１|　　１　 |　　０　　 |　　０　 ||　　１　|　　　０　　　 ――――――――――――――――――――――― １|１|０|　　０　 |　　０　　 |　　１　 ||　　０　|　　　０　　　 ――――――――――――――――――――――― １|１|１|　　０　 |　　０　　 |　　１　 ||　　０　|　　　０　　　真理表自体よくわかっていないので、はっきり言って意味不明です；変なところとかの指摘をお願いします。月曜日のテストに類題が出るので切羽詰まってます。教えてください(*- -)(*_ _)ペコリ　　
論理式　真理値表

Aの否定は~Aと表記する。 4入力(A,B,C,D)1出力(O)の論理関数?があります。論理関数O=○×▽(何問かある) ただし、A・B・~C・~DとA・C・~Dは don't careとすると書いてあり真理値表を書かされるのですがA・B・~C・~DとA・C・~Dは真理値表のどこを示しているのでしょうか？回答よろしくお願いします。
真理値表から最も簡単な論理式を求める方法

以下の4変数(X,Y,Z,W)の論理関数Fの真理値表からFの論理式を求めたいと思っています X Y Z W | F --------- 0 0 0 0 | 0 0 0 0 1 | 0 0 0 1 0 | 1 0 0 1 1 | 1 0 1 0 0 | 0 0 1 0 1 | 0 0 1 1 0 | 0 0 1 1 1 | 0 1 0 0 0 | 0 1 0 0 1 | 0 1 0 1 0 | 1 1 0 1 1 | 1 1 1 0 0 | 1 1 1 0 1 | 1 1 1 1 0 | 0 1 1 1 1 | 0 最も単純に論理式を求めるならFが1のところだけを抜き出す方法です F=(x*y*Z*w)+(x*y*Z*W)+(X*y*Z*w)+(X*y*Z*W)+(X*Y*z*w)+(X*Y*z*W) ※　+は論理和、*は論理積、小文字は否定を表しますしかし、恐らくこれは最も簡単な論理式じゃないと思うのですもう少しマシな論理式の求め方も習ったような気はするのですが、思い出せずにいます求め方のアドバイスをお願いします
真理値表を用いた否定・論理積、和・排他的論理和・含意・等値を勉強してるんですが

もし論理Aと理論Bがある場合、考えられ得る論理演算は全部で何通りあって、その真理値表がわからないんですが教えてください！真理値表の演算式も合わせてお願いします！
真理値表→論理式

3桁の２進数X = (x2, x1, x0)を入力し、2倍して１を足し出力する論理回路があります。ここで出力をY= (y3, y2, y1, y0)とし、x2,y3を最上位ビット x0, y0を最下位ビットとします。これは、真理値表は x2　x1　x0　　y3　y2　y1　y0 0　　0　　0　　　0　　0　　0　　0 0　　0　　1　　　0　　0　　1　　1 0　　1　　0　　　0　　1　　0　　1 0　　1　　1　　　0　　1　　1　　1 1　　0　　0　　　1　　0　　0　　1 1　　0　　1　　　1　　0　　1　　1 1　　1　　0　　　1　　1　　0　　1 1　　1　　1　　　1　　1　　1　　1 となると思うんです。ここから、論理式の作り方を教えていただけないでしょうか？出来れば、最簡形であるとうれしいです。よろしくお願いします。
真理値表を使った証明について

X、Y、Zの３文字を論理変数とした論理式の場合真理値表でどう表せばいいのか分かりません。自分で調べた範囲では分からなかったので・・・分かる方がいましたら教えていただきたいです。例えば添付のような論理式です。

論理学、真理表について

みんなの回答

関連するQ&A

論理学、真理表について

命題論理式の真理表ってなんですか？

恒真式の真理表について

真理値表と同値変形

論理学　論理式の真理値

論理学について

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

論理式の問題がわかりません

真理値表の￢P∨QとP⇒Qについて

真理表について

数学の問題です！解答・解説お願いします。

真理値表から論理式を導く

真理値表と論理回路

記号論理学　真理表

コンピューターシステムの授業の真理表

論理式　真理値表

真理値表から最も簡単な論理式を求める方法

真理値表を用いた否定・論理積、和・排他的論理和・含意・等値を勉強してるんですが

真理値表→論理式

真理値表を使った証明について

注目のQ&A

カテゴリ
一覧

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

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

論理学、真理表について

みんなの回答

関連するQ&A

論理学、真理表について

命題論理式の真理表ってなんですか？

恒真式の真理表について

真理値表と同値変形

論理学 論理式の真理値

論理学について

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

論理式の問題がわかりません

真理値表の￢P∨QとP⇒Qについて

真理表について

数学の問題です！ 解答・解説お願いします。

真理値表から論理式を導く

真理値表と論理回路

記号論理学 真理表

コンピューターシステムの授業の真理表

論理式 真理値表

真理値表から最も簡単な論理式を求める方法

真理値表を用いた否定・論理積、和・排他的論理和・含意・等値を勉強してるんですが

真理値表→論理式

真理値表を使った証明について

注目のQ&A

カテゴリ 一覧

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

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

論理学　論理式の真理値

数学の問題です！解答・解説お願いします。

記号論理学　真理表

論理式　真理値表

カテゴリ
一覧

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