Državna Matura Logic

Introductory formal logic: concepts and definitions, the logic of propositions including categorical relations, propositional and predicate calculus with quantifiers, validity and inference, informal fallacies, and basic modal notions. Expect formalisation tasks, truth tables, proofs and short written justifications rather than general-knowledge philosophy.

No. The paper mixes objective items with constructed responses, including short answers and longer tasks where you must produce a derivation, counterexample or written explanation. Because partial credit depends on visible working, practise writing steps clearly instead of jumping to answers.

It is roughly at the level of a well-taught first-year secondary logic course, but the formal rigour is higher than most classroom tests. The difficult parts are usually quantifier scope, multiple generality and choosing the right proof strategy, not the basic connectives.

The national examination authority publishes the current duration, structure and scoring rules for each exam session. These change between sessions, so consult its official website for the binding figures instead of relying on older or unofficial sources.

Retake and improvement options are governed by the current Matura regulations, which set out eligibility, deadlines and how many attempts are allowed. Read the official rulebook for your session on the examination authority's website before planning a repeat attempt.

Start with concepts, definitions and the logic of propositions, because everything later depends on them. Then move to propositional calculus, master truth tables and natural deduction, and only then add predicate logic with quantifiers. Fallacies and modal elements are best revised last.

Mixing up necessary and sufficient conditions in definitions, confusing contrary with contradictory opposition, misplacing negation across a quantifier, and using a rule outside its restrictions. Also common: skipping justification lines in proofs and failing to check whether a counterexample really satisfies the premises.

Translate short Croatian sentences into notation daily, then translate back and compare with the original. Drill words like 'only if', 'unless', 'necessary' and 'all except', and build a personal list of sentences you got wrong. Accuracy in translation prevents most later errors in proofs.

You should be able to reconstruct them instantly and use them to test tautologies, equivalence and validity. Memorising is fine, but understanding why each connective has its table matters more, especially for conditional and biconditional statements, which cause most intuitive errors.

The national examination authority publishes the subject catalogue, sample papers, session dates and administrative instructions on its official website. Treat that site as the only authoritative source for the specification and current deadlines, and check it again before each exam session.