Lògica: exemple de fórmules moleculars
De Wikisofia
La revisió el 14:15, 5 set 2015 per Sofibot (discussió | contribucions)
La revisió el 14:15, 5 set 2015 per Sofibot (discussió | contribucions)
és l'expressió molecular de lògica d'enunciats, que equival, per exemple, a «si el sol surt cada dia, podem dormir tranquils»
és una fómula molecular,o composta,de lògica de predicats que equival, per exemple a «Tots participen».