Contingent

Pembuktian Contingent.

Contingent adalah nilai pernyataan ada yang benar dan ada yang salah.

· HUKUM-HUKUM LOGIKA

A Ʌ 1 Ξ A

A V 0 Ξ A

A V 1 Ξ 1

A Ʌ 0 Ξ 0

A V ¬A Ξ 1

A Ʌ ¬A Ξ 0

A Ʌ A Ξ A

A V A Ξ A

¬¬A Ξ A

Contoh 1 : (A V 0 ) Ʌ (A V ¬A)

Ξ A Ʌ (A V ¬A)

Ξ A Ʌ 1

Ξ A

Contoh 2 : (A Ʌ ¬B) V (A Ʌ B Ʌ C)

Ξ (A Ʌ ¬A) V (A Ʌ (B Ʌ C))

Ξ A Ʌ (¬B V (B Ʌ C))

Ξ A Ʌ ((¬B V B) Ʌ (¬B V C)

Ξ A Ʌ (¬B V C))

Contoh 3 : (A → B) Ʌ (B→ A)

Ξ (¬A V B) Ʌ (¬B V A)

Ξ (B V ¬A) Ʌ (A V ¬B)

Ξ (A V ¬B) Ʌ (B V ¬A)

Anvita Riliani