Logika - pedia bahasa Indonesia, ensiklopedia bebas

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í,