Please enable JavaScript.
Coggle requires JavaScript to display documents.
|- (Q → (R ∨ W)) → (((P → Q) ∧ ¬W) → (P → R)), $ (v (A$B$C) = 0, v (A$B$C)…
|- (Q → (R ∨ W)) → (((P → Q) ∧ ¬W) → (P → R))
v (Q → (R ∨ W)) → (((P → Q) ∧ ¬W) → (P → R)) = 0
v (Q → (R ∨ W)) = 1
v (((P → Q) ∧ ¬W) → (P → R)) = 0
v (Q) = 0
v ((P → Q) ∧ ¬W) = 1
v (P → R) = 0
v (P) = 1
v (R) = 0
v (P → Q) = 1
1 more item...
v (R ∨ W) = 1
v (R) = 1
v ((P → Q) ∧ ¬W) = 1
v (P → R) = 0
v (P) = 1
v (R) = 0
1 more item...
v (W) = 1
v ((P → Q) ∧ ¬W) = 1
v (P → R) = 0
v (P) = 1
v (R) = 0
1 more item...
$
v (A$B$C) = 0
(BvC) = 0
B = 0
C = 0
(AvC) = 0
A = 0
C = 0
(AvB) = 0
A = 0
B = 0
v (A$B$C) = 1
(A^B) = 1
A = 1
B = 1
(A^C) = 1
A = 1
C = 1
(B^C) = 1
B = 1
C = 1
$
v (A$B$C) = 1
(AvB) = 0
A = 0
B = 0
(BvC) = 0
B = 0
C = 0
(AvC) = 0
A = 0
C = 0
v (A$B$C) = 0
(A^B) = 1
A = 1
B = 1
(A^C) = 1
A = 1
C = 1
(B^C) = 1
B = 1
C = 1
(((P ∨ R) → Q) → (¬(R$Q$P)))
v (((P ∨ R) → Q) → (¬(R$Q$P))) = 0
v ((P ∨ R) → Q) = 1
v (P V R) = 0
v (P) = 0
v (R) = 0
v (¬(R$Q$P)) = 0
v (R$Q$P) = 1
v (Q ^ P) = 1
v (Q) = 1
1 more item...
v (R ^ Q) = 1
v (R) = 1
1 more item...
v (R ^ P) = 1
v (R) = 1
1 more item...
Q = 1
v (¬(R$Q$P)) = 0
v (R$Q$P) = 1
v (Q ^ P) = 1
v (Q) = 1
v (P) = 1
v (R ^ P) = 1
v (R) = 1
v (P) = 1
v (R ^ Q) = 1
v (R) = 1
v (Q) = 1
|- (B → (P ∨ Q)) → (((A → B) ∧ ¬Q) → (A → P))
v ((B → (P ∨ Q)) → (((A → B) ∧ ¬Q) → (A → P))) = 0
v ((B → (P ∨ Q)) = 1. I
v (((A → B) ∧ ¬Q) → (A → P))) = 0
v (P ∨ Q) = 1
v (P) = 1
v ((A → B) ∧ ¬Q) = 1
v (A → P) = 0
v (A) = 1
v (P) = 0
1 more item...
v (Q) = 1
v ((A → B) ∧ ¬Q) = 1
v (A → P) = 0
v (A → B) = 1
(¬Q) = 1
1 more item...
v (B) = 0
v ((A → B) ∧ ¬Q) = 1
v (A → P) = 0
v (A → B) = 1
(¬Q) = 1
v (A) = 0
1 more item...
v (B) = 1
1 more item...
(A$B$C) → ¬(¬C → (¬A ∧ ¬B))
v ( (A$B$C) → ¬(¬C → (¬A ∧ ¬B)) ) = 0
v (A$B$C) = 1
v(¬(¬C → (¬A ∧ ¬B))) = 0
v(¬C → (¬A ∧ ¬B)) = 1
v (¬A ∧ ¬B) = 1
v (¬A) = 1
v (¬B) =1
v (A) = 0
v (B) = 0
3 more items...
v (¬C) = 0
v (C) = 1
v (AvB) = 0
v (A) = 0
v (B) = 0
v (AvC) = 0
v (A) = 0
v (C) = 0
1 more item...
v (BvC) = 0
v (B) = 0
v (C) = 0
1 more item...