Untuk menentukan apakah pernyataan tersebut merupakan tautologi, kontradiksi, atau kontingensi, kita dapat menggunakan tabel kebenaran. Pernyataan yang diberikan adalah (PV~q) => ~P.

Mari kita buat tabel kebenarannya dengan mempertimbangkan nilai kebenaran P dan q, serta menghitung nilai kebenaran untuk setiap bagian pernyataan.

```

| P | q | ~q | PV~q | ~P | (PV~q) => ~P |

|---|---|----|------|----|--------------|

| T | T | F | T | F | T |

| T | F | T | T | F | T |

| F | T | F | F | T | T |

| F | F | T | T | T | T |

```

Berdasarkan tabel kebenaran di atas, kita dapat melihat bahwa setiap baris memiliki nilai kebenaran yang sama untuk pernyataan `(PV~q) => ~P`. Nilai kebenaran tersebut adalah `T` dalam semua kasus.

Karena `(PV~q) => ~P` selalu bernilai benar (`T`), maka pernyataan tersebut merupakan tautologi.