Q2

Posted by Tazz
Announcements Last Post
SoC Curricula 09/30/2017 01:08PM
Demarcation or scoping of examinations and assessment 02/13/2017 07:59AM
School of Computing Short Learning Programmes 11/24/2014 08:37AM
Unisa contact information 07/28/2011 01:28PM
 Q2 May 30, 2011 12:00PM Registered: 8 years ago Posts: 363 Rating: 0
(i) ????
(ii) Used Def 1.36
(iii) Used Theorem 1.37
 Re: Q2 May 30, 2011 01:54PM Registered: 10 years ago Posts: 3,496 Rating: 1
i. Something that can be proven without premises.
In shorthand: "... one zilch here ..." |- "Some Snazzy Greek Letter Here"

But that's a "COS261 answer", so I need to look up the new version.

ii. OK I go for the earlier style answer first, and then I'll look up the book.
A tautology is something whose truth table evaluates to T for every possible valuation of the atomic propositions of its premises.

T
T
T
...
...

Then we have T whenever all T: That's "entails" (falls short of a tautology).

So now I look and see how wildly wrong I am...
Tautology ... almost exactly right. Neat shorthand answer would be " ... zilch ..." "|=" Phi. So a tautology is to semantic entailment as a theorem is to proof-by-rules.

And I'm not too terribly wrong with the "entails" story either.

Phi. Rho. Chi. Phi2. More Premises Here. |= Poseidon.

The symbol |= is expressed in English as "semantically entails", meaning those premises semantically entail some conclusion. (Taut has no prem).

But what does "semantically entails" mean?? ... Whenever ... (see up there somewhere, above).

iii. These are logically equivalent things. They express exactly the same relationship in different ways.

So one could expand on that and say that Soundness and Completeness are equivalent.

Point iii could do with a bit of a critique....
 Re: Q2 May 30, 2011 02:52PM Registered: 8 years ago Posts: 363 Rating: 0
Keep in mind tht the quest is only worth 2 marks and I dnt think we supposed to giv a lengthy proof...
 Re: Q2 May 30, 2011 02:58PM Registered: 10 years ago Posts: 3,496 Rating: 1
Outside the exam room I find saying it several different ways sometimes helps it stick a bit better. Yes, in an exam one would want to be a lot more terse. Sadly, sometimes I get distracted by interesting questions during exams ...
Sorry, only registered users may post in this forum.