9.3ex I
PLIF: Predicate Logic with Identity and Functions

Multiple Choice: Click on the correct answer and the page will jump forward to the next problem.

 

1. Which of the following terms is well formed?
a. $x b. *x c. *xx d. $$x

2. Which of the following terms is well formed?
a. **a b. *aa c. aaa d. ***

3. Which of the following is a formula of PLIF?
a. **a b. **a>**z c. Q**a>P**z d. **a>P**z

4. Which of the following is a formula of PLIF?
a. A>B b. A{xyz}>B{xyz} c. A{x$y$z}|Bxyz

5. Which of the following is NOT a formula of PLIF?
a. Gxy=T{z+k}*a b. Gxy=T{z+k}a
c. Gxy=T*{z+k}*a d. Gxy=*T{z+k}*a

6. Which of the following is a SENTENCE of PLIF
a. (^x)(Tx>(%y)G{x|y}az) b. (^x)(^z)(Txy>(%y)G{x|y}az)
c. (^x)(^z)(Txz>(%y)G{x|y}az) d. None of the above.

Show results so far...

 

 

 

 

 

 

 

 

 

 

 

Good, you've come to the end.
You successfully completed...