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)…

- - - - 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...
- - - - C = 0
  - - - C = 0
  - - - B = 0
- - - - B = 1
  - - - C = 1
  - - - C = 1
- - - - B = 0
  - - - C = 0
  - - - C = 0
- - - - B = 1
  - - - C = 1
  - - - C = 1
- - - - 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...
    - - 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
- - - - 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...
- - - - 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...

Create your own diagrams like this for free with Coggle

made for free at coggle.it

|- (Q → (R ∨ W)) → (((P → Q) ∧ ¬W) → (P → R))

v (Q) = 1

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 (R ∨ W) = 1

v (R) = 1

v (W) = 1

v ((P → Q) ∧ ¬W) = 1

v (P → R) = 0

v (P) = 1

v (R) = 0

v (P → Q) = 1

v (¬W) = 1

v (W) = 0

v (P) = 0

v (Q) = 1

v ((P → Q) ∧ ¬W) = 1

v (P → R) = 0

v (P) = 1

v (R) = 0

v (P → Q) = 1

v (¬W) = 1

v (W) = 0

v (P) = 0

v (Q) = 1

v ((P → Q) ∧ ¬W) = 1

v (P → R) = 0

v (P) = 1

v (R) = 0

v (P → Q) = 1

v (¬W) = 1

v (W) = 0

v (P) = 0

v (Q) = 1

$

v (A$B$C) = 0

(BvC) = 0

(AvC) = 0

(AvB) = 0

B = 0

C = 0

A = 0

C = 0

A = 0

B = 0

v (A$B$C) = 1

(A^B) = 1

(A^C) = 1

(B^C) = 1

A = 1

B = 1

A = 1

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

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 (B) = 0

v (P) = 1

v (Q) = 1

v ((A → B) ∧ ¬Q) = 1

v (A → P) = 0

v (A → B) = 1

(¬Q) = 1

v (A) = 0

v (B) = 1

x

x

v ((A → B) ∧ ¬Q) = 1

v (A → P) = 0

v (A → B) = 1

(¬Q) = 1

Q = 0

x

v ((A → B) ∧ ¬Q) = 1

v (A → P) = 0

v (A) = 1

v (P) = 0

x

$

v (A$B$C) = 1

(AvB) = 0

A = 0

(BvC) = 0

(AvC) = 0

B = 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

B = 0

A = 0

C = 0

v (P) = 0

v (R) = 0

v (¬(R$Q$P)) = 0

v (R$Q$P) = 1

v (Q ^ P) = 1

v (Q) = 1

v (R ^ Q) = 1

v (R) = 1

v (R ^ P) = 1

v (R) = 1

v (P) = 1

v (P) = 1

v (Q) = 1

(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 (¬(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

x

x

x

v (¬C) = 0

v (¬B) =1

v (A) = 0

v (B) = 0

v (C) = 1

v (AvB) = 0

v (AvC) = 0

v (BvC) = 0

v (A) = 0

v (B) = 0

v (A) = 0

v (C) = 0

v (B) = 0

v (C) = 0

x

x

v (AvB) = 0

v (A) = 0

v (B) = 0

v (AvC) = 0

v (A) = 0

v (C) = 0

v (BvC) = 0

v (B) = 0

v (C) = 0