Logica
Enviado por Programa Chuletas y clasificado en Filosofía y ética
Escrito el en 
español con un tamaño de 2,47 KB
Formalizar consiste en traducir las expresiones del lenguaje ordinario al formal sustituyendo los enunciados por variables de enunciado y, los nexos por simbolos logicos. Enunciado=segmento lingüístico del ke se pueda decir ke es verdadero o falso(oracion, proposicion...). Atomico=no lleva conectores. Molecular=varios atomicos unidos por conectores. Variables enun.= letras ke stan en lgar de un enunciao atomico cualkiera(P, Q, R...)Variabls de predic=(X,Y,Z) Conectores=simb. logicos ke represntn ls particulas ke unen los enun. atom.
Conjuntor=y, aunk, pero, sn embrgo. V=(V-V) Disyuntor="o" inclusiva=vV=(V-V)(V-F)(F-V) Exclusiva=w v=(V-F)(F-V) implicador=si...entonces... F=(V-F)coimplicacion=si solo si...V(V-V)(F-F) Reduccion al absurdo=consiste en suponer ke la formula de la ke se parte es falsa y, si desarrollando esta sposicion s llega a una contradiccion, entonces la frmula orginal s vlida(tautologia),pro si no ay cntradiccion la formula no es valida(contingente) Tablas de verdad=procedimiento mecanico ke a traves de unos pasos ns prmite comprobr l validez d frmula
Conjuntor=y, aunk, pero, sn embrgo. V=(V-V) Disyuntor="o" inclusiva=vV=(V-V)(V-F)(F-V) Exclusiva=w v=(V-F)(F-V) implicador=si...entonces... F=(V-F)coimplicacion=si solo si...V(V-V)(F-F) Reduccion al absurdo=consiste en suponer ke la formula de la ke se parte es falsa y, si desarrollando esta sposicion s llega a una contradiccion, entonces la frmula orginal s vlida(tautologia),pro si no ay cntradiccion la formula no es valida(contingente) Tablas de verdad=procedimiento mecanico ke a traves de unos pasos ns prmite comprobr l validez d frmula