Sentences Of TFL

Question 1

Main Connective

Answer 1

The last connective that was introduced in the construction of the sentence

Question 2

Scope

Answer 2

The subsentence of the main connective

Eg. (P & ( ~ ( R & Q) P))

For ~ , the scope is ~( R & Q )

                P & ( ~ ( R & Q)  P))
                              /        \
                             P        ~ ( R & Q)  P))
                                                        /        \
                                            ~ ( R & Q )    P
                                                      |
                                                ( R & Q )
                                                     /  \
                                                   R    Q

Question 3

Neither X or Y

Answer 3

~ ( X v Y )

Question 4

Either X or Y, but not both

Answer 4

(( X v Y) & ~ ( X & Y ))

Question 5

Unless X, Y

Answer 5

X v Y