1. Teori Korespondensi
Teori Korespondensi (The correspondence theory of truth) menunjukkan bahwa suatu kalimat akan bernilai benar jika hal hal yang terkandung di dalam pernyataan tersebut sesuai atau cocok dengan keadaan yang sesungguhnya. Teori teori atau pernyataan-pernyataan Ilmu Pengetahuan Alam akan dinilai benar jika pernyataan itu melaporkan, mendeskripsikan, ataupun menyimpulkan kenyataan atau fakta yang sebenarnya.
2. Teori Koherensi
Teori koherensi menyatakan bahwa suatu kalimat akan bernilai benar jika pernyataan yang terkandung di dalam kalimat itu bersifat koheren, konsisten atau tidak bertentangan dengan pernyataan-pernyataan sebelumnya yang dianggap benar.
Ada enam aksioma yang terkait dengan bilangan real a, b dan c terhadap operasi penjumlahan (+) dan perkalian (.) berlaku sifat:
1. Tertutup, a + b Є R dan a . b Є R
2. Assosiatif, a +( b + c) = (a + b) + c dan a .( b . c) = (a . b) . c
3. Komulatif, a + b = b + a dan a . b = b . a
4. Distributif, a .( b + c) = a . b + a . c dan (b + c) . a= b . a + c . a
5. Identitas, a + 0 = 0 + a = a dan a . 1 = 1 . a = a
6. Invers, a + (-a )= (-a) + a dan a . 1/a - 1/a . a = 1
Disjungsi, konjungsi, implikasi, biimplikasi dan negasi
1. Negasi
2. Konjungsi
Konjungsi adalah suatu pernyataan majemuk yang menggunakan perakit “dan“
3. Disjungsi
Disjungsi adalah suatu pernyataan majemuk yang menggunakan perakit “atau“
4. Implikasi
Misalkan ada dua pernyataan p dan q. Menunjukkan atau membuktikan bahwa jika nilai p benar akan mengakibatkan q bernilai benar. Maka diletakkanlah kata “jika” sebelum pernyataan pertama diletakkan juga kata “maka” diantara pernyataan pertama dan pernyataan kedua sehingga didapatkan suatu pernyataan majemuk yang disebut dengan implikasi.
5. Biimplikasi
Biimplikasi atau bikonditional adalah pernyataan dua majemuk dari dua pernyataan p dan q yang dinotasikan dengan p ⇔ q yang bernilai samadengan (p ⇒q) ⋀ (q⇒p)
Tidak ada komentar:
Posting Komentar