logika 4dLogika predikat mempelajari hubungan antara predikat dan subjek dalam bahasa formal, sementara logika modal mempelajari hubungan antara proposisi dan kebenaran dalamLogika 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í,