5,953
edits
Tratado lógico-filosófico: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
| Line 1,290: | Line 1,290: | ||
Las funciones de verdad de cada número de proposiciones elementales pueden ser escritas en un esquema del siguiente tipo: | Las funciones de verdad de cada número de proposiciones elementales pueden ser escritas en un esquema del siguiente tipo: | ||
''''' | {| style="margin: 0 auto 0 auto;" | ||
|(VVVV)(''p'', ''q'') | |||
|Tautología | |||
|(Si ''p'', entonces ''p''; y si ''q'', entonces ''q''). (''p'' ⊃ ''p'' . ''q'' ⊃ ''q'') | |||
|- | |||
|(FVVV)(''p'', ''q'') | |||
|en palabras | |||
|No ambos ''p'' y ''q'' (~(''p'' . ''q'')) | |||
|- | |||
|(VFVV)(''p'', ''q'') | |||
|" " | |||
|Si ''q'', entonces ''p'' (''q'' ⊃ ''p'') | |||
|- | |||
|(VVFV)(''p'', ''q'') | |||
|" " | |||
|Si ''p'', entonces ''q'' (''p'' ⊃ ''q'') | |||
|- | |||
|(VVVF)(''p'', ''q'') | |||
|" " | |||
|''p'' o ''q'' (''p'' ∨ ''q'') | |||
|- | |||
|(FFVV)(''p'', ''q'') | |||
|" " | |||
|No ''q''. ~''q'' | |||
|- | |||
|(FVFV)(''p'', ''q'') | |||
|" " | |||
|No ''p''. ~''p'' | |||
|- | |||
|(FVVF)(''p'', ''q'') | |||
|" " | |||
|''p'' o ''q'', pero no ambos. (''p'' . ~''q'' : ∨ : ''q'' . ~''p'') | |||
|- | |||
|(VFFV)(''p'', ''q'') | |||
|" " | |||
|Si ''p'', entonces ''q''; y si ''q'', entonces ''p'' (''p'' ≡ ''q'') | |||
|- | |||
|(VFVF)(''p'', ''q'') | |||
|" " | |||
|''p'' | |||
|- | |||
|(VVFF)(''p'', ''q'') | |||
|" " | |||
|''q'' | |||
|- | |||
|(FFFV)(''p'', ''q'') | |||
|" " | |||
|Ni ''p'' ni ''q'' (~''p'' . ~''q'') o (''p''<nowiki> | </nowiki>''q'') | |||
|- | |||
|(FFVF)(''p'', ''q'') | |||
|" " | |||
|''p'' y no ''q'' (''p'' . ~''q'') | |||
|- | |||
|(FVFF)(''p'', ''q'') | |||
|" " | |||
|''q'' y no ''p'' (''q'' . ~''p'') | |||
|- | |||
|(VFFF)(''p'', ''q'') | |||
|" " | |||
|''q'' y ''p'' (''q'' . ''p'') | |||
|- | |||
|(FFFF)(''p'', ''q'') | |||
|Contradicción | |||
|(''p'' y no ''p''; y ''q'' y no ''q'') (''p'' . ~''p'' . ''q'' . ~''q'') | |||
|} | |||
A aquellas posibilidades de verdad de sus argumentos de verdad, las cuales confirman la proposición, quiero llamarlas sus {{spaced text|razones de verdad<!-- template:spaced text -->}} [''Wahrheitsgründe'']. | A aquellas posibilidades de verdad de sus argumentos de verdad, las cuales confirman la proposición, quiero llamarlas sus {{spaced text|razones de verdad<!-- template:spaced text -->}} [''Wahrheitsgründe'']. | ||