{
    "unit": {
        "Appraisal": "ConversionToPropositional"
    },
    "title": "Galactic Logic Academy: Mastering Propositional Logic Conversion",
    "screens": [
        {
            "screen_type": "Text",
            "text": "Welcome, Cadet! You've been selected to join the Galactic Logic Academy's elite training program. Your mission is to master the art of converting natural language statements into propositional logic. This skill is essential for resolving intergalactic disputes and ensuring peace across the stars. Ready to begin? Let's dive in!",
            "question": null,
            "options": null,
            "correct_indices": null,
            "correct_text": null,
            "hints": null
        },
        {
            "screen_type": "Text",
            "text": "Propositional logic is a powerful tool for analyzing arguments and reasoning. It allows us to represent statements in a formal, structured way. Your first task is to understand the basic building blocks of propositional logic: propositions, connectives, and truth values.",
            "question": null,
            "options": null,
            "correct_indices": null,
            "correct_text": null,
            "hints": null
        },
        {
            "screen_type": "Text",
            "text": "A proposition is a statement that can be either true or false. For example, 'The starship is operational' is a proposition. Logical connectives like AND (∧), OR (∨), NOT (¬), and IMPLIES (→) help us combine propositions to form more complex statements.",
            "question": null,
            "options": null,
            "correct_indices": null,
            "correct_text": null,
            "hints": null
        },
        {
            "screen_type": "Text",
            "text": "To convert a natural language statement into propositional logic, identify the key propositions and their relationships. For example, the statement 'If the starship is repaired, it will fly' can be represented as P → Q, where P is 'The starship is repaired' and Q is 'The starship will fly.'",
            "question": null,
            "options": null,
            "correct_indices": null,
            "correct_text": null,
            "hints": null
        },
        {
            "screen_type": "Mcq",
            "text": "",
            "question": "Which of the following represents the statement 'If it rains, the ground will be wet' in propositional logic?",
            "options": [
                "P ∧ Q",
                "P → Q",
                "P ∨ Q",
                "¬P → Q"
            ],
            "correct_indices": [1],
            "correct_text": null,
            "hints": [
                "Identify the condition (P) and the result (Q)."
            ]
        },
        {
            "screen_type": "Text",
            "text": "Negation is another important concept in propositional logic. For example, the statement 'The starship is not operational' can be represented as ¬P, where P is 'The starship is operational.'",
            "question": null,
            "options": null,
            "correct_indices": null,
            "correct_text": null,
            "hints": null
        },
        {
            "screen_type": "Mcq",
            "text": "",
            "question": "How would you represent the statement 'The starship is not repaired' in propositional logic?",
            "options": [
                "P",
                "¬P",
                "P ∨ Q",
                "P → Q"
            ],
            "correct_indices": [1],
            "correct_text": null,
            "hints": [
                "Negation is represented by ¬."
            ]
        },
        {
            "screen_type": "Text",
            "text": "Conjunctions combine two propositions with AND (∧). For example, 'The starship is repaired and operational' can be represented as P ∧ Q, where P is 'The starship is repaired' and Q is 'The starship is operational.'",
            "question": null,
            "options": null,
            "correct_indices": null,
            "correct_text": null,
            "hints": null
        },
        {
            "screen_type": "Checkboxes",
            "text": "",
            "question": "Which of the following are examples of conjunctions in propositional logic? Select all that apply.",
            "options": [
                "P ∧ Q",
                "P ∨ Q",
                "¬P ∧ Q",
                "P → Q",
                "P ∧ ¬Q"
            ],
            "correct_indices": [0, 2, 4],
            "correct_text": null,
            "hints": [
                "Conjunctions use the AND (∧) operator."
            ]
        },
        {
            "screen_type": "Text",
            "text": "Disjunctions combine two propositions with OR (∨). For example, 'The starship is repaired or operational' can be represented as P ∨ Q, where P is 'The starship is repaired' and Q is 'The starship is operational.'",
            "question": null,
            "options": null,
            "correct_indices": null,
            "correct_text": null,
            "hints": null
        },
        {
            "screen_type": "Mcq",
            "text": "",
            "question": "How would you represent the statement 'The starship is repaired or operational' in propositional logic?",
            "options": [
                "P ∧ Q",
                "P ∨ Q",
                "¬P ∧ Q",
                "P → Q"
            ],
            "correct_indices": [1],
            "correct_text": null,
            "hints": [
                "Disjunctions use the OR (∨) operator."
            ]
        },
        {
            "screen_type": "Text",
            "text": "Congratulations, Cadet! You've completed the Galactic Logic Academy's unit on converting natural language statements into propositional logic. Your ability to translate complex arguments into formal logic will help maintain peace and order across the galaxy. The stars are counting on you!",
            "question": null,
            "options": null,
            "correct_indices": null,
            "correct_text": null,
            "hints": null
        }
    ]
}