Fundamentos de lógica 2da parte

El día de hoy aprendimos:
-La suposición fundamental del calculo proposicional: Consiste en que los valores de verdad de una proposición construida a partir de otras proposiciones quedan determinados por los valores de verdad de las proposiciones originales y de la forma en que se construyo la proposición a partir de ellas.
 Combinaciones:
p    q
V   V
V   F
F   V
F   F

-Negación: Si p es una proposicion , la negacion de p, es ~p ya que tiene el valor opuesto al de p. Entonces si p es verdadero ~p es falso.
Tabla de negacion:
p   q
V  F
F  V

-Conjunción de dos proposiciones: La conjuncion de p y q, es p^q y en esta se es verdadera solo cuando ambas son verdaderas.
Tabla de conjuncion
p   q   p^q
V  V    V
V  F    F
F  V    F
F  F    F

 -Proposiciones compuestas:
En estas se comienza operando los valores que se encuentran dentro de los parentesis para posteriormente operar los que se encuentran afuera de ellos.
Ejemplo:
~(~pV~q)
~(~f v~V)
~(V v F)
~(V)
F
-Disyuncion de dos proposiciones:
En esta es verdadero cuando al menos una de las proposiciones es verdadera y es falsa cuando ambas proposiciones son falsas.