Logical From and Logical Equivalence

Statement

A statement is a sentence that is true or false but not both.

참 혹은 거짓으로 나타낼 수 있지만 둘 다는 아닌 문장.

statement를 표현하기 위해서 statement variable을 사용함. ex) p→q

Statement인것

Statement가 아닌것

Componund statements

compound statements = statements + logical operators

Logical operators

negation이 가장 먼저 수행된다.

Statement Forms