Professional Documents
Culture Documents
Soal Latihan 2 Logika Matematika
Soal Latihan 2 Logika Matematika
¬(𝑃 → 𝑄) ≡ T
(𝑃 → 𝑄) ≡ F
(T → F) ≡ F
P = T dan Q = F
Dan
(¬𝑃 ⊕ ¬𝑄 → ¬𝑃 ∧ ¬𝑄) ≡ T
(F ⊕ T → F ∧ T) ≡ T
(T → F) ≡ T
F≡T
F
Kontradiksi
Soal 2
¬𝑃 ↔ 𝑄 ≡ F
F↔ T ≡ F
¬𝑃 = F dan Q = T
Atau
(¬𝑃 ⊕ 𝑄) ∧ (𝑃 → ¬𝑄) ≡ F
(F ⊕ T) ∧ (T → F) ≡ F
T∧F≡F
F≡ F
¬𝑃 ∨¬ 𝑄 = T
SOAL 3
Atau
kontradiksi
Soal 4
(𝑃 ↔ 𝑄 ∧ 𝑅) ∧ (𝑄 ∧ ¬𝑅 → ¬𝑃) ∧ ¬(𝑃 ↔ 𝑅) ≡ T
¬(𝑃 ↔ 𝑅) ≡ T
(𝑃 ↔ 𝑅) ≡ F
T↔F
F
P ≡ T dan R ≡ F
(𝑃 ↔ 𝑄 ∧ 𝑅) ∧ (𝑄 ∧ ¬𝑅 → ¬𝑃) ≡ T
(T ↔ 𝑄 ∧ F) ∧ (𝑄 ∧ T → F) ≡ T
(T ↔F) ∧ (F → F) ≡ T
F∧T≡T
F≡T
Dan
¬(𝑃 ↔ 𝑅) ≡ T
(𝑃 ↔ 𝑅) ≡ F
T↔F≡F
F≡F
(𝑃 ↔ 𝑄 ∧ 𝑅) ∧ (𝑄 ∧ ¬𝑅 → ¬𝑃) ≡ T
(T ↔ 𝑄 ∧ F) ∧ (𝑄 ∧ T → F) ≡ T
Soal 5
𝑅→𝑃=T
¬𝑃 ∧ ¬𝑅=F
F→F≡T
T
¬(¬𝑄 → ¬𝑃 ∧ ¬𝑅) ≡ T
(¬𝑄 → ¬𝑃 ∧ ¬𝑅) ≡ F
¬𝑄 = T
¬𝑃 ∧ ¬𝑅=F
(T → T ∧ T) ≡ F
T→T≡F
Soal 6
(¬𝑃 → 𝑅) ∧ (¬𝑄 → 𝑊) ∧ (𝑃 ∨ 𝑄 → 𝑊 ∧ 𝑅) ∧ P ≡ T
(𝑃 ∨ 𝑄 → 𝑊 ∧ 𝑅) ∧ P ≡ T
(T ∨ T → T ∧ T) ∧ T ≡ T
(T → T) ∧ T
T∧T
T
𝑃≡T
Dan
(¬𝑄 → 𝑊) ≡ T
F→T
T
Dan
(¬𝑃 → 𝑅) ≡ T
F→T
T
P∧W∧R