Tools
lines
▲
m
url
id
parent_id
title
location
api
icon
author
traffic
rank
connect
point
user_id
score
magnitude
fav
timestamp
created
tags
connectParTime
children
actions
873198
知識ベース、というのは門外漢で分からず恐縮ですが、論理学ではこういう場合、述語を定義する必要があります。たとえば次のようにしてみますね:xとyは付き合う:Dxyxはyを親しく思っている:Fxy今回の命題を記号化するには以上で十分です。あとはお示しの日本語に従って論理式を作っていきます。①xとyは付き合っておりDxy、で良いですね。②二人ともzのことを親しく思っているまず二人は、xとyです。さらに、xもyもzを親しく思っているということですよね。ここで大変注意したいのは、日本語の「xもyも」といったように、
chiebukuroAns
59さん
0
0
1
5
0.00
0.95
2024-06-15 02:56:47
2021-12-14 08:08:07
Dxy
Dxyx
Dxy⋏Fxz⋏Fyz
Fxz⋏Fyz
主語
命題
Fxy今回
知識ベース
-392700
View
Page 1 of 1, showing 1 records out of 1 total, starting on record 1, ending on 1
< previous
next >
All
Hot
Cool
Stamp
Created
Power
Earth
All
Connect
Nice
Traffic
Score