Académique Documents
Professionnel Documents
Culture Documents
Clsicamente se define verdad como la adecuacin de la inteligencia y la realidad. Cuando lo que digo coincide con la realidad, hay verdad. La validez, en cambio, se dice de los razonamientos, no de las proposiciones (otro nombre para enunciados). Un razonamiento es vlido, una proposicin es verdadera. Una proposicin no puede ser vlida, ni un razonamiento verdadero.
TERMINOS DE ENLACE
Los conectivos lgicos trminos de enlace, son palabras y/o smbolos que enlazan proposiciones con el fin de construir un lenguaje (verbal o simblico) ms amplio. Los conectivos lgicos ms usuales y que estudiaremos en este texto son:y, o, no, Si, entonces, Si y slo Si. Los conectivos lgicos ms empleados son: - Conjuncin. - Disyuncin inclusiva o dbil - Disyuncin exclusiva o fuerte - Implicacin o condicional - Bicondicional
MTODOS DE DEMOSTRACIN
Demostracin por el mtodo directo: El mtodo de demostracin directa parte de la proposicin p, que se supone verdadera, y deducir de ella una nueva proposicin q que se pueda ver que es verdadera como resultado de que p lo es. El mtodo de demostracin indirecta: El mtodo de demostracin indirecta consiste en proceder al revs. Se fija la atencin primeramente en q, es decir en la afirmacin a la que se quiere llegar.