「AはB」と「AならばB」って論理的には同じなん?
■ このスレッドは過去ログ倉庫に格納されています
俺は人間 と 俺ならば人間 って同じ?
前者は、俺は人間という事実を語ってる感じがするが、
後者は、もしも俺ならば人間、という条件感がある バッタは人間ではない。
しかし、イッチならば人間である。 もしAならばという仮定とか条件を満たしていればBになるからちょっと違うんやないか? A=B
if A then B
Aをどうこねくり回してもBになるから意味的には一緒だな 逆に考えるんや
BはAは成り立つが、BならばAにはならんやろ?
前者は同等で、後者はAが前提になってるんや >>4
これやな
Bがある条件下で変化するなら違うわ 一階の述語論理なら同じ
二階の論理だともっと厳密に定義する >>10
イコールはA is B かつ B is Aのことだから違う >>16
ウィキペディア見たけど久しぶりにわけわからんかった ■ このスレッドは過去ログ倉庫に格納されています