Browsing all problems

  • Chapter Six #12

    • 1) M↔(B&E)
    • 2) L→B
    • 3) E
    Conclusion: L→M
    Solve!

  • Chapter Six #15

    • 1) (E&F)→L
    • 2) M→R
    • 3) (R&L)→N
    Conclusion: M→((E&F)→N)
    Solve!

  • Chapter Six #16

    • 1) T→M
    • 2) E→R
    • 3) R→P
    • 4) T∨E
    Conclusion: M∨P
    Solve!

  • Chapter Six #17

    • 1) W→(M&R)
    • 2) (R→N)&(E→W)
    Conclusion: (E→N)&M
    Solve!

  • Chapter Six #18

    • 1) Q→J
    • 2) (J&L)→R
    Conclusion: (L&Q)→R
    Solve!

  • Chapter Six #19

    • 1) (D∨A)→(G∨P)
    • 2) (P→K)&E
    • 3) G→K
    Conclusion: (A→K)&E
    Solve!

  • Chapter Six Sample Quiz #1, Proof #1

    • 1) N→S
    • 2) (S∨G)→L
    Conclusion: N→L
    Solve!

  • Chapter Six Sample Quiz #1, Proof #2

    • 1) (N&P)→Y
    • 2) J→N
    Conclusion: (P&J)→Y
    Solve!

  • Chapter Six Sample Quiz #1, Proof #3

    • 1) A∨B
    • 2) A→E
    • 3) B→C
    • 4) (C∨S)→E
    Conclusion: E
    Solve!

  • Chapter Six Sample Quiz #2, Proof #1

    • 1) (A&B)→M
    • 2) A
    • 3) M→H
    Conclusion: B→H
    Solve!

  • Chapter Six Sample Quiz #2, Proof #2

    • 1) (K∨T)→(G&R)
    • 2) (R&M)→J
    Conclusion: (M&K)→J
    Solve!

  • Chapter Six Sample Quiz #2, Proof #3

    • 1) P→N
    • 2) N→G
    • 3) (N↔P)→B
    • 4) G→P
    Conclusion: B
    Solve!

  • Chapter Six Sample Quiz #3, Proof #1

    • 1) (A∨B)→H
    • 2) E→A
    Conclusion: E→H
    Solve!

  • Chapter Six Sample Quiz #3, Proof #2

    • 1) G→(L&B)
    • 2) (B&R)→N
    Conclusion: (R&G)→N
    Solve!

  • Chapter Six Sample Quiz #3, Proof #3

    • 1) (A&B)→R
    • 2) R→T
    • 3) (A→T)→C
    • 4) B
    Conclusion: C
    Solve!

  • Chapter Three Packet #1

    • 1) A
    • 2) A→B
    • 3) B→C
    • 4) C→D
    Conclusion: D
    Solve!

  • Chapter Three Packet #2

    • 1) A→B
    • 2) B→(C→D)
    • 3) A
    • 4) C
    Conclusion: D
    Solve!

  • Chapter Three Packet #3

    • 1) N
    • 2) N→M
    • 3) M→R
    Conclusion: R
    Solve!

  • Chapter Six Packet #1

    • 1) A→B
    • 2) B→C
    Conclusion: A→C
    Solve!

  • Chapter Six Packet #3

    • 1) (A∨B)→C
    Conclusion: A→C
    Solve!

  • Chapter Six Packet #4

    • 1) G→C
    • 2) L→C
    Conclusion: (G∨L)→C
    Solve!

  • Chapter Six Packet #5

    • 1) A→(B→C)
    Conclusion: (A&B)→C
    Solve!

  • Chapter Six Packet #6

    • 1) R&(N→M)
    • 2) M↔K
    Conclusion: N→K
    Solve!

  • Chapter Six Packet #7

    • 1) -T→K
    • 2) K→V
    • 3) V→R
    Conclusion: -T→(K&R)
    Solve!

  • Chapter Six Packet #8

    • 1) A→B
    • 2) B→C
    • 3) C→D
    • 4) D→E
    Conclusion: A→E
    Solve!

  • Chapter Six Packet #9

    • 1) B→(H&W)
    • 2) K&O
    Conclusion: O&(B→H)
    Solve!

  • Chapter Six Packet #10

    • 1) -W→M
    • 2) Z→J
    Conclusion: (-W&Z)→(M&J)
    Solve!

  • Chapter Six Packet #11

    • 1) (M∨(T→L))→K
    • 2) R→L
    • 3) T→R
    Conclusion: K
    Solve!

  • Chapter Six Packet #12

    • 1) H∨T
    • 2) H→R
    • 3) T↔R
    • 4) A→(M&L)
    Conclusion: A→(R&M)
    Solve!

  • Chapter Six Packet #13

    • 1) (X&Y)→Z
    Conclusion: Y→(X→Z)
    Solve!

  • Chapter Six Packet #14

    • 1) T∨G
    • 2) T→A
    • 3) G↔(A&Y)
    Conclusion: A
    Solve!

  • Chapter Six Packet #15

    • 1) N→(S→L)
    • 2) S&(L→P)
    Conclusion: N→P
    Solve!

  • Chapter Six Packet #16

    • 1) L→(R&E)
    • 2) R→H
    • 3) (L→H)→W
    Conclusion: W
    Solve!

  • Chapter Six Packet #17

    • 1) H↔M
    • 2) H→(R&T)
    • 3) N&(R→-P)
    Conclusion: (M→-P)∨K
    Solve!

  • Chapter Six Packet #18

    • 1) A→(B&C)
    • 2) B→D
    • 3) C→E
    Conclusion: A→(D&E)
    Solve!

  • Chapter Six Packet #19

    • 1) M→(N&G)
    • 2) N→E
    • 3) (M→E)→Z
    Conclusion: Z
    Solve!

  • Chapter Six Packet #20

    • 1) (K∨P)→-S
    • 2) -S→(H&R)
    Conclusion: K→R
    Solve!

  • Chapter Six Packet #21

    • 1) (L→B)→J
    • 2) (A&L)→B
    • 3) A
    Conclusion: J
    Solve!

  • Chapter Seven Packet #1

    • 1) -A→B
    • 2) -B
    Conclusion: A
    Solve!

  • Chapter Seven Packet #2

    • 1) -(H∨R)→-M
    • 2) M
    Conclusion: H∨R
    Solve!

  • Chapter Seven Packet #3

    • 1) K→B
    • 2) -(K&B)
    Conclusion: -K
    Solve!

  • Chapter Seven Packet #4

    • 1) -R→-P
    Conclusion: P→R
    Solve!

  • Chapter Seven Packet #5

    • 1) U
    • 2) U→E
    • 3) --Q→-E
    Conclusion: -Q
    Solve!

  • Chapter Seven Packet #6

    • 1) L→T
    • 2) -T
    Conclusion: -L
    Solve!

  • Chapter Seven Packet #7

    • 1) -(I∨L)
    Conclusion: -(I&L)
    Solve!

  • Chapter Seven Packet #8

    • 1) A→B
    • 2) -(A&B)
    Conclusion: M∨-A
    Solve!

  • Chapter Seven Packet #9

    • 1) C
    • 2) C→(J∨A)
    • 3) J→-S
    • 4) A→-S
    • 5) -M→S
    Conclusion: M
    Solve!

  • Chapter Seven Packet (Word Problem) #1

    • 1) P→D
    • 2) -D
    Conclusion: -P
    Solve!

  • Chapter Seven Packet (Word Problem) #2

    • 1) -S→H
    Conclusion: -H→S
    Solve!

  • Chapter Seven Packet (Word Problem) #3

    • 1) R
    • 2) R→B
    • 3) --M→-B
    Conclusion: -M
    Solve!

Browse By Tag: