Maintenance script: Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

2026-08-25T09:01:37Z

Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

← Revisi sebelumnya		Revisi per 25 Agustus 2026 09.01
Baris 1:		Baris 1:
	Dalam [[logika]] matematika, '''negasi''' atau '''ingkaran''' adalah sebuah [[Operasi (matematika)\|operasi]] yang mengambil [[Proposisi (matematika)\|proposisi]] <math>P</math> ke proposisi lain "yang bukan <math>P</math>". Negasi dinyatakan dalam notasi <math>\neg P</math>, <math>\mathord{\sim} P</math> atau <math>\overline{P}</math>. Secara intuitif, operasi ini dipandang benar ketika <math>P</math> salah, dan salah ketika <math>P</math> benar. Jadi, negasi merupakan [[Perangkai logis\|operasi logika]] [[Operasi uner\|uner]].		Dalam [[logika]] matematika, '''negasi''' atau '''ingkaran''' adalah sebuah [[Operasi (matematika)\|operasi]] yang mengambil [[Proposisi (matematika)\|proposisi]] <math>P</math> ke proposisi lain "yang bukan <math>P</math>". Negasi dinyatakan dalam notasi <math>\neg P</math>, <math>\mathord{\sim} P</math> atau <math>\overline{P}</math>. Secara intuitif, operasi ini dipandang benar ketika <math>P</math> salah, dan salah ketika <math>P</math> benar.<ref>Eric W. Weisstein. [https://mathworld.wolfram.com/Negation.html Negation]. ''mathworld.wolfram.com''.</ref><ref>[https://www.math.toronto.edu/preparing-for-calculus/3_logic/we_3_negation.html Logic and Mathematical Statements - Worked Examples]. ''www.math.toronto.edu''.</ref> Jadi, negasi merupakan [[Perangkai logis\|operasi logika]] [[Operasi uner\|uner]].

	Negasi dapat diterapkan sebagai operasi tentang [[Gagasan (filsafat)\|gagasan]], [[Proposisi (matematika)\|proposisi]], [[nilai kebenaran]], atau lebih umumnya, [[Interpretasi (logika)\|nilai semantik]]. Dalam [[logika klasik]], negasi biasanya diidentifikasi dengan [[fungsi kebenaran]] yang mengambil ''kebenaran'' menjadi ''kepalsuan'', begitupula sebaliknya. Namun dalam [[logika intuitionistik]], menurut [[pandangan Brouwer–Heyting–Kolmogorov]], negasi dari proposisi <math>P</math> adalah proposisi yang buktinya merupakan penyangkalan <math>P</math>.		Negasi dapat diterapkan sebagai operasi tentang [[Gagasan (filsafat)\|gagasan]], [[Proposisi (matematika)\|proposisi]], [[nilai kebenaran]], atau lebih umumnya, [[Interpretasi (logika)\|nilai semantik]]. Dalam [[logika klasik]], negasi biasanya diidentifikasi dengan [[fungsi kebenaran]] yang mengambil ''kebenaran'' menjadi ''kepalsuan'', begitupula sebaliknya. Namun dalam [[logika intuitionistik]], menurut [[pandangan Brouwer–Heyting–Kolmogorov]], negasi dari proposisi <math>P</math> adalah proposisi yang buktinya merupakan penyangkalan <math>P</math>.

	== Referensi ==		== Referensi ==
			<references />


	== Sumber dan atribusi ==		== Sumber dan atribusi ==

	Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Negasi&oldid=28051018 Wikipedia bahasa Indonesia], revisi 28051018 (2025-10-17T05:04:47Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.		Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Negasi&oldid=28051018 Wikipedia bahasa Indonesia], revisi 28051018 (2025-10-17T05:04:47Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.

			<!-- WIKI_UNISSULA_PRESENTATION_V4 -->

Maintenance script: Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 28051018; atribusi sumber disertakan.

2026-08-25T08:30:11Z

Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 28051018; atribusi sumber disertakan.

Halaman baru

Dalam [[logika]] matematika, '''negasi''' atau '''ingkaran''' adalah sebuah [[Operasi (matematika)|operasi]] yang mengambil [[Proposisi (matematika)|proposisi]] <math>P</math> ke proposisi lain "yang bukan <math>P</math>". Negasi dinyatakan dalam notasi <math>\neg P</math>, <math>\mathord{\sim} P</math> atau <math>\overline{P}</math>. Secara intuitif, operasi ini dipandang benar ketika <math>P</math> salah, dan salah ketika <math>P</math> benar. Jadi, negasi merupakan [[Perangkai logis|operasi logika]] [[Operasi uner|uner]].

Negasi dapat diterapkan sebagai operasi tentang [[Gagasan (filsafat)|gagasan]], [[Proposisi (matematika)|proposisi]], [[nilai kebenaran]], atau lebih umumnya, [[Interpretasi (logika)|nilai semantik]]. Dalam [[logika klasik]], negasi biasanya diidentifikasi dengan [[fungsi kebenaran]] yang mengambil ''kebenaran'' menjadi ''kepalsuan'', begitupula sebaliknya. Namun dalam [[logika intuitionistik]], menurut [[pandangan Brouwer–Heyting–Kolmogorov]], negasi dari proposisi <math>P</math> adalah proposisi yang buktinya merupakan penyangkalan <math>P</math>.

== Referensi ==

== Sumber dan atribusi ==

Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Negasi&oldid=28051018 Wikipedia bahasa Indonesia], revisi 28051018 (2025-10-17T05:04:47Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.

Negasi - Riwayat revisi

Maintenance script: Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

Maintenance script: Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 28051018; atribusi sumber disertakan.