Dasar-dasar Logika Matematika

Front

Logika Matematika

Back

Studi penalaran formal

Front

Proposisi

Back

Pernyataan yang bernilai benar/salah

Front

Konjungsi

Back

Operator 'dan' (∧)

Front

Disjungsi

Back

Operator 'atau' (∨)

Front

Implikasi

Back

Jika...maka... (→)

Front

Biimplikasi

Back

Jika dan hanya jika (↔)

Front

Negasi

Back

Penolakan, bukan (¬)

Front

Tautologi

Back

Pernyataan selalu benar

Front

Kontradiksi

Back

Pernyataan selalu salah

Front

Logika Predikat

Back

Logika dengan kuantor