Varian Proposisi: Difference between revisions

Line 1:

Konvers (kebalikan) : ~~'''~~q → p~~'''~~

Konvers (kebalikan) : <code>q → p</code>

Invers : ~~'''~~~p → ~q~~'''~~

Invers : <code>~p → ~q</code>

Kontraposisi : ~~'''~~~q → ~p~~'''~~

Kontraposisi : <code>~q → ~p</code>

{| class="wikitable"

Line 68:

==Bi-Implikasi (Bikondisional)==

*Bentuk [[Proposisi|proposisi]] "''p'' jika dan hanya jika ''q''".

*Bentuk [[Proposisi|proposisi]] <code>''p'' jika dan hanya jika ''q''</code>

*Notasi: ''~~'''~~p [[File:Bimplikasi.png|15x15px]] q~~'''~~''

*Notasi: ''<code>p [[File:Bimplikasi.png|15x15px]] q</code>''

{| class="wikitable"

Line 94:

|}

* ''p [[File:Bimplikasi.png|15x15px]] q ⇔'' (''p → q'') Λ (''q → p'')

* <code>''p [[File:Bimplikasi.png|15x15px]] q ⇔'' (''p → q'') Λ (''q → p'')</code>

{| class="wikitable"

Line 134:

|}

* Dengan kata lain, pernyataan "''p'' jika dan jika hanya ''q"'' dapat dibaca "Jika ''p'' maka ''q'' dan jika ''q'' maka ''p".''

* Dengan kata lain, pernyataan <code>''p'' jika dan jika hanya ''q''</code> dapat dibaca <code>Jika ''p'' maka ''q'' dan jika ''q'' maka ''p''</code>''.''

* Cara menyatakan Bikondisional ''~~'''~~p [[File:Bimplikasi.png|15x15px]] q~~'''~~''

* Cara menyatakan Bikondisional ''<code>p [[File:Bimplikasi.png|15x15px]] q</code>''

** ''p'' jika hanya jika ''q''

** <code>''p'' jika hanya jika ''q''</code>

** ''p'' adalah syarat perlu dan cukup untuk ''q''.

** <code>''p'' adalah syarat perlu dan cukup untuk ''q''.</code>

** Jika ''p'' maka ''q'', dan sebaliknya.

** <code>Jika ''p'' maka ''q'', dan sebaliknya.</code>

** ''p'' ''iff q''

** <code>''p'' ''iff q''</code>

===== Contoh 1 =====

Line 177:

== Teorema ==

dua buah proposisi mejemuk, ''P'' (''p, q,...'') dan ''Q'' (''p, q,...'') disebut [[equivalen]] secara logika dilambangkan dengan

dua buah proposisi mejemuk, <code>''P'' (''p, q,...'')</code> dan <code>''Q'' (''p, q,...'')</code> disebut [[equivalen]] secara logika dilambangkan dengan

''P'' (''p, q,...'') <big>⇔</big> ''Q'' (''p, q,...'')

Jika <code>''P'' [[File:Bimplikasi.png|15x15px]] ''Q''</code> [[Tautologi dan Kontradiksi|tautologi]]

@@ Line 1: / Line 1: @@
-Konvers (kebalikan) : '''q → p'''
+Konvers (kebalikan) : <code>q → p</code>
-Invers  : '''~p → ~q'''
+Invers : <code>~p → ~q</code>
-Kontraposisi  : '''~q → ~p'''
+Kontraposisi : <code>~q → ~p</code>
 {| class="wikitable"
@@ Line 68: / Line 68: @@
 ==Bi-Implikasi (Bikondisional)==
-*Bentuk [[Proposisi|proposisi]] "''p'' jika dan hanya jika ''q''".
+*Bentuk [[Proposisi|proposisi]] <code>''p'' jika dan hanya jika ''q''</code>
-*Notasi: '''''p [[File:Bimplikasi.png|15x15px]] q'''''
+*Notasi: ''<code>p [[File:Bimplikasi.png|15x15px]] q</code>''
 {| class="wikitable"
@@ Line 94: / Line 94: @@
 |}
-* ''p [[File:Bimplikasi.png|15x15px]] q ⇔'' (''p → q'') Λ (''q → p'')
+* <code>''p [[File:Bimplikasi.png|15x15px]] q ⇔'' (''p → q'') Λ (''q → p'')</code>
 {| class="wikitable"
@@ Line 134: / Line 134: @@
 |}
-* Dengan kata lain, pernyataan "''p'' jika dan jika hanya ''q"'' dapat dibaca "Jika ''p'' maka ''q'' dan jika ''q'' maka ''p".''
+* Dengan kata lain, pernyataan <code>''p'' jika dan jika hanya ''q''</code> dapat dibaca <code>Jika ''p'' maka ''q'' dan jika ''q'' maka ''p''</code>''.''
-* Cara menyatakan Bikondisional '''''p [[File:Bimplikasi.png|15x15px]] q'''''
+* Cara menyatakan Bikondisional ''<code>p [[File:Bimplikasi.png|15x15px]] q</code>''
-** ''p'' jika hanya jika ''q''
+** <code>''p'' jika hanya jika ''q''</code>
-** ''p'' adalah syarat perlu dan cukup untuk ''q''.
+** <code>''p'' adalah syarat perlu dan cukup untuk ''q''.</code>
-** Jika ''p'' maka ''q'', dan sebaliknya.
+** <code>Jika ''p'' maka ''q'', dan sebaliknya.</code>
-** ''p'' ''iff q''
+** <code>''p'' ''iff q''</code>
 ===== Contoh 1 =====
@@ Line 177: / Line 177: @@
 == Teorema ==
-dua buah proposisi mejemuk, ''P'' (''p, q,...'') dan ''Q'' (''p, q,...'') disebut [[equivalen]] secara logika dilambangkan dengan
+dua buah proposisi mejemuk, <code>''P'' (''p, q,...'')</code> dan <code>''Q'' (''p, q,...'')</code> disebut [[equivalen]] secara logika dilambangkan dengan
   ''P'' (''p, q,...'') <big>⇔</big> ''Q'' (''p, q,...'')
 Jika <code>''P'' [[File:Bimplikasi.png|15x15px]] ''Q''</code>  [[Tautologi dan Kontradiksi|tautologi]]