Jik kita sering menjumpi pada suatu kemasan bahan kimia berbahaya pasti ada simbol-simbol yang merupakan tanda bahaya yang mengandung arti tertentu, contohnya simbol gambar tengkorak, simbol gambar X atau yang lainnya.

Dibawah ini adalah penjelasan mengenai simbol gambar dan artinya pada bahan kimia berbahaya : 

• Simbol Toxic (Beracun) Huruf Kode “ T “

Formulasi dan Bahan yang ditandai dengan simbol beracun "Toxic" dapat menyebabkan kerusakan kesehatan akut atau kronis dan bahkan kematian pada konsentrasi sangat rendah jika masuk ke tubuh melalui inhalasi, melalui mulut (ingestion) atau kontak dengan kulit. Bahan karsinogenik dapat menyebabkan kanker atau meningkatkan timbulnya kanker jika masuk ke tubuh.

Contoh bahan dengan sifat tersebut misalnya solven-solven seperti metanol (Toksik) dan Benzene (Toksik, Karsinogenik).

• Simbol Very Toxic (Sangat Beracun) Huruf Kode “ T+ “

Bahan dan formulasi yang ditandai dengan notasi bahaya "Very Toxic" dapat menyebabkan kerusakan kesehatan akut atau kronis dan bahkan kematian pada konsentrasi sangat rendah jika masuk ke tubuh melalui inhalasi, melalui mulut (ingestion) atau kontak dengan kulit. 

Contoh bahan dengan sifat tersebut misalnya kalium sianida, hydrogen sulfida, nitrobenzene dan atripin.

• Simbol Corrosive (Korosif) Huruf Kode “ C “

Bahan dan formulasi dengan notasi "Corrosive" adalah merusak jaringan hidup. Jika suatu bahan merusak kesehatan dan kulit hewan uji atau sifat ini dapat diprediksi karena karakteristik kimia bahan uji, seperti asam (pH kurang dari 2 atau pH lebih dari 11,5), ditandai sebagai bahan korosif. 

Contoh bahan dengan sifat tersebut misalnya asam mineral seperti HCl dan H2SO4 maupun basa seperti larutan NaOH yang kurang dari 2%.

• Simbol  Harmful (Berbahaya) Huruf Kode “ Xn “

Bahan dan formulasi yang ditandai dengan notasi bahaya "Harmful" memiliki merusak kesehatan sedang jika masuk ke tubuh melalui inhalasi, melalui mulut (ingestion) atau kontak dengan kulit. 

Contoh bahan yang memiliki sifat tersebut misalnya solven 1,2-etane-1, 1,2 diol atau etilen glikol (berbahaya) dan diklorometan (berbahaya, dicurigai karsinogenik). Bahan-bahan yang merusak jaringan (Tissue Destroying Substances) yang meliputi sub grup bahan bahan korosif dan bahan iritan. 

• Simbol Dangerous for Environment Huruf Kode “ N “

Bahan dan formulasi dengan notasi berbahaya bagi lingkungan adalah dapat menyebabkan efek tiba-tiba atau dalam sela waktu tertentu pada satu kompartemen lingkungan atau lebih (air, tanah, udara, tanaman, mikroorganisme) dan menyebabkan gangguan ekologi.

Contoh bahan yang memiliki sifat tersebut misalnya tributil timah kloroda, tetraklorometan, dan petroleum hidrokarbon seperti pentana dan petroleum bensin.(SELARAS)

• Simbol Irritant (Menyebabkan Iritasi) Huruf Kode “ Xi “

Bahan dan formulasi dengan notasi "Irritant" adalah tidak korosif tetapi dapat menyebabkan inflamasi jika kontak dengan kulit atau selaput lendir. 

Contoh bahan dengan sifat tersebut misalnya isopropilamina, kalsium klorida serta  asam dan basa encer.

ALJABAR PREPOSISI

ALJABAR PREPOSISI

Definisi 1.1.1: (Proposisi)
Sebuah proposisi(proposition) atau statement ialah sebuah kalimat deklaratif yang memiliki tepat satu nilai kebenaran, yaitu: ”Benar”(B) atau ”Salah”(S)
CONTOH 1.1.1 : Beberapa contoh proposisi dan bukan proposisi:

1. Jakarta adalah ibu kota Republik Indonesia.
2. 7 merupakan sebuah bilangan prima.
3. Manusia adalah salah satu jenis makluk di Bumi.
4. Taufik Hidayat pandai main bulu tangkis atau tennes.
5. Jika 10 habis dibagi dengan 4, maka juga habis dibagi dengan 2.
6. Mudah-mudahan anda berhasil dalam meniti karier.
7. Berolahragalah secara teratur!

Kalimat deklaratif pertama, kedua dan ketiga dalam contoh 1.1.1 tidak memuat penghubung disebut proposisi primitip(primitif ), dan dilambangkan dengan huruf kecil: p, q, r, s. Kalimat deklaratif keempat dan kelima memuat penghubung ”atau” dan ”jika…maka…” disebut proposisi majemuk(composite). Kalimat keenam dan ketujuh bukan proposisi.
Penghubung atau konektif(connective)
Dalam logika matematika dikenal sebanyak 5 penghubung, yaitu:

