Pembicaraan:Negasi

message: Logika Informatika: Mengenal Konjungsi, Disjungsi, Implikasi dan Biimplikasi
Dalam ilmu logika informatika dikenal yang namanya kalimat majemuk. Kalimat majemuk adalah sebuah kalimat yang tersusun dari dua kalimat atau lebih dan dengan menggunakan kata hubung tertentu. Ada beberapa jenis kalimat majemuk di antaranya adalah sebagai berikut;
1. KONJUNGSI
Konjungsi adalah suatu kalimat majemuk yang menggunakan kata hubung "DAN" / "AND". Notasinya adalah "^".
contoh kalimat 1:
premis 1(p): Andi adalah seorang mahasiswa. (BENAR)
premis 2(q): Andi adalah seorang karyawan perusahaan swasta. (BENAR)
konjungsi(p^q): Andi adalah seorang mahasiswa dan karyawan perusahaan swasta. (BENAR)
contoh kalimat 2:
premis 1(p): Ayam adalah unggas. (BENAR)
premis 2(q): Burung kutilang adalah mamalia. (SALAH)
konjungsi(p^q): Ayam adalah unggas dan burung kutilang adalah mamalia. (SALAH)
Tabel kebenaran dari konjungsi:
  
Catatan: Konjungsi baru bernilai benar apabila kedua premis bernilai benar. Jika salah satu atau kedua premis bernilai salah maka nilai pernyataan / kalimat tersebut salah.
2. DISJUNGSI
Disjungsi adalah suatu kalimat majemuk yang menggunakan kata hubung "ATAU" / "OR". Notasinya adalah "v".
contoh kalimat disjungsi 1:
premis 1(p): Dalam pelajaran TIK, siswa menggunakan komputer sekolah. (BENAR)
premis 2(q): Dalam pelajaran TIK, siswa boleh membawa laptop sendiri. (BENAR)
disjungsi(pvq): Dalam pelajaran TIK, siswa boleh menggunakan komputer sekolah atau membawa laptop sendiri. (BENAR)
contoh kalimat disjungsi 1:
premis 1(p): Air adalah benda cair. (BENAR)
premis 2(q): Es adalah air yang mendidih. (SALAH)
disjungsi(pvq): Air adalah benda cair atau es adalah air yang mendidih. (BENAR)
Tabel kebenaran dari disjungsi
 
catatan: Disjungsi bernilai salah apabila kedua premis pembentuknya bernilai salah. Jika salah satu atau kedua premis bernilai benar maka disjungsi bernilai benar.
Negasi
Dari Wikipedia bahasa Indonesia, ensiklopedia bebas
Dalam logika matematika, negasi, atau ingkaran adalah operasi matematika terhadap suatu pernyataan, baik tunggal maupun majemuk. Operasi negasi membalikkan nilai kebenaran suatu pernyataan.
p	~p
B	S
S	B
Jika p bernilai benar, maka ~p bernilai salah. Sebaliknya, jika p bernilai salah, maka ~p bernilai benar.
Bentuk ~p biasa dibaca "bukan p", "tidak p", "tidak benar bahwa p", dsb.

message: Hello fellow editors,
I have found one or more external links on Negasi that are in need of attention. Please take a moment to review the links I found and correct them on the article if necessary. I found the following problems:
*https://mathworld.wolfram.com/Negation.html is found to be dead. Recommend adding https://web.archive.org/web/20230724164155/https://mathworld.wolfram.com/Negation.html to the original URL.
*https://www.math.toronto.edu/preparing-for-calculus/3_logic/we_3_negation.html is found to be dead. Recommend adding https://web.archive.org/web/20230329155352/https://www.math.toronto.edu/preparing-for-calculus/3_logic/we_3_negation.html to the original URL.
When you have finished making the appropriate changes, please visit this simple FaQ for additional information to fix any issues with the URLs mentioned above.
This notice will only be made once for these URLs.
Cheers.—InternetArchiveBot (Melaporkan kesalahan) 9 Oktober 2023 10.59 (UTC)
thread_title:  External links found that need fixing (Oktober 2023)