## Notes Information

Login / Sign Up to View Document

## Sample Document Text

A Mathematical Sampler
APPENDIX A BASIC LOGIC
APPENDIX A.1 Statements and Their Negations
- a statement is a declarative sentence that is either true or false but not both.
- statements formed with connectors
Definitions
statement
compou , , , nd s , and tatement and or not if . then if and only i
universal statement
existential
.
- asserts that things of a certain kind satisfy some condition.
- asserts the existence of thing that satisfies so statement
particu
me conditi
l
o
ar s
n.
f
all
at least one
- refer to properties of things.
- The truth value of a statement is true (T) if the statement is true and false (F
tatement
truth va ) if the statemelue
truth
nt is false.
tle-ab
specifically designated
A truth table is a table that shows the truth value of a statement for ALL possible truth
logically equiv
values of its components.
- means that the truth values are the salent ame.
- a statement which says ...

## Related Documents

Definite Truth Values Notes

Either...or Notes

Complicated Notes

Forward Chaining Notes

Contrapositive Notes

Assumptions Notes

Propositional Exam

Proposition Notes

Positive Analysis Notes

Immediately Exam

Constructive Dilemma Notes

Exclusive Or Notes

Contrapositive Exam

Contrapositive Exam

Contrapositive Exam

Either...or Exam

© Copyright 2020 , Koofers, Inc. All rights reserved.

The information provided on this site is protected by U.S. and International copyright law, and other applicable intellectual property laws, including laws covering data access and data compilations. This information is provided exclusively for the personal and academic use of students, instructors and other university personnel. Use of this information for any commercial purpose, or by any commercial entity, is expressly prohibited. This information may not, under any circumstances, be copied, modified, reused, or incorporated into any derivative works or compilations, without the prior written approval of Koofers, Inc.