Math

posted by Mark

1) a) Decide if (q  ( p~ q))~ p is a tautology using propositional equivalence and the
laws of logic.
b) Prove that the following argument is valid:
q
q r
p r
p
~
_________
~



c) Replace p, q and r in 1b) by statements and construct an argument.

No clue how to even start. Thank you

  1. mwlevin

    Many of the symbols aren't showing up. Try rewriting using ∧ and ∨, or & and |.

Respond to this Question

First Name

Your Answer

Similar Questions

  1. Logic

    Using the law of inference, prove if the below argument is valid. (P1) R -> B (P2) D V R (P3) B /D You may imply all rules of inference to figure out if it is valid.
  2. Chemistry

    I'm having a hard time with Redox and how to figure out which is redox Select all of the reactions that are redox reactions. I) Ca + 2H2O  Ca(OH)2 + H2 II) CaO + H2O  Ca(OH)2 III) Ca(OH)2 + H3PO4  Ca3(PO4)2 …
  3. Chemistry

    I'm having a hard time with Redox and how to figure out which is redox Select all of the reactions that are redox reactions. I) Ca + 2H2O  Ca(OH)2 + H2 II) CaO + H2O  Ca(OH)2 III) Ca(OH)2 + H3PO4  Ca3(PO4)2 …
  4. chemistry

    If the standard state of sufur is S8 (s), which of the following equations represents the standard enthalpy of formation of H2SO4 (ℓ) ?
  5. Chemistry

    If the standard state of sufur is S8 (s), which of the following equations represents the standard enthalpy of formation of H2SO4 (ℓ) ?
  6. chemistry

    9). What is the balanced equation for the acid–base reaction of nitrous acid with lithium hydroxide?
  7. Logic

    Truth tables can determine which of the following?
  8. Symbolic Logic

    1. ((∀x-Fx v ∀xGx) v -(∀xKx → -∃y∀z∃w-Dyzw)) & ((∀xFx & ∀x-Gx) v (∃xKx → ∀y∃z∀wDyzw)) ├ ∀x(((Fx → Gx) → (Kx → ∀y∃z∀wDyzw)) …
  9. calculus

    Let f x   coth x . Use the Graph software posted in Moodle to do the following: (a) Graph f x  . (b) Graph the tangent and normal lines to the graph of f x  at x 1. (c) …
  10. Logic

    Consider a propositional language with three propositional constants - mushroom, purple, and poisonous - each indicating the property suggested by its spelling. Using these propositional constants, encode the following English sentences …

More Similar Questions