ＶＩＰＰＥＲのみんなおいらをたすけてくれ

明日までに提出しないといけないんだがこの問題が全く分からない



Ａ→（Ｂ→Ｃ）とＢと¬Ｃから¬Ａを証明しなさい。




文系であほな僕には全く意味がわからないお。ＶＩＰＰＥＲのみんなおいらをたすけてくれ！！

すまんわからん特にこれ→¬

2

論理式か

>>1
この>>1の問題解けたら教えてやってもいいぜ

>>2きいてくれてテラカワユス
¬のまーくは〜以外ってのを表すんやって。

例 ¬Ｂなら Ｂ以外って意味

一階述語言語？

ＫＳＫ

>>ＪＪ書き込みサンクス!!おまいたよれそうだな！？
分かるのか！？
ＫＳＫ

>>6
サンクス

そもそも問題文がおかしい

>>ふしあなちゃんと考えてくれよ。俺の明日の１限がかかってる!!ＫＳＫＫＳＫＫＳＫ

いや、わかんねーわ…
興味あるけどわからん

>>11そうなんだよ！！！助けてくれ！教授ぶっとばしてくれよ。

>>おいＪＪ悪い冗談はやめてくれ!おまいだけがたよりなんだぜ！！やばいＫＳＫＫＳＫＫＳＫＫＳＫ

すまんがイミフ
だれかわかんねーのかな

やばいおちる！ＫＳＫＫＳＫＫＳＫ

何年ですか？

ＫＳＫＫＳＫわかるひといねーかー！！

自分高３でぃすが判りませんorz

>>ふしあな
２回だよ！そんなことより問題はわかるのか！？でもレスうれしいんだぜ！ＫＳＫＫＳＫＫＳＫ

ふしあなちゃんと勉強しろよ！！！ＫＳＫＫＳＫＫＳＫ

化学科なんすが判りません＞＜

ふしあな…

コンパイラとかか？
明日の授業って

ふしあなに吹いた

代入法の原理？
それなら
代入とかで�@∩�A⇒�B
また�@∩�B⇒�A
なので
“�@∩�A⇔�@∩�B”
じゃないかな？

理系学問板にスレ立てはどすか？

受験生ははよ寝ろよー
煽りじゃなくて真面目に

>>ぷらけい
論理と数理っていう授業だ！俺は文系なのにとってしまた。

>>29
自分高専です
でも留年ピンチｗ

>>27せっかくレスしてくれたのはマジうれしいんだぜ！でもそういうのとは全然ちがうんだぜ！！やべぇわからんお！

>>ふしあな
おまいいいやつだな！アナルはまだあけておくんだぜ

神の奇跡でＶＩＰに最初にスレ立てれました
なんとか１０００いかせたい
マジでいかせたい
みんなクソレスでいいからお願いします
ＶＩＰに最初に立てて義務のためにぼかぁー頑張りますよ
http://wwwww.2ch.net/test/read.cgi/news4vip/1194447130/

>>33
ちょｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ

ＫＳＫＫＳＫＫＳＫ

他スレに宣伝はどすか？
でも荒らしと思われるとアレなんで
上の方の駄スレでｗ

ふしあなおまいに全てをたくす。なんとかしてくれ！ＫＳＫＫＳＫＫＳＫ

何かね


うさんくさい

今ニヨニヨしてんだろ？
まあもう寝るからどうでもいいや

[4]以下、名無しにかわりましてVIPがお送りします。[age] 2007/11/08(木) 01:01:49.51 ID:Cp65ojZwO
AAS
誰か↓に救いの手を

ＶＩＰＰＥＲのみんなおいらをたすけてくれ

http://wwwww.2ch.net/test/read.cgi/news4vip/1194448497/


取り敢えずこんなのを

ふしあなにＫＳＫＫＳＫＫＳＫ
>>ぷらけい
によによてなんだよ！！！！！！！！

age

幾つかのスレに書き込んできますたゞ

ドモルガンでＡ→（Ｂ→Ｃ）⇒¬（Ｂ→Ｃ）→¬Ａ
で、Ｂと¬Ｃから¬（Ｂ→Ｃ）だから¬Ａが成り立つ。

で、合ってる？

