La lógica es un subcampo de la filosofía. Las aserciones lógicas se pueden abstraer usando símbolos. Entonces, si declara que una proposición implica una conclusión, podría usar “p” para la proposición y “q” para la conclusión con una flecha entre ellas para mostrar los “implica”. Por ejemplo, si declaro que “si llueve, te daré un paraguas”. El “si llueve” sería la condición “p” y la promesa de la conclusión “Te daré un paraguas”. Si p, entonces q. “Esto hace que sea más fácil entender qué lógica usa la gente cuando hacen declaraciones.
Puede traducir las declaraciones en inglés a símbolos como este para abstraerlos, agrupando oraciones similares en grupos. Puede hacer esto para evaluar la verdad y la falsedad de las afirmaciones, para que sean más fáciles de entender para las computadoras, para que el habla humana se parezca más a las matemáticas. Las convenciones se han establecido por los lógicos para que hagan esto de la misma manera. Si tomas una clase en lógica, se convertiría en algo natural, pero se ve raro cuando no estás acostumbrado.