2

For the exam that I am taking, propositional always comes up with identical questions. These include writing a sentences in propositional logic, which I can do. But also drawing a truth table for propositional logic, which I can't do. I find It extremely difficult.

For example, the question

Draw the truth table for the following propositional formula: enter image description here

I understand the truth tables. And is only true when both p and q are true, or is only false when both P and Q are false. Not is opposites so if false then true, if true then false.

However, when it comes to applying these to e.g. the question above, i'm lost from the very beginning. It's pretty important I understand this because it's worth 5 marks = )

lsp
  • 4,745
user119325
  • 127
  • 1
  • 6
  • 1
    Here's one example of making a truth table that I did a while back... Can you follow how I made this one? http://math.stackexchange.com/questions/379680/how-can-i-use-a-truth-table-to-show-that-this-is-a-tautology/379685#379685 – apnorton Jan 09 '14 at 13:52
  • Not really tbhh – user119325 Jan 09 '14 at 14:10
  • Do you at least know how to find how many rows the associated truth table will have? – Dan Rust Jan 09 '14 at 14:14
  • You also missed the description of one basic operator "if...then" or "implies". $p \implies q$ is only false if $p$ is true and $q$ is false. Although, I suppose you already know that... – lsoranco Jan 09 '14 at 14:35
  • 2^n, I've kinda figured it all out now. However one problem, when you have something like not(p^q) what are u supposed to not just p or p and q? – user119325 Jan 09 '14 at 14:36
  • 1
    If the $p\wedge q$ is in brackets, so it's $¬(p\wedge q)$ then you first evaluate $p\wedge q$ and then evaluate the negation of this. – Dan Rust Jan 09 '14 at 14:37
  • ah ok! :D tyyyy – user119325 Jan 09 '14 at 14:49
  • I'm currently doing http://vvcap.net/db/arS8FQs1VaTg2v5KRHOE.htp I've done all the tables except the final one for it. Since if is only false when p is true and q is false..how do you decide which is p and which Is q when iffing them together? – user119325 Jan 09 '14 at 15:07

1 Answers1

3

So we are supposed to make the truth table for the following propositional formula: $$(p\lor \lnot q )\Rightarrow(q\land r).$$ The first observation is that we'll need $2^3$ rows (we have $p,q$ and $r$). The second is that we'll have to determine also the possible truth values for $\lnot q$, then for $(p\lor\lnot q)$ then for $(q\land r)$, and then we can finally conclude the possible truth values for our original proposition. $$\begin{array}{|c|c|c|c|c|c|c|c|}\hline \color{green}{p} & \color{green}{q} & \color{green}{r} & \lnot q & (p\lor\lnot q)& (q\land r) &(p\lor \lnot q )\Rightarrow(q\land r) \\ \hline \color{royalblue}{1} & \color{royalblue}{1} & \color{royalblue}{1} & \color{#C00}{0} & \color{royalblue}{1}& \color{royalblue}{1}&\color{royalblue}{1} \\ \hline \color{royalblue}{1} & \color{royalblue}{1} & \color{#C00}{0} & \color{#C00}{0} & \color{royalblue}{1}& \color{#C00}{0}&\color{#C00}{0} \\ \hline \color{royalblue}{1} & \color{#C00}{0} & \color{royalblue}{1} & \color{royalblue}{1} & \color{royalblue}{1}& \color{royalblue}{1} &\color{#C00}{0} \\ \hline \color{royalblue}{1} & \color{#C00}{0} & \color{#C00}{0} & \color{royalblue}{1} & \color{royalblue}{1}& \color{#C00}{0}&\color{#C00}{0} \\ \hline \color{#C00}{0} & \color{royalblue}{1} & \color{royalblue}{1} & \color{#C00}{0} & \color{#C00}{0}& \color{royalblue}{1}&\color{royalblue}{1} \\ \hline \color{#C00}{0} & \color{royalblue}{1} & \color{#C00}{0} & \color{#C00}{0} & \color{#C00}{0}& \color{#C00}{0}&\color{royalblue}{1} \\ \hline \color{#C00}{0} & \color{#C00}{0} & \color{royalblue}{1} & \color{royalblue}{1} & \color{royalblue}{1}& \color{#C00}{0}&\color{#C00}{0} \\ \hline \color{#C00}{0} & \color{#C00}{0} & \color{#C00}{0} & \color{royalblue}{1} & \color{royalblue}{1}& \color{#C00}{0}&\color{#C00}{0} \\ \hline \end{array}$$

Workaholic
  • 6,763