Connectives are symbols used to conjunct two or more logical sentences. There are different logical connectives, 1 Unary (~) , 16 binary connectives etc.
Logical connectives are defined using truth table. For example, below shows the truth table for implies (->) connective.
| eg | A | B | A -> B |
|---|---|---|---|
| 1 | T | T | T |
| 2 | T | F | F |
| 3 | F | T | T |
| 4 | F | F | T |
Sheffer Stroke or NAND is a connective. It is represented using ↑
Peirce Arrow or NOR is a connective. It is represented using ↓.