Tautologia (lògica): diferència entre les revisions
Contingut suprimit Contingut afegit
Línia 49:
Si una fórmula té n fórmules atòmiques, llavors té 2 <sup> n </sup> interpretacions possibles. En molts casos, per tant, les taules de veritat poden ser molt grans. L'important, però, és que atès que la [[lògica proposicional]] no admet fórmules infinites, el nombre d'interpretacions possibles sempre serà un nombre finit, i per tant sempre serà possible [[decidibilitat|decidir]] si una fórmula qualsevol és una tautologia o no.
== Art ==
La tautologia és una estratègia de la lògica filosòfica que l'[[art conceptual]] ha utilitzat sovint: el significat de l'obra d'art era una lectura del seu propi estatus com a tal. Aquesta ''mise en abyme'' va empènyer de mica en mica els artistes a posar cada vegada més l'accent en la manera com les exposicions parlen de si mateixes i del seu context expositiu, més que no d'aspectes externs a la institució artística.<ref name=segade>{{ref-llibre|cognom=Segade|nom=Manuel|títol=Haver fet un lloc on els artistes tinguin dret a equivocar-se. Històries de l'Espai 10 i l'Espai 13 de la Fundació Joan Miró|lloc=Barcelona|editorial=[[Fundació Joan Miró]]|any=2014|isbn=978-84-941239-8-6|consulta=25 abril 2014|enllaçautor=Manuel Segade|llengua=català, castellà i anglès|edició=1a|data=2014}} Permís de reutilització CC-BY-SA 3.0 via [https://ticket.wikimedia.org/otrs/index.pl?Action=AgentTicketZoom&TicketNumber=2014040910012802 OTRS]</ref>
== Vegeu també ==
* [[Càlcul lògic]]
* [[Veritat lògica]]
== Referències ==
{{Referències}}
[[Categoria:Lògica]]
| |||