Diferència entre revisions de la pàgina «Forma vàlida»
De Wikisofia
| Línia 3: | Línia 3: | ||
Noció clàssica i fonamental de la [[lògica|lògica]] que defineix la [[validesa|validesa]], o correcció formal, d'un [[raonament|raonament]] per la «forma vàlida». Un raonament és vàlid si la seva forma és vàlida i una forma és vàlida si, per a tot exemple que tingui la mateixa forma succeeix que és impossible que les [[premisses|premisses]] siguin veritables i la [[conclusió|conclusió]] falsa. També es diu que una forma és vàlida si la [[fórmula|fórmula]] que li correspon és sempre veritable, o una [[veritat lògica|veritat lògica]], o una [[tautologia|tautologia]]. | Noció clàssica i fonamental de la [[lògica|lògica]] que defineix la [[validesa|validesa]], o correcció formal, d'un [[raonament|raonament]] per la «forma vàlida». Un raonament és vàlid si la seva forma és vàlida i una forma és vàlida si, per a tot exemple que tingui la mateixa forma succeeix que és impossible que les [[premisses|premisses]] siguin veritables i la [[conclusió|conclusió]] falsa. També es diu que una forma és vàlida si la [[fórmula|fórmula]] que li correspon és sempre veritable, o una [[veritat lògica|veritat lògica]], o una [[tautologia|tautologia]]. | ||
| − | Veg. [[Forma_lògica|forma lògica]] | + | |
| + | Veg. [[Forma_lògica|forma lògica]], [[fórmula universalment vàlida]]. | ||
{{Etiqueta|Etiqueta=Lògica}}{{InfoWiki}} | {{Etiqueta|Etiqueta=Lògica}}{{InfoWiki}} | ||
Revisió de 21:43, 30 set 2018
Noció clàssica i fonamental de la lògica que defineix la validesa, o correcció formal, d'un raonament per la «forma vàlida». Un raonament és vàlid si la seva forma és vàlida i una forma és vàlida si, per a tot exemple que tingui la mateixa forma succeeix que és impossible que les premisses siguin veritables i la conclusió falsa. També es diu que una forma és vàlida si la fórmula que li correspon és sempre veritable, o una veritat lògica, o una tautologia.