Bagi saya, 'implikasi' dalam bahasa Inggris tidak berarti sama dengan operator logis 'implikasi', dengan cara yang sama bagaimana kata 'ATAU' dalam banyak kasus berarti 'Eksklusif ATAU' dalam penggunaan bahasa sehari-hari kita. Mari kita ambil dua contoh: Jika hari ini adalah Senin maka besok...
Baru-baru ini saya memikirkan validitas pembuktian melalui kontradiksi. Saya telah membaca beberapa hari terakhir tentang logika intuitionistic dan teorema Godel untuk melihat apakah mereka akan memberi saya jawaban atas pertanyaan saya. Saat ini saya masih memiliki pertanyaan yang melekat (mungkin...
Saya sedang membaca pertanyaan Konsistensi dan kelengkapan menyiratkan kesehatan? dan pernyataan pertama di dalamnya mengatakan: Saya mengerti bahwa kesehatan menyiratkan konsistensi. Yang saya cukup bingung karena saya pikir kesehatan adalah pernyataan yang lebih lemah daripada konsistensi...
Saya telah mencoba untuk menyelesaikan latihan berikut tetapi saya macet ketika mencoba menemukan semua pasangan yang kritis . Saya punya pertanyaan berikut: Bagaimana saya tahu pasangan kritis mana yang menghasilkan aturan baru? Bagaimana saya tahu saya menemukan semua pasangan kritis?...
Baru-baru ini saya berdiskusi dengan seorang teman tentang sebuah situs web yang mengusulkan tantangan regex, terutama mencocokkan sekelompok kata dengan properti khusus. Dia sedang mencari regex yang cocok dengan string seperti di ||||||||mana jumlah |prima. Saya segera mengatakan kepadanya bahwa...
Membiarkan x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n) dan y=(y1,…,yn)y=(y1,…,yn)y=(y_1,\dots,y_n) menjadi nnn-vektor variabel boolean. Saya memiliki predikat booleanQ(x,y)Q(x,y)Q(x,y) di x,yx,yx,y. Saya memberi teman saya PriscillaQ(x,y)Q(x,y)Q(x,y). Sebagai tanggapan, dia memberi sayaP(x)P(x)P(x),...
Saya pikir setiap FOT adalah subset dari FOL, tetapi sepertinya tidak demikian, karena FOL sudah lengkap (setiap rumus valid atau tidak valid), sementara beberapa FOT (seperti aritmatika integer linier) tidak lengkap. Jadi, apakah FOL lebih ekspresif daripada FOT? Atau tiada tara? Juga,...