logika 4dLogika se zabývá vyvozováním platných závěrů z daných předpokladů. Logika se používá v důkazech (tzv. matematická logika), ale i v běžném uvažování,Logika (bahasa Belanda: logica) atau mantik adalah studi tentang penalaran yang tepat. Logika, menurut objek studinya, dibagi menjadi dua, yakni logika formal dan logika informal. Logika