Definitions

by Osama M. Khaled — last modified 2022-06-15T02:41:13+01:00

Essential definitions to understand formal logic

Questions #: 15
Pass Score: 80.0%

    A ______ is a sentence that is either true or false

    statement
    proposition
    any one of the above words

    Capital letters near the beginning of the alphabet, such as A, B, and C, are used to represent statements and are called statement ______

    Missing

    The following expression is called the ______ of A and B

    A ∧ B

    conjunction
    bond
    link
    relation

    A and B in the following expression are called ___________

    A ∧ B

    terms
    parts
    entities
    conjuncts

    The following expression is called the ______ of A and B

    A ∨ B

    conjunction
    disjunction
    link
    relation

    A and B in the following expression are called ___________

    A ∨ B

    terms
    parts
    disjuncts
    conjuncts

    The logical connective in the following statement is called ____________

    A → B

    leading
    ascending
    production
    implication

    What do you call A in the following statement

    A → B

    antecedent
    condition
    test
    input

    What do you call B in the following statement

    A → B

    result
    consequent
    end
    goal

    The following connectives are called

    ∧ ∨ → ↔

    dual connectives
    condition connectives
    double connectives
    binary connectives

    The following connectives are called binary connectives because

    ∧ ∨ → ↔

     
    they join two expressions together to produce a third expression
    their shapes are binary
    they connect any statements
    they connect true and false statements

    A ________ is a connective acting on expression to produce a second expression

    binary expression
    unary expression
    triple expression
    none expression

    A logical statement, or expression, that is a legitimate string is called a well-formed ______

    statement
    expression
    formula
    sentence

    In the following statement

     A→ B

    A stands for (1)___________ statement and B stands for the (2)_____________ statement

    Please drag and drop the selected option in the right place or type it instead
    consequent
    antecedent

    In a well-formed formula, the connective to be applied last is called the ______ connective

    lead
    main
    initial
    pivot