1. Negasi(Negation)
2. Konjungsi(Conjunction)
3. Disjungsi(Disjunction)
4. Implikasi(Implication)
5. Ekuivalensi(Equivalence)

Definisi 1.1.2: (Penghubung)
Misalkan p dan q adalah proposisi.

1. Negasi:
Untuk sembarang proposisi, p, yang memiliki nilai kebenaran, B / S, maka negasinya ditulis sebagai,      , memiliki nilai kebenaran lawannya, S / B.

2. Konjungsi:
Konjungsi p dan q dinyatakan dengan, p q, adalah sebuah proposisi yang bernilaibenar jika proposisi p dan q keduanya bernilai benar.

3. Disjungsi:
Disjungsi p dan q dinyatakan dengan,  p     q, adalah proposisi yang bernilai salah jika proposisi p dan q keduanya bernilai salah.

4. Implikasi (proposisi bersyarat):
Implikasi dari p ke q dinyatakan dengan, p q, ialah proposisi yang bernilai salah jika dan hanya jika p bernilai benar dan q bernilai salah. Proposisi p disebut anteseden(premis/hipotesa) dan proposisi q disebut konsekuen(konklusi/kesimpulan)


5. Ekuivalensi/Biimplikasi:
Ekivalensi dari p dan q dinyatakan dengan, p q, adalah proposisi yang bernilai benar jika proposisi p dan q mempunyai nilai kebenaran sama.

Tabel kebenaran (Truth table)
Untuk mengevaluasi apakah sebuah proposisi majemuk benar atau salah kita perlu tabel kebenaran dari konektif yang ada dalam proposisi tersebut. Untuk sembarang proposisi p dan q, rangkuman tabel kebenaran dari semua konektif dapat dilihat pada Tabel 1.1.1.
Logika proposisi tidak bisa menggambarkan sebagian besar proposisi dalam matematika dan ilmu komputer. Sebagai ilustrasi, perhatikan pernyataan berikut:

p : n adalah bilangan ganjil.
Pernyataan p bukan sebuah proposisi karena nilai kebenaran p bergantung pada nilai kebenaran n. Sebagai contoh, p benar jika n=103 dan salah jika n=8. Karena kebanyakan pernyataan dalam matematika dan ilmu komputer menggunakan peubah(variabel), maka kita harus mengembangkan sistem logika yang mencakup pernyataan tersebut.


Definisi 1.1.3: (Fungsi proposisi/Predikat)
Misalkan P(x) merupakan sebuah pernyataan yang mengandung variabel x dan D adalah sebuah himpunan. Kita sebut P sebuah fungsi proposisi (dalam D) jika untuk setiap x di D, P(x) adalah proposisi. Kita sebut D daerah asal pembicaraan (domain of discourse) dari P.
Sebuah predikat seringkali menyatakan sebuah hubungan relasional antara: konstanta, variabel dan fungsi.  Simbol-simbol yang digunakan dalam logika predikat:

1. Simbol konstanta : a, b, c, d.
2. Simbol variabel : x, y, z, w.
3. Simbol fungsi : f, g, h.
4. Simbol predikat : P, Q, R, S.

Definisi 1.1.4: (Kuantor)
Misalkan P(x) adalah fungsi proposisi dengan daerah asal D.

1. Pernyataan ”untuk setiap x, P(x)” dikatakan sebagai pernyataan kuantor universal dan secara simbolik ditulis sbb:
x; P(x)
Simbol ” ” disebut kuantor universal.
2. Pernyataan ”untuk beberapa x, P(x)” dikatakan sebagai pernyataan kuantor eksistensial dan secara simbolik ditulis sbb:
x; P(x)
Simbol ” ” disebut kuantor eksistensial.

Definisi 1.1.5: (Ekuivalensi)
Dua proposisi yang memuat n variabel dikatakan ekivalen, jika untuk setiap pemberian nilai kebenaran terhadap setiap variabel dari kedua proposisi tersebut, maka keduanya mempunyai nilai kebenaran sama.

Sifat negasi/ekuivalensi kuantor:

1. Kuantor Universal:
2. Kuantor Eksistensial: 


Definisi 1.1.6: (Tautology, Contradiction and Satisfiable)
1. Tautologi:
Sebuah proposisi dikatakan bernilai Tautologi, jika proposisi tersebut bernilai benar terhadap setiap pemberian nilai kebenaran bagi setiap variabelnya.
2. Kontradiksi:
Sebuah proposisi dikatakan bernilai Kontradiksi, jika proposisi tersebut bernilai salah terhadap setiap pemberian nilai kebenaran bagi setiap variabelnya.
3. Satisfiabel:
Sebuah proposisi dikatakan Satisfiabel, jika bernilai benar terhadap suatu pemberian nilai kebenaran bagi setiap variabelnya.
Definisi 1.1.7: (Implikasi Tautologi)
Sebuah proposisi p dikatakan berakibat propisisi q, jika implikasi ”p q” bernilai tautologi, dan ditulis   ”p      q”.

SEKIAN DAN TERIMAKASIH........