Filo taules de veritat.
Clasificado en Filosofía y ética
Escrito el en 
catalán con un tamaño de 2,61 KB
SImbols lògics: Negació: és fals si p es vertader, i viceversa. Conjunció: la conjuncio dona lloc a un enunciat molecular, que només és vertader quena totes les proposicions que el formen ón vertaderes. Es fals quan alguna o totes son falses. Disjunció: és vertadera quan almenys un dels seus membres ho és. I només és falsa en el cas que els dos mombres siguin alhora falsos. Condicional: la primera de les proposicions s'anomena antecedent, i la segona, consegüent. Un enunciat d'aquest tipus és vertader sempre, excepte quan l'antecedent és vertader i el consegüent, fals. Bicondicional: expresa la coimplicació entre dues proposicions. Això significa que la veritat o falsedat de l'una implica la veritat o falsedat de l'altre. D'aqui que en la taula aparegui el valor V sempre que P i q tenen el mateix valor. Regles d'indiferencia: Doble negació: negar dues vergades alguna cosa equival a afirmarlo i al inreves = . Introducció de la conjunció: Si tenim dues premisses podem concloure'n la conjunció. Eliminació de la conjunció: donada una conjunció como a premissa, podem concloure'n qualsevol dels membres. Introducció de la disjunció: Si tenim una proposicio com a premisa, se li pot afegir disjuntivament qualsevol altra proposició i awyuesta disjunció serà vertadera. Sil.logisme disjuntiu: si tenim com a premisses una disjunció de dos membres i tambe un d'aquest membres negat, podem concloure la veritat de l'altre membre. Regla del bicondicional: a partir d'un bicondicional, podem extreure com a conclusio un condicional. Modus ponens: Donat un condicional i el seu antecedent com a premisses, podem derivar com a conclusió el consegüent d'aquest condicional. Modus tollens: si tenim un condicional i la negació del consegüent, tenim també, la negació de l'antecedent. Regla de la transitivitat: si A té com a consequiencia B i B es condicio de C, aleshores es pot concloure vàlidament quwe A es condicio de C. Regla del dilema: si una disjunció es vertadera, i cadescun dels membres té una consequencia, aleshores es pot conclure la disjunció de les consequencies. Regles de De Morgan: Aquestes regles es deriven de la definicio de la conjuncio i de la disjuncio: Autoritsen a passar de la negacio d'una disjunció a la conjunció de cadescun dels components negats.