5
Bu açıklama mantığında nasıl açıklanır?Bu cümlenin tanımı mantıksal olarak nasıl temsil edilir?
Bir aceminin henüz yorum yapmak olanağı yoktur
Teşekkür
A
cevap
3
, bu şekilde tarif edilecektir, F (x)) ∧ (¬ (M (x) ∧, F (x)))
:
human ⊆ (male ∪ female) ∩ ¬(male ∩ female)
+0
-1 bu & John'un cevabı: Mantığı açıkla, açıklama mantığı değildir. Özellikle, tanımlama mantığında sınırsız niceleme diye bir şey yoktur: niceleme, aynı şey değil, rollerin üzerindedir. Hakkanlığın peşinde genel haklar için –
1
"Her insan, erkek veya kadın" ama ben bir "münhasır veya" kullanmak istersiniz inanıyoruz. ; xH (x) ⊃ (M (x) 01 forall
&:; .. sonra tekrar, ben söylem Evreninizdeki bağlıdır tahmin) önermeler mantığı ile
5
:
açıklama mantıkla
H(x) = x is human
M(x) = x is male
F(x) = x is female
, farklı biraz var
Şimdiye kadar sağlanan cevaplar, Açıklama Mantık sözdizimini kullanmaz (değişkensizdir). bunu kontrol bunu Açıklama Logics ilgili bilimsel makalelerde kullanılan gerçek Açıklama Mantık sözdizimi istiyorum varsayarsak:
human \sqsubseteq (male \sqcup female) \sqcap \neg (male \sqcap female)
LaTeX yazılmış Its, çevrimiçi bir LaTeX editörü kullanabilirsiniz, örneğin Bu ifadeyi oluşturmak için this.
+0
+1. –
huh? ............. –