Proposiciones Lógicas Teoría - Primera parte

Por Enveor2

¿Qué es una Proposición lógica?
Es una expresión, oración que solo puede ser calificada de verdadera o falsa.
Repetimos, que solo es verdadero o solo es falso.

Ejemplos de proposiciones lógicas
"Una semana esta compuesta por 7 días"
Obviamente la proposición anterior es verdadera.
"Un día tiene 25 horas"
Obviamente la proposición anterior es falsa.
Es conveniente denotar las proposiciones con letras como p,q,...; de tal forma que nos den comodidad a la hora de realizar operaciones con ellas.
Por ejemplo a la proposición "Una semana esta compuesta por 7 días" lo podemos denotar por la letra q, es decir:
q : "Una semana esta compuesta por 7 días"
También:
p : "Un día tiene 25 horas"

Proposiciones compuestas básicas: La Negación:
Anteriormente habíamos definido la siguiente proposición:
q : "Una semana esta compuesta por 7 días"
Sabemos que esta proposición es verdadera, pero que pasaría si quisiéramos negar esta proposición, entonces la proposición que negaría la anterior sería:"Una semana no esta compuesta por 7 días", pero ahora ¿Cómo expresaríamos esta nueva proposición matemáticamente?, de la siguiente forma:
~q : "Una semana no esta compuesta por 7 días"
Que por cierto ~q es una proposición falsa.
Luego su tabla de verdad es:

Nota: En la tabla de verdad "v" denota a verdadero y "f" a falso.