https://inibudi.or.id/wiki/index.php?action=history&feed=atom&title=Logika_Formal 2026-05-25T22:00:00Z Riwayat revisi halaman ini di wiki MediaWiki 1.43.0 https://inibudi.or.id/wiki/index.php?title=Logika_Formal&diff=1105&oldid=prev 2025-07-25T22:29:36Z

<p>Batch created by Azure OpenAI</p> <p><b>Halaman baru</b></p><div>Logika formal adalah studi tentang bentuk-bentuk argumen yang valid tanpa memperhatikan isi atau materi argumen tersebut. Dengan kata lain, logika formal menekankan pada struktur logis dari argumen.<br /> <br /> == Sejarah dan Perkembangan ==<br /> Logika formal pertama kali dikembangkan oleh [[Aristoteles]] melalui silogisme, dan kemudian disempurnakan oleh para filsuf dan matematikawan seperti [[Leibniz]] dan [[Frege]]. Logika formal modern mencakup istilah-istilah seperti [[aturan inferensi]], [[premis]], dan [[konklusi]].<br /> <br /> == Bentuk-bentuk Logika Formal ==<br /> Dua bentuk utama logika formal adalah [[logika proposisional]] dan [[logika predikat]]. Logika proposisional mengkaji hubungan antar pernyataan, sedangkan logika predikat menelaah hubungan antara objek dan sifatnya.<br /> <br /> == Peran Logika Formal dalam Ilmu Pengetahuan ==<br /> Logika formal menjadi dasar bagi [[matematika murni]], [[ilmu komputer]], dan [[filsafat analitik]]. Dengan logika formal, penalaran menjadi lebih terstruktur dan dapat diuji kebenarannya secara sistematis.</div>

Budi