- #1
E92M3
- 68
- 0
I was given a truth table and I must write a wff with exactly two two-place connective. I am new to logic and don't know where to start. I need to find wff a), b), c) and d).
C B A ... wff a)
T T T ... T
T T F ... F
T F T ... T
T F F ... F
F T T ... T
F T F ... T
F F T ... T
F F F ... T
A B C ...wff b)
T T T ... F
T T F ... T
T F T ... F
T F F ... F
F T T ... F
F T F ... T
F F T ... F
F F F ... T
I have no clue on these first two. I tried many but they all seemed not to work.
A B ... wff c)
T T ... F
T F ... T
F T ... T
F F ... T
I think I can do this one:
this is equivalent to ~(A&B) but I need to use two two place connectives so I wrote ~(A&(B&B)) is this correct? Also the question didn't specify whether I can use "~". can I use it anyway?
A ... wff d)
T ... T
F ... T
This one I can also manage but I'm not sure what is the right answer. This is equivalen to (Av~A) which I can write as ((A&A)v~A). However, I can also write ((A&A)->A) or ((A&A)<->A) aswell. I think there's a few more which is right?
C B A ... wff a)
T T T ... T
T T F ... F
T F T ... T
T F F ... F
F T T ... T
F T F ... T
F F T ... T
F F F ... T
A B C ...wff b)
T T T ... F
T T F ... T
T F T ... F
T F F ... F
F T T ... F
F T F ... T
F F T ... F
F F F ... T
I have no clue on these first two. I tried many but they all seemed not to work.
A B ... wff c)
T T ... F
T F ... T
F T ... T
F F ... T
I think I can do this one:
this is equivalent to ~(A&B) but I need to use two two place connectives so I wrote ~(A&(B&B)) is this correct? Also the question didn't specify whether I can use "~". can I use it anyway?
A ... wff d)
T ... T
F ... T
This one I can also manage but I'm not sure what is the right answer. This is equivalen to (Av~A) which I can write as ((A&A)v~A). However, I can also write ((A&A)->A) or ((A&A)<->A) aswell. I think there's a few more which is right?