Hanes golygu 'Rhesymeg osodiadol'

19 Mehefin 2023

• cyfcynt 12:5012:50, 19 Mehefin 2023‎ Craigysgafn sgwrs cyfraniadau‎ 5,261 beit +34‎ Dim crynodeb golygu dadwneud

24 Chwefror 2021

• cyfcynt 10:2810:28, 24 Chwefror 2021‎ BOT-Twm Crys sgwrs cyfraniadau‎ 5,227 beit −4‎ →‎Disgrifiad cyffredinol o resymeg osodiadol: Trwsio dolennau rhywogaethau a manion eraill, replaced: Os y → os (2) using AWB dadwneud

24 Mehefin 2020

• cyfcynt 13:1113:11, 24 Mehefin 2020‎ Llygadebrill sgwrs cyfraniadau‎ B 5,231 beit +1‎ Dim crynodeb golygu dadwneud Tagiau: Golygiad Gweladwy

18 Awst 2017

• cyfcynt 01:3701:37, 18 Awst 2017‎ BOT-Twm Crys sgwrs cyfraniadau‎ 5,230 beit −4‎ Manion using AWB dadwneud

9 Mawrth 2013

• cyfcynt 12:5012:50, 9 Mawrth 2013‎ Addbot sgwrs cyfraniadau‎ B 5,234 beit −1,066‎ Bot: Migrating 36 interwiki links, now provided by Wikidata on d:q200694 (translate me) dadwneud

1 Gorffennaf 2012

• cyfcynt 03:5203:52, 1 Gorffennaf 2012‎ EmausBot sgwrs cyfraniadau‎ B 6,300 beit +39‎ r2.7.2+) (robot yn ychwanegu: ky:Логикалык сүйлөө dadwneud

11 Ionawr 2011

• cyfcynt 11:4811:48, 11 Ionawr 2011‎ LaaknorBot sgwrs cyfraniadau‎ B 6,261 beit +21‎ r2.5.2) (robot yn ychwanegu: nn:Utsegnslogikk dadwneud

8 Tachwedd 2010

• cyfcynt 09:5809:58, 8 Tachwedd 2010‎ Luckas-bot sgwrs cyfraniadau‎ B 6,240 beit +28‎ robot yn ychwanegu: eu:Logika proposizional dadwneud

30 Mehefin 2010

• cyfcynt 12:4512:45, 30 Mehefin 2010‎ SieBot sgwrs cyfraniadau‎ B 6,212 beit +28‎ robot yn ychwanegu: sl:Propozicijska logika dadwneud

6 Mehefin 2010

• cyfcynt 08:2008:20, 6 Mehefin 2010‎ Dinamik-bot sgwrs cyfraniadau‎ B 6,184 beit 0‎ robot yn newid: la:Logica propositionalis dadwneud

5 Mehefin 2010

• cyfcynt 06:5106:51, 5 Mehefin 2010‎ ArthurBot sgwrs cyfraniadau‎ B 6,184 beit +2‎ robot yn newid: la:Logica Propositionalis dadwneud
• cyfcynt 01:0301:03, 5 Mehefin 2010‎ LaaknorBot sgwrs cyfraniadau‎ B 6,182 beit +6‎ robot yn newid: be-x-old:Зьлічэньне выказваньняў dadwneud

20 Chwefror 2010

• cyfcynt 11:1411:14, 20 Chwefror 2010‎ TXiKiBoT sgwrs cyfraniadau‎ B 6,176 beit +21‎ robot yn ychwanegu: ko:명제 논리 dadwneud

12 Rhagfyr 2009

• cyfcynt 11:1311:13, 12 Rhagfyr 2009‎ TXiKiBoT sgwrs cyfraniadau‎ B 6,155 beit +28‎ robot yn ychwanegu: la:Logica Propositionis dadwneud

12 Chwefror 2009

• cyfcynt 12:2112:21, 12 Chwefror 2009‎ VolkovBot sgwrs cyfraniadau‎ B 6,127 beit +30‎ robot yn ychwanegu: id:Kalkulus proposisional dadwneud

9 Ionawr 2009

• cyfcynt 16:3116:31, 9 Ionawr 2009‎ BOTarate sgwrs cyfraniadau‎ B 6,097 beit +31‎ robot yn ychwanegu: simple:Propositional logic dadwneud

6 Tachwedd 2008

• cyfcynt 08:3808:38, 6 Tachwedd 2008‎ SilvonenBot sgwrs cyfraniadau‎ B 6,066 beit +29‎ robot yn ychwanegu: af:Proposisionele logika dadwneud

3 Mehefin 2008

• cyfcynt 05:4805:48, 3 Mehefin 2008‎ VolkovBot sgwrs cyfraniadau‎ B 6,037 beit +45‎ robot yn ychwanegu: uk:Числення висловлень dadwneud

23 Mai 2008

• cyfcynt 07:3307:33, 23 Mai 2008‎ JAnDbot sgwrs cyfraniadau‎ B 5,992 beit +42‎ robot Ychwanegu: cs, sk Newid: ar, fa, ru dadwneud

17 Rhagfyr 2007

• cyfcynt 17:2417:24, 17 Rhagfyr 2007‎ VolkovBot sgwrs cyfraniadau‎ B 5,950 beit +62‎ robot Adding: ca:Lògica proposicional, sr:Исказни рачун dadwneud

2 Rhagfyr 2007

• cyfcynt 23:2623:26, 2 Rhagfyr 2007‎ SieBot sgwrs cyfraniadau‎ B 5,888 beit +623‎ robot Adding: ar, be-x-old, de, es, et, fa, fi, fr, he, hu, it, ja, lt, nl, no, pl, pt, ru, sv, th, zh Modifying: en dadwneud

25 Chwefror 2007

• cyfcynt 23:4823:48, 25 Chwefror 2007‎ Llygadebrill sgwrs cyfraniadau‎ B 5,265 beit +31‎ Dim crynodeb golygu dadwneud
• cyfcynt 17:5417:54, 25 Chwefror 2007‎ Llygadebrill sgwrs cyfraniadau‎ B 5,234 beit −13‎ Dim crynodeb golygu dadwneud
• cyfcynt 17:5117:51, 25 Chwefror 2007‎ Llygadebrill sgwrs cyfraniadau‎ 5,247 beit +5,247‎ Tudalen newydd: Mewn rhesymeg a mathemateg, mae '''rhesymeg osodiadol''' (neu '''galcwlws gosodiadol''') yn system ffurfiol lle gellir ffurfio fformwlâu sy'n cynrychioli gosodiadau ...