A1 Q2

[Roman]

Hi,

I was hoping someone could help me.

For Q2, to "show" that the set {*} is adequate, is it enough to find
equivalent formulas (formed using the * connective from that set) to
each well formed formula?

[Roman]

Post by Roman
Hi,
I was hoping someone could help me.
For Q2, to "show" that the set {*} is adequate, is it enough to find
equivalent formulas (formed using the * connective from that set) to
each well formed formula?

Basically I'm just following the definition of an adequate set...

[Roman]

Post by Roman
I was hoping someone could help me.
For Q2, to "show" that the set {*} is adequate, is it enough to find
equivalent formulas (formed using the * connective from that set) to
each well formed formula?

Yes, this is correct.
You must show that all well-formed propositional formulae have
eqvivalent forms just using the * connective.
-Omer

Do we have to show how we come up with these formulas or just show how
they are equivalent?

I ask this because the only way I see it being done is just trial and
error...

[Omer Beg]

Post by Roman
I was hoping someone could help me.
For Q2, to "show" that the set {*} is adequate, is it enough to find
equivalent formulas (formed using the * connective from that set) to
each well formed formula?

Yes, this is correct.
You must show that all well-formed propositional formulae have
eqvivalent forms just using the * connective.
-Omer

Do we have to show how we come up with these formulas or just show how they
are equivalent?
I ask this because the only way I see it being done is just trial and
error...

You just have to show that they are equivalent.

[Omer Beg]

Post by Roman
I was hoping someone could help me.
For Q2, to "show" that the set {*} is adequate, is it enough to find
equivalent formulas (formed using the * connective from that set) to each
well formed formula?

Yes, this is correct.
You must show that all well-formed propositional formulae have eqvivalent
forms just using the * connective.

-Omer