Week 11

Abstract

CISC-102 Fall 2016 Week 11 Logical Consequence and Arguments Consider the expression: p is true and p implies q is true , as a consequence we can deduce that q must be true. This is a logical argument, and can be written symbolically as, p, p → q ⊢ q where: p, p → q is called a sequence of premises, and q is called the conclusion. The symbol ⊢ denotes a logical consequence. A sequence of premises whose logical consequence leads to a conclusion is called an argument.