Apa itu Semantic Rule


Sementic rule adalah suatu aturan yang digunakan untuk menentukan “truth value” dari suatu sentence,  yaitu :

  1. Negation Rule(Aturan NOT)

Negasi akan memiliki truth value yang berlawanan dengan proposisinya.

p not p
true false
false true

  1. Conjunction Rule (Aturan AND)

Konjungsi hanya akan bernilai true jika kedua proposisinya bernilaitrue.

p q p and q
true true true
true false false
false true false
false false false

 

  1. Disjunction Rule (Aturan OR)

Disjungsi hanya akan bernilai false jika kedua proposisinya bernilaifalse.

p q p or q
true true true
true false true
false true true
false false false

 

  1. Implication Rule (Aturan IF-THEN)

Implikasi hanya akan bernilai false jika anteseden (p) = true dan konsekuen (q) = false.

p q if p then q
true true true
true false false
false true true
false false true

 

Jika (pàq) adalah implikasi, maka :

(qàp) adalah konvers

(not pànot q) adalah invers

(not qànot p) adalah kontraposisi

Jika (pàq) bernilai benar, maka:

belum tentu (q à p), (not p à not q), dan (not q à not p) bernilai benar.

 

  1. Equivalence Rule (Aturan IF -AND ONLY IF -)

Biimplikasi hanya akan bernilai true jika kedua penyusun proposisi bernilai sama

p q p if and only if q
true true true
true false false
false true false
false false true

 

  1. Conditional Rule (Aturan IF–THEN-ELSE)

Jika p bernilai true maka nilai q yang berlaku.

Jika p bernilai false maka nilai r yang berlaku.

p q r if p then q else r
true true true true
true true false true
true false true false
true false false false
false true true true
false true false false
false false true true
false false false false

 

Sifat-sifat aljabar logika untuk konjungsi dan disjung

 

Advertisements

Untuk Kebaikan Bersama Tolong DiKomentari

Please log in using one of these methods to post your comment:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s