LOGIKA

FORMAL

Oleh : Kelompok 2
Nama Anggota Kelompok :

1. Jihaan Alissa Qotrunnadah (2061113)

2. Nida Amalia Putri (2061080)
3. Nikmatul Khoiroh (2061095)
4. Yuli Agustin Nengseh (2061093)
Keyword :

Logika Formal = Logika Deduktif

 Pengertian

Logika Formal adalah ilmu logika yang

mempelajari asas-asas penalaran deduktif
yang berasal dari kesimpulan yang diuji
dengan kenyataan dalam praktik lapangan.
 Jika dasarnya salah, maka kesimpulan juga akan salah jadi
kesimpulan yang tepat didapatkan dari berfikir secara benar,
berdasarkan hasil praktik di lapangan.
Penalaran deduktif adalah proses
berfikir yang berawal dari
pembuktian pernyataan-pernyataan
khusus untuk diambil suatu
kesimpulan secara umum.
Tambahan

PENALARAN = SUATU BENTUK PEMIKIRAN

(Secara etimologis )
berasal dari kata “NALAR” yang memiliki arti :
1. Pertimbangan tentang baik, buruk akal budi
2. Aktivitas yang memungkinkan seseorang berpikir secara logis.

Pengertian logis adalah sesuatu yang bisa diterima oleh akal

Objek Logika
Formal

Ketepatan Penalaran

Kegiatan akal budi untuk melakukan penalaran yang

tepat dan teratur yang terlihat lewat ungkapan
pikirannya yang diwujudkan dalam bahasa.
 Manfaat Logika Formal

Dengan logika formal kita dapat menyimpulkan bahwa suatu

pernyataan baru adalah benar dengan membuktikan bahwa pernyataan
itu diturunkan dari pernyataan-pernyataan lain yang sudah diketahui
kebenarannya.
TERIMA KASIH
SESI PERTANYAAN