Los Conectivos Lógicos
Los conectivos lógicos: son aquellos que permiten relacionar proposiciones simples para convertirlas en proposiciones compuestas. Son símbolos que enlazan dos o mas proposiciones. Estos son los siguientes: Negación La negación de una proposición es una nueva proposición que tiene un valor de verdad opuesto a la proposición original. Es decir, si el valor de verdad de una proposición p es verdadero, entonces el valor de verdad de ~ p es falso. La tabla de verdad para el conectivo ~ está dada por p ~p V F F V Disyunción La disyunción Inclusiva es la proposición compuesta que resulta de conectar dos proposiciones, p y q , mediante el conectivo {\displaystyle \vee } . Esta proposición compuesta de denota por {\displaystyle p\vee q} y se lee p o q . La tabla de verdad para el conectivo {\displaystyle \vee } está dada por p q {\displaystyle p\...