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

mwlevin
Many of the symbols aren't showing up. Try rewriting using ∧ and ∨, or & and .
Respond to this Question
Similar Questions

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. 
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 … 
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 … 
chemistry
If the standard state of sufur is S8 (s), which of the following equations represents the standard enthalpy of formation of H2SO4 (ℓ) ? 
Chemistry
If the standard state of sufur is S8 (s), which of the following equations represents the standard enthalpy of formation of H2SO4 (ℓ) ? 
chemistry
9). What is the balanced equation for the acidâ€“base reaction of nitrous acid with lithium hydroxide? 
Logic
Truth tables can determine which of the following? 
Symbolic Logic
1. ((∀xFx v ∀xGx) v (∀xKx → ∃y∀z∃wDyzw)) & ((∀xFx & ∀xGx) v (∃xKx → ∀y∃z∀wDyzw)) ├ ∀x(((Fx → Gx) → (Kx → ∀y∃z∀wDyzw)) … 
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) … 
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 …