Logical Biconditional - Rules of Inference

Rules of Inference

Like all connectives in first-order logic, the biconditional has rules of inference that govern its use in formal proofs.

Read more about this topic:  Logical Biconditional

Famous quotes containing the words rules of, rules and/or inference:

    Let’s start with the three fundamental Rules of Robotics.... We have: one, a robot may not injure a human being, or, through inaction, allow a human being to come to harm. Two, a robot must obey the orders given it by human beings except where such orders would conflict with the First Law. And three, a robot must protect its own existence as long as such protection does not conflict with the First or Second Laws.
    Isaac Asimov (1920–1992)

    For rhetoric, he could not ope
    His mouth, but out there flew a trope;
    And when he happen’d to break off
    I’ th’ middle of his speech, or cough,
    H’ had hard words ready to show why,
    And tell what rules he did it by;
    Samuel Butler (1612–1680)

    I have heard that whoever loves is in no condition old. I have heard that whenever the name of man is spoken, the doctrine of immortality is announced; it cleaves to his constitution. The mode of it baffles our wit, and no whisper comes to us from the other side. But the inference from the working of intellect, hiving knowledge, hiving skill,—at the end of life just ready to be born,—affirms the inspirations of affection and of the moral sentiment.
    Ralph Waldo Emerson (1803–1882)