kontraposisi dari pernyataan jika x bilangan asli maka x lebih besar sama dengan 1 adalah

Logika
Kontraposisi (p -> q)  ≡  - q --> ~ p

p -> q ≡ jika x bilangan asli maka x ≥ 1
p = x bilangan asli
q = x  ≥ 1
Kontra posisi  ≡ ~q --> ~ p
" jika x > 1  maka x bukan bilangan asli "