Question: I ONLY NEED 6 . 1 b and 6 . 1 h please, thanks Exercise 6 . 1 For each of the following wffs ,

I ONLY NEED 6.1b and 6.1h please, thanks
Exercise 6.1 For each of the following wffs, give a countermodel for every system in which it is not valid, and give a semantic validity proof for every system in which it is valid. When you use a single countermodel or validity proof for multiple systems, indicate which systems it is good for.
a)*[Pdiamond(QR)]diamond[Q(PdiamondR)]
b) diamond(P??diamondQ)(diamondPdiamondQ)
c)(PvvdiamondQ)(PvvdiamondQ)
d
e)(P??Q)(diamondPdiamondQ)
f)(PQ)(PQ)
g
h) diamonddiamondPdiamondP
i)[(PP)P](diamondPP)
I ONLY NEED 6 . 1 b and 6 . 1 h please, thanks

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Programming Questions!