Dayanak Mantığı - Formül

Question

Verildiğini varsayalım $2$ aşağıdaki gibi tahmin eder:

$A(x):$ $x$ bir at;

$B(x,y):$ $x$ kuyruğu $y$.

Ardından, aşağıdaki cümleyi yüklem mantığı formülüne çevirin: "$w$ bir atın kuyruğu "- nerede $w$ keyfi değişkendir

Fikirlerim: $w$ve at, varoluşsal ve evrensel olarak mı almalıyız? Fikirlerinizi bilmek isterim.

Güncelleme: Yukarıdaki cümlenin formülü şu şekilde ifade ediliyor mu? $\forall(y)(A(y) \Rightarrow B(w,y))$?

Answer 1

Talimatlar verildiğinde, $w$ölçülmemiş kalan serbest bir değişken olması gerekiyor. Verdiğiniz iki yüklemin tanımlarında olduğu gibi, keyfi isimler eklemek için bir yer tutucu görevi görür.$x$ ve $y$ ya da bağlı değildir.

Teklifin yanlış. Formülünüz "$w$kuyruk olan her atı bir kuyruk atıyla at kuyruğu 'aracı '" Ama bu anlamı değil. ''.' Bir Atın kuyruğu' - Özellikle kuyruk Bir at kuyruğu olduğunu, dünyada bütün atları - - böylece at değişkeni evrensel olarak ölçülmemiş, varoluşsal olarak olacaktır.
Ayrıca, diğer gönderinizin yanıtında açıklandığı gibi , "at kuyruğu" şu anlama gelir:$w$ kuyruğu $y$ ve $y$bir at - bu yüzden bir araya getirmeye değil, birleşmeye ihtiyacınız var. Genel bir kural olarak, varoluşsal niceleyiciler birleşimle gider ve evrensel niceleyiciler çıkarımla gider.

Bu ipuçlarıyla doğru çözümü bulabilir misiniz?