Pertanyaan yang diberi tag «first-order-logic»

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 adalah Selasa. Ini adalah benar . Tetapi …

24 terminology  logic  first-order-logic  propositional-logic 

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 terkait dengan materi baru yang saya baca) dan berharap mendapatkan …

19 logic  first-order-logic  propositional-logic  incompleteness 

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 (yaitu saya pikir sistem yang konsisten harus sehat tetapi saya kira itu tidak benar). …

12 terminology  logic  first-order-logic  propositional-logic  incompleteness 

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? Misalkan Σ={∘,i,e}Σ={∘,i,e}\Sigma= \left \{ \circ, i, e \right \} mana …

10 logic  first-order-logic 

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 tidak akan pernah berhasil karena jika bahasa seperti itu biasa, …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

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, pernyataan "ada pernyataan yang valid dalam LIA tetapi …

8 logic  first-order-logic 

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), predikat boolean pada xxx, dan dia mengklaim itu P(x)≡∃y.Q(x,y),P(x)≡∃y.Q(x,y),P(x) \equiv \exists y . Q(x,y), atau dengan kata lain, itu ∀x.[P(x)⇔∃y.Q(x,y)].∀x.[P(x)⇔∃y.Q(x,y)].\forall x . [P(x) \Leftrightarrow \exists y …

8 logic  satisfiability  first-order-logic  software-verification  model-checking