WikiProject Mathematics | (Rated C-class, Mid-importance) | |||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
WikiProject Computer science | (Rated Start-class, High-importance) | ||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
Daily article pageviews |
p | q | ¬p and ¬q | ¬(p or q) |
---|---|---|---|
F | F | T | T |
F | T | F | F |
T | F | F | F |
T | T | F | F |
Transformation rules |
---|
Propositional calculus |
Rules of inference |
|
Rules of replacement |
Predicate logic |
|