Era ¨¦sto, exactamente. Lo he copiado de ya sabes d¨®nde, Wikipedia.
Tautolog¨ªas:
Se entiende por proposici¨®n tautol¨®gica, o tautolog¨ªa, aquella proposici¨®n que en todos los casos posibles de su tabla de verdad su valor siempre es V. Dicho de otra forma, su valor V no depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que est¨¢n establecidas las relaciones sint¨¢cticas de unas con otras. Sea el caso: [ (A ¡úB)/ \(B ¡úC)] ¡ú (A ¡úC)
Siguiendo la mec¨¢nica algor¨ªtmica de la tabla anterior construiremos su tabla de verdad:
A B C A ¡úB B ¡úC (A ¡úB)/ \(B ¡úC) (A ¡úC) [ (A ¡úB)/ \(B ¡úC)] ¡ú (A ¡úC)
V V V V V V V V
V V F V F F F V
V F V F V F V V
V F F F V F F V
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V V V V V
Tautolog¨ªas:
Se entiende por proposici¨®n tautol¨®gica, o tautolog¨ªa, aquella proposici¨®n que en todos los casos posibles de su tabla de verdad su valor siempre es V. Dicho de otra forma, su valor V no depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que est¨¢n establecidas las relaciones sint¨¢cticas de unas con otras. Sea el caso: [ (A ¡úB)/ \(B ¡úC)] ¡ú (A ¡úC)
Siguiendo la mec¨¢nica algor¨ªtmica de la tabla anterior construiremos su tabla de verdad:
A B C A ¡úB B ¡úC (A ¡úB)/ \(B ¡úC) (A ¡úC) [ (A ¡úB)/ \(B ¡úC)] ¡ú (A ¡úC)
V V V V V V V V
V V F V F F F V
V F V F V F V V
V F F F V F F V
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V V V V V