Mostra la font per a Veritativo-funcional, enunciat

{{ConcepteWiki}}
[[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|200px|center]]


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

{{Etiqueta
|Etiqueta=Lògica
}}
{{InfoWiki}}