Resultats de la cerca
La lògica és l'estudi dels sistemes de raonament que un ésser racional podria utilitzar per raonar. La lògica s'ocupa de determinar quines formes d'inferència...33 Ko (4.429 paraules) - 00:16, 19 abr 2024
A matemàtiques, lògica, i ciències de la computació, un llenguatge formal és un llenguatge on els símbols primitius i regles per a unir aquests símbols...9 Ko (1.208 paraules) - 23:53, 2 gen 2024- Un axioma tradicionalment és un argument que, o bé és totalment cert per si mateix, o bé com a mínim segons els coneixements actuals es pot donar per innegable...31 Ko (4.491 paraules) - 03:05, 31 des 2022
- El judici o juí és l'acte mitjançant el qual es comparen dos conceptes i s'afirma o nega la seva conveniència o veracitat. Per exemple en el judici "la...763 octets (79 paraules) - 10:18, 18 maig 2023
- La paraula argument (del llatí argumentum) s'aplica, a voltes, a un discurs amb referència a un contingut que es dirigeix a l'interlocutor amb finalitats...35 Ko (5.268 paraules) - 21:44, 25 abr 2023
- Una proposició és un conjunt de paraules amb sentit, si bé el terme al·ludeix a realitats diferents segons l'escola d'estudiosos que se segueixi. Proposició...21 Ko (2.635 paraules) - 17:05, 29 set 2023
El sil·logisme és un mètode lògic creat per Aristòtil, a través del qual s'obté una conclusió mitjançant dues premisses: premissa major, que inclou el...35 Ko (4.729 paraules) - 01:34, 5 des 2023- El raonament és una facultat mental que permet resoldre problemes mitjançant la raó, és a dir, per una activitat mental que consisteix a enllaçar un conjunt...5 Ko (758 paraules) - 12:41, 28 des 2022
- El raonament deductiu, deducció o mètode lògic deductiu és un mètode lògic que, a diferència del raonament o mètode inductiu, es basa en el fet que la...5 Ko (661 paraules) - 18:35, 6 abr 2024
Un autòmat finit (AF) o màquina d'estats finits (FSM de l'anglès Finite State Machine) és un model matemàtic d'un sistema compost per estats, transicions...11 Ko (1.372 paraules) - 06:19, 8 març 2024- En lògica matemàtica, la jerarquia aritmètica o jerarquia de Kleene és una classificació de conjunts de nombres naturals (i per extensió de qualsevol tipus...7 Ko (1.335 paraules) - 17:13, 11 juny 2022
- En matemàtica, la demostració per contradicció o per reducció a l'absurd (o en llatí, reductio ad absurdum) és un mètode indirecte. Aquest tipus de prova...3 Ko (378 paraules) - 16:19, 13 juny 2023
- En teoria de la computabilitat i en complexitat computacional, un problema de decisió és una qüestió en algun sistema formal amb una resposta sí o no....6 Ko (874 paraules) - 09:33, 14 juny 2022
Una conjectura és, en matemàtiques, un enunciat per al qual hi ha bones intuïcions que fan pensar que és vertader, però que encara no ha estat demostrat...3 Ko (222 paraules) - 20:13, 14 gen 2024- Una aporia és una situació argumental en què s'arriba a un atzucac, com el d'afirmar i negar alhora el mateix enunciat. Etimològicament, aporia (ἀπορία)...2 Ko (232 paraules) - 07:43, 5 març 2022
- Una classificació és la determinació d'una categoria d'entre un conjunt finit de categories establertes per a un objecte o concepte. Tota classificació...2 Ko (225 paraules) - 01:21, 5 des 2023
- Una dicotomia és la divisió d'un concepte en 2 meitats oposades, que s'exclouen o alternen; com per ex., l'opció entre el bé i el mal a l'ètica. Els 2...953 octets (109 paraules) - 17:45, 17 juny 2020
- La conseqüència, fonamental a la lògica, és la relació que hi ha entre un conjunt de proposicions (premisses) i una altra proposició darrera (conclusió)...6 Ko (921 paraules) - 19:38, 23 maig 2023
- El càlcul lambda (o càlcul-λ) és un sistema formal dissenyat per investigar la definició de funció, la noció d'aplicacions de funcions i la recursió. Fou...2 Ko (211 paraules) - 09:19, 21 ago 2021
En lògica i matemàtiques una disjunció o disjunció lògica és un connector lògic que consisteix a presentar dues alternatives en una mateixa proposició...2 Ko (205 paraules) - 08:01, 10 juny 2022
