Diferència entre revisions de la pàgina «Veritativo-funcional, enunciat»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} Enunciat que el seu valor de veritat depèn només de connectives definides com una [...».) |
m (bot: - definició de [[implicació|implica + definició d'[[implicació|implica) |
||
| Línia 6: | Línia 6: | ||
| − | que és la definició | + | que és la definició d'[[implicació|implicació]] material. La lògica veritativo-funcional es diu també lògica extensional. |
{{Etiqueta | {{Etiqueta | ||
Revisió del 16:37, 16 set 2017
Enunciat que el seu valor de veritat depèn només de connectives definides com una funció de veritat. Aquestes funcions es defineixen mitjançant taules. La lògica que utilitza tals enunciats es diu també lògica veritativo-funcional. Per exemple, a la connectiva del condicional , correspon la següent funció que és la seva definició:
que és la definició d'implicació material. La lògica veritativo-funcional es diu també lògica extensional.