Logika informatika

Apa yang dimaksud dengan kalimat deklaratif...

• Kalimat yang menyatakan sebuah fakta yang mempunyai nilai kebenaran benar (true) atau salah (false), dan tidak ke duanya

• Kalimat yang menyatakan sebuah fakta yang mempunyai nilai kebenaran benar (true) dan salah (false), atau tidak ke duanya

• Kalimat yang menyatakan sebuah fakta yang mempunyai nilai kebenaran benar (true) atau salah (false), dan ke duanya

• Kalimat yang menyatakan sebuah fakta yang mempunyai nilai kebenaran benar (true) dan salah (false), atau ke duanya

Jakarta bukanlah ibu kota negara indonesia.

Kalimat di atas merupakan contoh dari...

• Kalimat deklaratif

• Kalimat bukan deklaratif

• Kalimat efektif

• Kalimat tidak efektif

Logika proporsional terdiri dari kalimat-kalimat, khususnya kalimat deklaratif sehingga dapat dianggap sebagai bahasa. Ketika berkaitan dengan bahasa maka ada dua aturan yang tidak dapat dipisahkan, yaitu....

• Aturan sintatik dan aturan semantik

• Aturan sitantik dan aturan simantik

• Aturan sentatik dan aturan semantik

• Aturan sintatik dan aturan simantik

Definisi formal dari sebuah proposisi adalah...

• Sebuah blok bangunan logika dasar

• Sebuah kalimat pernyataan

• Kalimat yang memiliki nilai kebenaran benar

• Kalimat yang memiliki nilai kebenaran salah

Proposition symbols dikelompokkan menjadi dua, yaitu...

• Truth symbols dan propositional symbol

• True symbols dan propositional symbol

• False symbol dan propotional symbol

• Trust symbol dan propositional symbol

P, Q, R, S,

Simbol-simbol di atas merupakan contoh dari...

• Truth symbol

• Propositional symbol

• Declarative symbol

• True dan false

True dan false.

Simbol-simbol di atas merupakan contoh dari...

• Truth symbol

• Propositional symbol

• Declarative symbol

• P, Q, R, S, T, U.

Kalimat-kalimat di dalam logika proposional dibangun dari....

• Truth symbol dan propositional symbol

• Truth symbol dan propositional connective

• Propositional connective dan propositional symbol

• Propositions dan propositional connective

not, and, or, if-then, if-and-only-if, if-then-else.

Contoh-contoh di atas merupakan contoh dari...

• Truth symbol

• Propositional symbol

• Propositional connective

• Propositions

Kalimat dalam logika propositional dibentuk berdasarkan aturan sintatik, berapa banyak aturan sintatik yang berlaku

• 5

• 6

• 7

• 8