...tRev}}{{RecursWiki|Tipus=Extractes d'obres}}{{RecursBase|Nom=Cita de Ruyer 1|Idioma=Español}}
...ests sistemes «de la primera generació» [,,,], és la simplicitat de regles de derivació, reduïdes a dues:
2 Ko (271 paraules) - 16:32, 27 set 2018
...ència o de [[llei lògica|lleis lògiques]] ([[Recurs:Text de Deaño: Exemple de lleis i regles|veg. text]]).
...[modus ponens|''modus ponens'']]) i de substitució ([[Recurs:Cita de Ruyer 1|veg. exemple]]).
1 Ko (245 paraules) - 16:35, 27 set 2018
...onaments de la matemàtica (veg. [[matemàtiques, filosofia de les|filosofia de les matemàtiques]]), s'intenta un major rigor en la teoria matemàtica.
...gació. Els axiomes són, a més, ''independents'', si cap d'ells és deduïble de la resta d'axiomes com un teorema. En cap cas s'exigeix que els axiomes sig
4 Ko (649 paraules) - 10:41, 13 oct 2017
...ec::λογική]] ''lógiké'', derivat de ''logikós'', que es refereix a la raó, de [[Grec::λόγος]], ''[[logos]]'', raó)</small>
...invàlid. És, per aquesta raó, estudi de la [[deducció|deducció]] lògica o de la [[inferència|inferència]] lògica.
58 Ko (9.579 paraules) - 14:59, 3 nov 2018