Pertanyaan yang diberi tag «propositional-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 

Saya ingin tahu apakah ada aturan untuk membuktikan ini. Misalnya, jika saya menggunakan hukum distributif, saya hanya akan mendapatkan .( A ∨ A ) ∧ ( A ∨ ¬ B )(A∨A)∧(A∨¬B)(A \lor A) \land (A \lor \neg B)

22 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