Modus ponendo pone

Términos de enlace o conectivas lógicas de las proposiciones:
La lógica simbólica es una disciplina formal, que se ocupa de puras formas, totalmente desprovistas de contenidos y utilizan unaproposición matemática. No hace referencia a ninguna clase de objeto. Cuando varios enunciados tienen el mismo significado decimos de ellos que expresan la misma proposición Ej.: "hace frío", "il faitfroid", "it is cool". Son palabras diferentes y en distintos idiomas, pero tienen en común que quieren decir lo mismo.
Simbolización de las proposiciones:
Cuando el lenguaje técnico no es suficiente serecurre al lenguaje formal.
El lenguaje formal es aquel que elimina los términos del lenguaje ordinario y emplea únicamente signos arbitrarios de cuyos significados se prescinde para dirigir laatención exclusivamente a las relaciones entre dichos símbolos. Comúnmente los símbolos son "P" y "Q". Los símbolos ".", "Y" indistintamente representan una relación de conjunción, la "Y" del lenguajeordinario, conjunción incluyente.
El "O" del lenguaje ordinario en el sentido de poder darse dos posibilidades el mismo tiempo dentro de un hecho Ej.: traer bebidas o música (puede llegar a traer ambas).Se representa con "Y".
El símbolo "V" representa una relación de disyunción excluyente, no puede darse dos posibilidades al mismo tiempo. Ej.: ir al cine o estudiar esta noche.
El símbolo "=",representa una relación de condicionalidad. Sí "A", es entonces "B"…; A=B. Representa bicondicionalidad.
Tablas de certeza:
Nombre de la
función
Notación simbólica
de Russell
Negación
ConjunciónAlternativa
Disyunción
Implicación
Equivalencia
-p
p.q
pvq
p/q
p q
p q

Negación: es la operación que relaciona una proposición y su negación. Su símbolo es
"-". Expresa la negación de unaproposición anteponiéndole la frase "no es verdad que", "no es el caso que". La expresión "-p" se lee "no p" o "no es el caso que p".
Conjunción: une dos proposiciones con el termino "y" cuyo...