| 
  
   Size: 780 
  
  Comment:  
 | 
  
   Size: 1176 
  
  Comment:  
 | 
| Deletions are marked like this. | Additions are marked like this. | 
| Line 1: | Line 1: | 
| * AreaBorderRouter | |
| Line 2: | Line 3: | 
|    * AutonomousSystem (AS) * CidrVsSubnetting (CIDR, Subnetting and Class A-E Definitions)  | 
|
| Line 3: | Line 6: | 
| * ["Dichotomy"] | |
| Line 4: | Line 8: | 
| * DisjunctiveSyllogism | |
| Line 8: | Line 13: | 
| * HypotheticalSylogism | |
| Line 11: | Line 17: | 
| * InternetProtocolV6 (IPv6) | |
| Line 12: | Line 19: | 
| * LogicalImplication (|= symbol and also |-) | |
| Line 17: | Line 25: | 
| * ModusPonens | |
| Line 21: | Line 30: | 
|    * ["Proposition"] or PropositionalLogic * RoutingArea  | 
|
| Line 24: | Line 35: | 
| * ["Tautology"] | |
| Line 26: | Line 38: | 
| * ["Undecidable"] | 
AutonomousSystem (AS)
CidrVsSubnetting (CIDR, Subnetting and Class A-E Definitions)
CompleteLogic What does it mean for a logic to be complete
- ["Dichotomy"]
 InternetProtocolV4 (IPv4)
InternetProtocolV6 (IPv6)
LogicalImplication (|= symbol and also
 MaximumTransmissionUnit (MTU)
- ["Model"] of a logic formula
 MultiProtocolLabelSwitching (MPLS)
OsiModel (7 layer OSI network Model)
["Proposition"] or PropositionalLogic
- ["Satisfiable"]
 - ["Tautology"]
 - ["taxonomy"]
 - ["Undecidable"]
 - ["Valid"] Logic Formula
 
