Resultats de la cerca
- La lògica proposicional és una branca de la lògica clàssica que estudia les proposicions o sentències lògiques, les seves possibles avaluacions de veritat...16 Ko (1.935 paraules) - 21:04, 29 març 2024
- La lògica de primer ordre, també anomenada lògica de predicats o càlcul de predicats, és un sistema formal dissenyat per estudiar la inferència en els...24 Ko (3.781 paraules) - 00:48, 17 abr 2024
- Un sistema formal o axiomàtic és un artifici matemàtic compost de símbols que s'uneixen entre si formant cadenes que, al seu torn, poden ser manipulades...7 Ko (1.019 paraules) - 16:29, 30 juny 2021
- La lògica modal és un sistema formal que intenta capturar el comportament deductiu d'algun grup d'operadors modals. Els operadors modals són expressions...25 Ko (3.819 paraules) - 05:49, 8 maig 2024
- La lògica difusa, lògica heurística, lògica borrosa (en anglès fuzzy) es basa, com a posició diferencial, en allò relatiu respecte al que s'ha observat...10 Ko (1.425 paraules) - 17:45, 5 gen 2023
- La lògica formal és la part de la lògica que, a diferència de la lògica informal, es dedica a l'estudi de la inferència mitjançant la construcció de llenguatges...949 octets (98 paraules) - 20:12, 22 des 2021
- Una lògica de segon ordre és una extensió d'una lògica matemàtica de primer ordre en la qual s'afegeixen variables per propietats i quantificadors que...8 Ko (1.232 paraules) - 17:59, 28 abr 2024
- La lògica binària estableix relacions lògiques entre dos valors possibles, associats als conceptes de "vertader" i "fals" o "1" i "0". El principi de doble...15 Ko (1.381 paraules) - 12:10, 20 abr 2024
La lògica aristotèlica és un mètode de la lògica basada en els principis del filòsof grec Aristòtil (Estagira, Macedònia, 384 aC - Calcis, Eubea, Grècia...7 Ko (1.068 paraules) - 16:14, 8 jul 2023- La lògica nMOS (nFET Metall Oxide Silicon) usa transistors d'efecte de camp (FET) de metal-òxid-semiconductor (MOS) tipus N per implementar portes lògiques...2 Ko (146 paraules) - 10:09, 28 gen 2022
- La lògica empírica és la base del raonament empíric i per tant del mètode empíric. Aquesta visió de la lògica prové de l'antiga Grècia. El terme “empíric”...719 octets (78 paraules) - 18:41, 10 set 2022
- Una lògica polivalent és un sistema lògic que rebutja el principi del tercer exclòs de les lògiques bivalents i admet més valors de veritat que els tradicionals...6 Ko (810 paraules) - 10:10, 28 gen 2022
- La lògica temporal és un tipus de lògica modal usada per a descriure un sistema de regles i simbolismes per a la representació i el raonament sobre proposicions...14 Ko (659 paraules) - 11:59, 28 juny 2023
- La lògica epistèmica és un camp de la lògica modal que s'ocupa del raonament sobre el coneixement. Mentre que l'epistemologia té una llarga tradició filosòfica...13 Ko (2.054 paraules) - 17:49, 26 març 2023
- La lògica doxàstica (del grec antic δόξα, doxa, "creença") és una lògica modal que s'ocupa del raonament sobre les creences. Típicament, una lògica doxàstica...10 Ko (1.769 paraules) - 11:59, 28 juny 2023
- La lògica combinatòria és la lògica última i com a tal pot ser un model simplificat del còmput, usat en la teoria de computabilitat (l'estudi de què pot...22 Ko (2.821 paraules) - 21:23, 14 feb 2024
- Un sistema bivalent és aquell que admet només dos valors de veritat per als seus enunciats (premisses i conclusions). En la lògica bivalent, una proposició...2 Ko (205 paraules) - 07:10, 1 juny 2022
- La lògica de control és el conjunt d'operacions lògiques i estructures de control que determinen l'ordre d'execució de les instruccions d'un programa....1 Ko (155 paraules) - 07:34, 1 juny 2022
La lògica deòntica és un tipus de lògica modal utilitzada per analitzar formalment les normes o les proposicions que tracten sobre les normes. Normes són...12 Ko (1.715 paraules) - 15:26, 29 set 2023
La correspondència Curry-Howard (també coneguda com a isomorfisme Curry-Howard o equivalència Curry-Howard o proposicions Curry-Howard) està ubicada en...4 Ko (433 paraules) - 22:45, 26 des 2023
