TABLAS DE VERDAD Y CONECTIVOS LOGICOS PREGUNTAS RESUELTAS PDF
DÍSYUNTIVAS
Son aquellas proposiciones que se relacionan mediante la conjunción disyuntiva «o» o sus expresiones equivalentes .
Pueden ser :
A) INCLUSIVA débil () : Es aquella en la cual se considera las posibles ocurrencias simultáneas o individuales de sus Componentes . Forma típica : «…o…» Ejemplos : p : 4 es menor que 7 q : 4 es igual a 7. La proposición quedaría: «p» o «q»: 4 es menor que 7 o igual a 7. El valor de verdad de una disyunción inclusiva será dado por los valores de verdad de las proposiciones que la componen y de acuerdo a la siguiente tabla : pq es falsa (F) únicamente cuando «p y q» son ambas falsas , en los demás casos es verdadera . Ejemplo : Simbólicamente : Su valor de verdad : ...(Según tabla)
B) INCLUSIVA Fuerte (D): Esta disyunción excluye la posibilidad de ocurrencia simultánea de ambas . Forma típica : « o…o…» Ejemplos : O viajas por tierra o por aire. O es blanco o es negro. Una proposición disyuntiva exclusiva es falsa sólo si sus componentes tienen igual valor veritativo , en caso contrario es verdadero .
III) CONDICIONALES () : Son aquellas proposiciones que se relacionan mediante la conjunción condicional «si… entonces…» o sus expresiones equivalentes. Ejemplos : Si estudias entonces ingresas. Si pago la entrada entonces ingreso al cine La proposición condicional consta de dos elementos el antecedente y el consecuente. Forma típica: Si entonces «causa» «efecto» Si entonces El sentido de (pq) es señalar que si la proposición antecedente es verdadera , también lo es la proposición consecuente , es decir , basta o es suficiente que el antecedente sea verdadero para que el consecuente también sea verdadero. De aquí que una condicional solo será falsa si el antecedente es verdadero y el consecuente es falso . Las proposiciones condicionales pueden ser : A) DIRECTA : Antecedente y consecuente van en ese orden respectivo. Ejemplo : Si entonces El valor de verdad « pq » viene dado en la siguiente tabla : pq es falsa (f) únicamente cuando «p» es verdadera y «q» es falsa. Ejemplo : Si Simbólicamente : p q Su valor de verdad : VF=F…(Según tabla) Otras formas gramaticales a la condicional directa, serán : Siempre…por consiguiente… Con tal de que…es obvio... Cuando... así pues… Cada vez que…en consecuencia… Cada vez...consiguientemente... Con que...en este caso… En el caso de que…esto trae consigo... A condición de que...por eso… Dado que …según lo cual…. Como quiera que...por lo cual… En la medida en que…de allí que… En cuanto...por tanto… Al…por el expuesto… De...en tal sentido… Una vez que...luego... Apenas…naturalmente... Suponiendo que…es evidente… Ya que…es un hecho… Todo está en que…bien se ve… la cuestión es que ...deviene... Es suficiente que...Se concluye… En virtud de que…es suficiente… Desde el momento que...da lugar a… Hasta que…debe ocurrir… Según...lógicamente… Teniendo en cuenta que...es condición suficiente... B)INDIRECTA : Al consecuente le sigue el antecedente. Ejemplo: porque Luego : qp Sus formas gramaticales son : «p», si «q» «p» siempre que «q» «p» ya «q» «p» pues que «q» «p» supone que «q» «p» porque «q» IV) Bicondicional () : (ó Doble Implicación): Son aquellas proposiciones que se relacionan mediante la conjunción compuesta «si y sólo si» o sus expresiones equivalentes. El símbolo al relacionar dos proposiciones indica que el valor de verdad de ambas es el mismo , ya sea verdadero o falso . Ejemplo : Su tabla de verdad , será : Ejemplo : Simbolicamente : Su valor de verdad: …(Según tabla) SÍMBOLOS AUXILIARES Son los que se usan para separar las propiedades moleculares de acuerdo a la jerarquía que le da el sentido lógico. 1)Paréntesis( ):para separar proposiciones básicas Ejemplo : Sí hay calor y humedad, entonces hay lluvia: . 2) Corchete : para separar formas lógicas menores. Ejemplo : Sí hay calor y humedad, entonces hay lluvia siempre y cuando se trate de la región andina: . 3)Llaves : para separar formas lógicas mayores Ejemplo : Es absurdo que ; si hay calor y humedad , entonces hay lluvia siempre y cuando se trate de la sierra : todo negado. JERARQUÍA DE CONECTORES LÓGICOS EN FORMA DESCENDENTE 1O) Biimplicador 2O) Disyuntor fuerte 3O) condicional
