Know off by heart the standard rules + variant rules for the inference system (natural deduction).
Know about predicate logic and proportional logic.
Does anyone have a technique in how to approach natural deduction questions, because honestly I can't rack my mind around it. I know practice will help me get better an all, and I have been doing tons of practice. But ever time a new question comes up I just get completely stuck....
If someone can give me some tips/heuristics or something to help me, that would be awesome. Something like what to watch out for if the conclusion is supposed to be this, then approach it in this manner...etc . Basic mathematical language type explanations would be preferable.
I have been having trouble with the following example, as of late. If you could base your answers on this,that would be awesome.
¬(P∧ ¬Q) , R ⊢ P → (Q ∧ R)
Could someone tell me the distinct difference between ⊢ and ⊨ ?
What is meant by soundness and completeness ? if you could link this too both predicate logic and proportional logic, that would be awesome.
Again basic mathematical language type explanations would be preferable.
Thanks in advance.