Exam 9: Propositional Logic-Propositions

arrow
  • Select Tags
search iconSearch Question
flashcardsStudy Flashcards
  • Select Tags

If neither conjunct of a conjunction is a contingency, then the conjunction itself is a:

(Multiple Choice)
4.8/5
(37)

Put the following statement into symbolic notation, using appropriate letters to abbreviate atomic components. The wind blew and the rain fell, but they still played and it was a great game.

(Short Answer)
4.9/5
(39)

If neither main component of a biconditional is a tautology, then the biconditional itself is a:

(Multiple Choice)
4.8/5
(40)

Identify the main connective in the following statement. [(G • O) \bigvee (A \supset ~M)] \equiv [(G • O) \bigvee (A \supset ~M)]

(Multiple Choice)
4.8/5
(34)

The negation of a self-contradiction is itself a:

(Multiple Choice)
4.8/5
(31)

In the truth table for the statement form ~(p \supset p), the column of truth values underneath the main connective should be FF.Therefore, this statement form is a:

(Multiple Choice)
4.9/5
(42)

In the truth table for the statement form p \bigvee p, the column of truth values underneath the main connective should be TF.Therefore, the statement form is a:

(Multiple Choice)
4.8/5
(27)

If only one conjunct of a conjunction is a tautology, then the conjunction itself is a:

(Multiple Choice)
4.9/5
(37)

The statement form p • q is:

(Multiple Choice)
4.7/5
(33)

Prove the following claim: A disjunction with one tautological disjunct must itself be a tautology.

(Essay)
4.9/5
(27)

If only one disjunct of a disjunction is a tautology, then the disjunction itself is a:

(Multiple Choice)
4.8/5
(29)

Two statements are equivalent.Therefore:

(Multiple Choice)
4.9/5
(37)

In the truth table for the statement form p \supset q, the column of truth values underneath the antecedent should be:

(Multiple Choice)
4.7/5
(37)

For the statement below, classify the statement by identifying the main connective and construct a truth table. (P \equiv Q) \bigvee (P • ~Q)

(Essay)
4.9/5
(26)

In the truth table for the statement form ~(p • q), the column of truth values underneath the main connective should be FTTT.Therefore, this statement form is a:

(Multiple Choice)
4.7/5
(32)

For the following statement, identify (a) the atomic statements; (b) the main components; (c) the connectives; and (d) the main connective. (N \equiv R) \supset B

(Essay)
4.8/5
(36)

For the following statement, identify (a) the atomic statements; (b) the main components; (c) the connectives; and (d) the main connective. A \supset B

(Essay)
4.9/5
(25)

For the following statement, identify (a) the atomic statements; (b) the main components; (c) the connectives; and (d) the main connective. A \equiv (B \equiv C)

(Essay)
4.9/5
(34)

If both main components of a biconditional are contingencies, then the biconditional itself is a:

(Multiple Choice)
4.8/5
(42)

If only one conjunct of a conjunction is a self-contradiction, then the conjunction itself is a:

(Multiple Choice)
4.9/5
(40)
Showing 61 - 80 of 223
close modal

Filters

  • Essay(0)
  • Multiple Choice(0)
  • Short Answer(0)
  • True False(0)
  • Matching(0)