W3 Logical Connectives

• What are the 5 logical connectives?

  Negation

  Conjunction

  Disjunction

  Conditional

  Biconditional
• The negation asserts something that is not the case or it simply reverses as statement. It is symbolized by placing this symbol '-' or '~' before the sentence-letter.
• This type of logical connective put two sentences together and claim that they are both true?

  Conjunction
• Conjunctions use the ampersand & or ^ symbol in logical connectives.
• This type of logical connectives is an 'or' sentence. Which claims that at least one of two sentences are true?

  DISJUNCTION
• A conditional (implication) statement becomes false if its hypothesis is true but the conclusion is false.
• In conditional statements, the 'p' is the hypothesis, or antecedent, or premise, and the 'q' is the conclusion.
• What are the three forms of conditional statements?

  Inverse

  Converse

  Contrapositive
• This type of conditional statement, negates the hypothesis and conclusion (-P -> Q)?

  Inverse
• This type of conditional statement change the position of the hypothesis and conclusion? (Q -> P)

  Converse
• This type of conditional statement negate the converse form of the given conditional statement (-Q -> -P)?

  Contrapositive
• This is a statement when something is both a necessary and a sufficient condition for something else?

  Biconditional
• Propositional logic is composed of syntax and semantics.
• It includes the basic symbols of the language?

  Syntax
• It refers to the form of the expressions such as words, sentences, and the like?

  Syntax
• It refers to the content, or meaning of expressions?

  Semantics
• Unary Propositional Operator: ~ or -
• Binary Propositional Connectives: ^ or •, v, ->, <->
• Grouping Symbols: (), []