No student devices needed. Know more
40 questions
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
Propositional connective "not" digunakan pada aturan sintatik yang disebut...
Aturan negasi
Aturan konjungsi
Aturan disjungsi
Aturan implikasi
Propositional connective "if-and-only-if" digunakan pada aturan sintatik yang disebut...
Aturan equivalen
Aturan kondisional
Aturan proposisi
Aturan implikasi
Yang merupakan notasi pseudocode, yaitu...
<=>
Binary
If-then-else
Not(.....)
Penulisan notasi yang membutuhkan lebih dari satu baris dan strukturnya lebih mudah dibaca secara pengamatan, yaitu penulisan cara...
Indentasi
Kurung mutlak
Kurung kurawal
Kurung siku
Notasi function: ifthenelse(P, and(P,Q), ifthen(Q,R))
Jika di conversikan ke notasi pseudocode, yaitu.....
If P then (P and Q) else (if Q then R)
If Q then (P and Q) else (if P then R)
If P then P and Q else if Q then R
If Q then P and Q else if P then R
Informasi tentang nilai-nilai kebenaran dari simbol-simbol proposional dalam kalimat logika proposional disediakan oleh....
Notasi
Konversi notasi
Interpretasi
Sintatik
Interpretasi memberikan suatu nilai kebenaran ke masing-masing himpunan simbol proposonal berupa...
True dan false
True atau false
True
False
apa yang dimaksud dengan empty interpretation?
memberi nilai kebenaran true ke sebuah proposisi
memberi nilai kebenaran false ke sebuah proposisi
tidak memberi nilai kebenaran ke suatu simbol proposisi manapun
memberikan dua nilai kebenaran pada satu proposisi
Tentukan suatu interpretasi yang memenuhi definisi formal untuk sembarang kalimat logika proposisional
I: {P <- true, Q<-false}
I: {P <- true, P<-false}
I: {Q <- true, Q<-false}
I: {R <- false, R<-false}
Tentukan suatu interpretasi yang tidak memenuhi definisi formal untuk sembarang kalimat logika proposisional
I: {P <- true, Q<-false}
I: {P <- true, Q<-false, R <- false}
I: {Q <- true, R<-false}
I: {R <- false, Q <- true, Q R<-false}
Tentukan kalimat logika proposisional yang memuat tiga simbol proposisional dan tiga konektif...
if-then(and(P, Q), or(R, not(S))
and(if-then(P, and(P, R), not(Q))
or(not(S), R)
if-then-else(and(P, R), S, not (Q, or(S, P))
Diketahui kalimat logika proposisional F: P if and only if (Q and not R)
dan G: if (P and not Q) then not R else (if Q then not P)
dengan menerapkan konektif and pada kalimat F dan G, tentukan salah satu kemungkinan hasilnya...
(if not (P and not Q) then not R else (if Q then not P)) and (P if and only if (Q and not R))
(P if and only if (Q and not R)) and (if (P and not Q) then not R else (if Q then not P))
(not P if and only if (Q and not R)) and (if (P and not Q) then not R else (if Q then not P))
(P if and only if (Q and not R)) and (if (P and not Q) then not R else (if Q then P))
if (P and not Q) then R
Jika diubah ke notasi fungsi maka kalimat yang benar adalah
if-then(and(P, not (Q)), and(P, R))
if-then(R, and(P, not (Q)))
if-then(and(P, not (Q)), R)
and(P, not(Q))
if-then-else(P, or(not(P), not(R)), Q)
Jika diubah ke notasi pseudocode, maka kalimat yang benar adalah.
if P then notP or notR else Q
if notP or notR then Q else not P
if P then P or R else Q
if P then notP or not R else not Q
if (P and not Q) then R
Jika diubah ke notasi matematika maka kalimat yang benar adalah
(P ∧ ¬Q) ↔ ¬R
(P ∨ ¬Q) ↔ R
(P ∨ ¬Q) → R
(¬P ∧ Q) → R
((P ∨ ¬Q) → R) ∧ (S ∨ Q)
Jika diubah ke notasi fungsi, maka kalimat yang benar adalah
and(if-then(or(P, not(Q)), R), or(S, Q))
and(if-then-else(or(P, not(Q)), R), or(S, Q))
and(if-then(or(P, not(Q)), S), or(S, Q))
or(if-then(or(P, not(Q)), R), or(S, Q))
((P ∨ ¬Q) → R) ∧ (S ∨ Q)
Jika diubah ke notasi pseudocoe, maka kalimat yang benar adalah
(if P or notQ then R)or(S or Q)
(if P and notQ then R)and(S or Q)
(if P or notQ then R)and(S or Q)
(if P or Q then R)and(S or Q)
Tentukan suatu interpretasi dari kalimat logika proposisional F: if not true then (not P or Q) else R
I: {P <- true, Q<- false, S <- true}
I: {P <- true, Q<- false, R <- true}
I: {P <- true, Q<- false, P <- true}
I: {Q<- false, S <- true}
Tentukan suatu interpretasi dari kalimat logika proposisional F: if S then (not P or Q) else false
I: {P <- true, Q<- false, S <- true}
I: {P <- true, Q<- false, R <- true}
I: {P <- true, Q<- false, P <- true}
I: {Q<- false, S <- true}
Tentukan suatu interpretasi yang sama dengan interpretasi I:{P <- false, Q <- true, R<- false, S <- false}
J:{S <- false, R <- true, Q<- false, P <- false}
J:{S <- false, R <- false, Q<- true, P <- true}
J:{S <- true, R <- false, Q<- true, P <- true}
J:{R <- false, Q<- true, P <- true}
E: if not P then (Q and R) else not S
Tentukan nilai kalimat E di bawah interpretasi
I : {P <- False, Q <- False, R <- True, S <- True}
True
False
E: if P then (Q and R) else not S
Tentukan nilai kalimat E di bawah interpretasi
I : {P <- False, Q <- False, R <- True, S <- True}
True
False
E: if P then (Q or R)
Tentukan nilai kalimat E di bawah interpretasi
I : {P <- False, Q <- False, R <- False}
True
False
G : (P or Q) if and only if(Q and R)
di bawah ini interpretasi yang benar ketika G bernilai False
I : {P <- False, Q <- False, R <- True}
I : {P <- True, Q <- True, R <- True}
I : {P <- False, Q <- True, R <- True}
I : {P <- True, Q <- True, R <- False}
H : if Q and R then not P
di bawah ini interpretasi yang benar ketika H bernilai False
I : {P <- False, Q <- False, R <- True}
I : {P <- True, Q <- True, R <- True}
I : {P <- False, Q <- True, R <- True}
I : {P <- True, Q <- True, R <- False}
I: {P ← False, Q ← True}, tentukan hasil perluasan interpretasi <P ← True>.I
J: {P ← False, Q ← True}
J: {P ← True, Q ← False}
J: {P ← True, Q ← True}
J: {P ← False, Q ← False}
I: {P ← False, Q ← True}, tentukan hasil perluasan interpretasi <R ← True>.I
J: {P ← False, Q ← True, R ← True}
J: {P ← True, Q ← False, R ← True}
J: {P ← True, Q ← True, R ← True}
J: {P ← False, Q ← False, R ← True}
I: {P ← False, Q ← True, R ← True}, tentukan hasil perluasan interpretasi
<R← True>.<R ← False>. <P ← False>. <Q ← False>. <P ← True>.I
J: {P ← False, Q ← True, R ← True}
J: {P ← True, Q ← False, R ← True}
J: {P ← True, Q ← True, R ← True}
J: {P ← False, Q ← False, R ← True}
Diketahui sebuah interpretasi I: {P ← False, Q ← True}, dan
kalimat E: if (if P then not R) then (Q and not R) else (not P or S)
tentukan perluasan interpretasi terhadap I, sehingga hasil perluasannya merupakan interpretasi untuk kalimat E.
<R ← False>.<S ← False>.I
<P ← True>.<S ← False>.I
<R ← False>.<Q ← True>.I
<P ← False>.<Q ← False>.I
Diketahui sebuah interpretasi I: {P ← False, S ← True}, dan
kalimat E: if (if P then not Q) then (not Q) else (P and Q), dan
F: (Q or R) if and only if (R and S)
tentukan perluasan interpretasi terhadap I, sehingga hasil perluasannya merupakan interpretasi untuk kalimat E dan F.
<R ← False>.<S ← False>.<R ← True>.<S ← True>.I
<P ← True>.<Q ← False>.<R ← True>.<S ← False>.I
<R ← False>.<P ← True>.<R ← True>.<S ← False>.I
<P ← False>.<Q ← False>.I
Explore all questions with a free account