Accions

Diferència entre revisions de la pàgina «Veritativo-funcional, enunciat»

De Wikisofia

m (bot: - definició de [[implicació|implica + definició d'[[implicació|implica)
 
(Hi ha 2 revisions intermèdies del mateix usuari que no es mostren)
Línia 1: Línia 1:
 
{{ConcepteWiki}}
 
{{ConcepteWiki}}
[[enunciat|Enunciat]] que el seu [[veritat, valors de|valor de veritat]] depèn només de [[connectors, connectives|connectives]] definides com una [[funció|funció]] de veritat. Aquestes funcions es defineixen mitjançant [[lògica|taules]]. La [[lògica|lògica]] que utilitza tals enunciats es diu també lògica veritativo-funcional. Per exemple, a la connectiva del [[condicional|condicional]] , correspon la següent funció que és la seva definició:
+
[[enunciat|Enunciat]] el [[veritat, valors de|valor de veritat]] del qual depèn només de [[connectors, connectives|connectives]] definides com una [[funció|funció]] de veritat. Aquestes funcions es defineixen mitjançant [[lògica|taules]]. La [[lògica|lògica]] que utilitza tals enunciats es diu també lògica veritativo-funcional. Per exemple, a la connectiva del [[condicional|condicional]] , correspon la següent funció que és la seva definició:
  
  
[[File:718.png|400px|center]]
+
[[File:718.png|200px|center]]
  
  

Revisió de 10:58, 15 juny 2019

Enunciat el valor de veritat del qual 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ó:


718.png


que és la definició d'implicació material. La lògica veritativo-funcional es diu també lògica extensional.