　　　　　 ∧＿∧
　　　　　（　´Д｀）
　　　　 /⌒　　　 ヽ
　　　　/　/　　　 ﾉヽ　　　　＿ー￣＿￣）
　　　 (　/ヽ　　　|　）　--＿- ― ＝￣　￣`
　　　　＼ /　　_,　-''￣　　＝　＿＿――＝
　　　 　 （　　 _~"" -- 　＿-―　￣＝＿　　)
　　　　　 | 　 /,,, ＿―　￣＿＝＿　　`　))
　　　 　　|　 /　/　　　―＝　＿　)￣＝＿)　　 ＿)
　　　　 　(　 )　)　　　　　　＿　＿ )＝　　＿)
　　　　　 |　|　/　　　　　　　　　　＝　＿)
　　　　　 |　|　|.　　　　　　　　　　　　　
　　　　　/　|＼ ＼　　　　　　　　　　　
　　 　 ∠／　　￣　　　　　　　　　　　　

宣伝されてきますた
意味わかんないから帰る

　　　　　 ∧＿∧
　　　　　（　´Д｀）
　　　　 /⌒　　　 ヽ
　　　　/　/　　　 ﾉヽ　　　　＿ー￣＿￣）
　　　 (　/ヽ　　　|　）　--＿- ― ＝￣　￣`
　　　　＼ /　　_,　-''￣　　＝　＿＿――＝
　　　 　 （　　 _~"" -- 　＿-―　￣＝＿　　)
　　　　　 | 　 /,,, ＿―　￣＿＝＿　　`　))
　　　 　　|　 /　/　　　―＝　＿　)￣＝＿)　　 ＿)
　　　　 　(　 )　)　　　　　　＿　＿ )＝　　＿)
　　　　　 |　|　/　　　　　　　　　　＝　＿)
　　　　　 |　|　|.　　　　　　　　　　　　　
　　　　　/　|＼ ＼　　　　　　　　　　　
　　 　 ∠／　　￣　　　　　　　　　　　　
　　　　　　　　　　　　　　　　　　　　　　　　　　

真理表作ればどんなアホでも一発で出来る

ごめんわかんない

あげるよ!!

ヲタならば、「つかさならば俺の嫁」　と、
つかさ　と、
俺の嫁ではない

から【ヲタではない】を証明しなさい。　ってこと。

A:1はその式を証明できる
B:1は証明を提出する
C:1は単位がもらえる
と考えると、Ａ→（Ｂ→Ｃ）は真となるだろう。
1が証明を提出し(B)、単位がもらえなかった(¬C)とすると、
1はその式を証明できてない(¬A)。

A:1はヲタである
B:そこにいるのがつかさである
C:それが嫁である
と考えると、Ａ→（Ｂ→Ｃ）は真となるだろう。
そこにつかさがいる(B)にも関わらず、それが嫁ではない(¬C)とすると、
1はヲタではない(¬A)。

わかりやすくねｗｗｗｗｗｗ全部俺が考えたんだぜｗｗｗｗ俺転載ｗｗｗｗｗｗ

せっかくきましたが

駄スレに宣伝してくれば

という書き込みを見つけてしまったので帰ります。

┐(´д｀)┌

Ａ→（Ｂ→Ｃ）とＢと¬Ｃから¬Ａを証明しなさい。

Ｂが真
¬Ｃが真
Ｃが偽
Ｂ→Ｃが偽
Ａが真と仮定するとＡ→（Ｂ→Ｃ）は偽となり矛盾する。
よってＡは偽
よって¬Ａが真
よって¬Ａ

理系の方々が集まっていそうなスレにも書き込みましたが
気を悪くされたならすみませんorz

証明図とかを書くのかな？
ずれてたらごめん。


A　A→(B→C)
-------------
　　B→C　　　　　　　　B
-----------------------
　　　　　　　　C　　　　　　　　　　　　¬C
--------------------------------------
　　　　　　　　　　　　　　矛盾

したがって ¬A が分かる。

一階述語言語なら、ある程度の方針はわかる

1.A→(B→C)
2.B
3.¬C
―――――
|4.A
| |5 B→C →Elim:1.4
| |？
| |？
| | ⊥ ⊥Intro:1.4.? |?
|⊥
¬A
みたいな流れになるはずたぶん
Ａが真ならＢ→Ｃは真でないといけないが、前提1と2からこれが真であることはない。よってＡの真は否定される
みたいな流れだ
詳しい流れはわからないけどね

てか1寝た？