Home > Preview
The flashcards below were created by user
ceilingmoth
on FreezingBlue Flashcards.

Name the 5 operators
 ~ curl
 . dot
 v wedge
 ⊃ horseshoe
 ≡ triple bar

What is the ~ (curl) operation?
negation

what is the ~ (curl's) basic meaning?
Not _

What are the properties of the ~ (curl)?
 one place operator
 symmetrical

What is the . (dot) operation?
conjunction

What is the . (dot's) basic meaning?
Both _ and _

What are the properties of the . (dot)?
 two place operator
 symmetrical

What is the v (wedge) operation?
disjunction

What is the basic meaning of the v (wedge)?
Either _ or _

What are the properties of the v (wedge)?
 two place operator
 symmetrical

What is the ⊃ (horseshoe's) operation?

What is the ⊃ (horseshoe's) basic meaning?
If _ then _

What properties does the ⊃ (horseshoe) have?
 two place operator
 NOT symmetrical

What is the operation of the ≡ (triple bar)?
 Biconditional
 (equivalence)

What is the basic meaning of the ≡ (triple bar)?
_ if and only if _

What are the properties of the ≡ (triple bar)?
 two place operator
 symmetrical

