| Size: 455 Comment:  | Size: 1162 Comment:  | 
| Deletions are marked like this. | Additions are marked like this. | 
| Line 1: | Line 1: | 
| * AreaBorderRouter * AffineMotion * AutonomousSystem (AS) * CidrVsSubnetting (CIDR, Subnetting and Class A-E Definitions) | |
| Line 2: | Line 6: | 
| * [Dichotomy] * DijkstrasAlgorithm * DisjunctiveSyllogism * DistanceVector | |
| Line 4: | Line 12: | 
| * InternetGatewayRoutingProtocol IGRP | * ForwardingVsRouting * HypotheticalSylogism * InteriorGatewayRoutingProtocol (IGRP) | 
| Line 6: | Line 16: | 
| * InternetProtocolV4 | * InternetProtocolV4 (IPv4) * InternetProtocolV6 (IPv6) | 
| Line 8: | Line 19: | 
| * LogicalImplication (|= symbol) | |
| Line 9: | Line 21: | 
| * LinearlyDecomposable | * LinearlyDecomposableDomains * LinkState * MaximumTransmissionUnit (MTU) | 
| Line 11: | Line 25: | 
| * OpenShortPathFirst OSPF | * ModusPonens * MultiProtocolLabelSwitching (MPLS) * OpenShortestPathFirst OSPF * OsiModel (7 layer OSI network Model) * PredicateSymbols * ["Propositions" "PropositionalLogic"] or PropositionalLogic * RoutingArea * RoutingInformationProtocol (RIP) | 
| Line 14: | Line 35: | 
| * ["Tautology"] * ["taxonomy"] | |
| Line 16: | Line 39: | 
- 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) 
- MaximumTransmissionUnit (MTU) 
- ["Model"] of a logic formula
- MultiProtocolLabelSwitching (MPLS) 
- OsiModel (7 layer OSI network Model) 
- ["Propositions" "PropositionalLogic"] or PropositionalLogic 
- ["Satisfiable"]
- ["Tautology"]
- ["taxonomy"]
- ["Valid"] Logic Formula
