Hasil Pencarian

Ditemukan 482 dokumen yang sesuai dengan query

Jeffrey, Richard

Formal logic: its scope and limits / Richard Jeffrey

New York: McGraw-Hill, 1981

160 JEF f

Buku Teks Universitas Indonesia Library

Bittle, Celestine N., author

The science of correct thinking : logic

Buku ini membahas mengenai logika berpikir yang benar.21 bab yang disusun dalam 4 bagian besar, yaitu ide dan istilah; keputusan dan preposisi; kesimpulan dan argumentasi: deduksi; dan kesimpulan dan argumentasi: induksi...

Milwaukee: The Bruce Publishing, 1950

160 BIT s

Buku Teks Universitas Indonesia Library

R. G. Soekadijo, author

Logika dasar: tradisional, simbolik dan induktif

Jakarta: Gramedia, 1985

160 SOE l

Buku Teks Universitas Indonesia Library

Siti Aminah, author

Logika proposisi dan logika predikat

ABSTRAK
Logka proposisi dan logika predikat merupakan bahasa dalam matematika yang tujuan utamanya merumuskan argumentasi dalam logika matematik dengan simbol-simbol.

Dalam tugas akhir ini dibanas aturan sintetik dan aturan semantik dari masing-masing bahasa itu dan metoda penentuan keabsahan kalimat-kalimat dalam kedua bahasa itu.

...

1988

S-Pdf

UI - Skripsi (Membership) Universitas Indonesia Library