Scribd Logo
Upload

Welcome to Scribd!

  • Discrete Structures

    Uploaded by

    waleed_saghar
    19 views3 pages
    The document is a student's assignment for a Discrete Structures course. It contains instructions to submit through the learning management system and attempt all questions. The first question defines the rule of instantiation with an example. The second question asks the student to write a given statement in modus ponens logical form, where if a number is even then its square is even, and K is a particular even number, then the square of K is even.

    Original Description:

    csc102_assignment_2

    Copyright

    © © All Rights Reserved

    Available Formats

    DOC, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    The document is a student's assignment for a Discrete Structures course. It contains instructions to submit through the learning management system and attempt all questions. The first question defines the rule of instantiation with an example. The second question asks the student to write a given statement in modus ponens logical form, where if a number is even then its square is even, and K is a particular even number, then the square of K is even.

    Copyright:

    © All Rights Reserved
    Download as DOC, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    19 views3 pages

    Discrete Structures

    Uploaded by

    waleed_saghar
    The document is a student's assignment for a Discrete Structures course. It contains instructions to submit through the learning management system and attempt all questions. The first question defines the rule of instantiation with an example. The second question asks the student to write a given statement in modus ponens logical form, where if a number is even then its square is even, and K is a particular even number, then the square of K is even.

    Copyright:

    © All Rights Reserved
    Download as DOC, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    of 3

    COMSATS Institute of Information technology.

    Virtual Campus

    SECOND ASSIGNMENT SPRING 2015


    TOTAL MARKS:

    10

    Student Name: WALEED SAGHER


    Registration No.: CIIT/FA14-BSSE-068/CVC

    DISCRETE STRUCTURES
    CSC102

    Instructions for attempting paper:


    1. Submission through LMS is mandatory.
    2. No late submissions would be acknowledged in any case.
    Attempt all questions.
    Page 1 of 3

    COMSATS Institute of Information technology.


    Virtual Campus

    Question No .01 Define rule of Instantiation with example.


    Answer

    (5 points)

    Rule of instantiation:
    If some property is true for everything in the domain then it is true for a particular member of that
    domain.

    Question No. 02: Write the following Statement in Modes Ponens form.

    (5 points)

    If a number is even, then its square is even.


    K is a particular number that is even.

    Square of k is even.

    Solution
    Page 2 of 3

    COMSATS Institute of Information technology.


    Virtual Campus

    Page 3 of 3

    You might also like