Beweren en bewijzen/supplement/assistentie/taak 12

Hier wat informatie over Leertaak 11.

Opgave 1, 2 en 3

• Bij deze leertaak kunnen jullie eigenlijk slechts één ding doen, namelijk kijken of iemand ergens schrijft dat hij een bepaalde stelling niet kan bewijzen en hem dan proberen op weg te helpen.

Opgave 4

• Op het moment dat iemand hier zegt dat hij een bepaalde regel nog nooit heeft gebruikt, kunnen jullie hem of haar misschien attenderen op een bepaalde stelling waar je die regel wel kunt gebruiken.
• Hier een paar voorbeelden waarbij de verschillende regels gebruikt kunnen worden.
• Gegenereerd met commando's als: grep "lin_" *.v |sed 's/\([^.]*\.\)v\(.*\)/\1/'|sed 's/\./,/'|sort -u | sed ':a;N;$!ba;s/\n/ /g'.
  • LEM: Exercise_002, Exercise_003, Exercise_016, Exercise_021, Exercise_025, Exercise_029, Exercise_037, Exercise_049, Exercise_050, Exercise_055, Exercise_056, Exercise_066, Exercise_067, Exercise_081, Exercise_092, Exercise_105, Exercise_106, Exercise_125, Predicaatlogica_057.
  • neg_i: Exercise_014, Exercise_017, Exercise_019, Exercise_020, Exercise_026, Exercise_027, Exercise_028, Exercise_029, Exercise_030, Exercise_031, Exercise_032, Exercise_033, Exercise_034, Exercise_038, Exercise_039, Exercise_049, Exercise_052, Exercise_054, Exercise_055, Exercise_059, Exercise_060, Exercise_061, Exercise_063, Exercise_069, Exercise_070, Exercise_078, Exercise_082, Exercise_084, Exercise_085, Exercise_099, Exercise_101, Exercise_102, Exercise_103, Exercise_104, Exercise_105, Exercise_107, Exercise_108, Exercise_110, Exercise_111, Exercise_112, Exercise_113, Exercise_117, Exercise_118, Exercise_119, Exercise_120, Exercise_121, Exercise_124, Exercise_126, Exercise_128, Exercise_133, Exercise_134, Exercise_135, Predicaatlogica_003, Predicaatlogica_007, Predicaatlogica_008, Predicaatlogica_009, Predicaatlogica_011, Predicaatlogica_014, Predicaatlogica_015, Predicaatlogica_017, Predicaatlogica_021, Predicaatlogica_022, Predicaatlogica_024, Predicaatlogica_025, Predicaatlogica_028, Predicaatlogica_032, Predicaatlogica_033, Predicaatlogica_034, Predicaatlogica_035, Predicaatlogica_036, Predicaatlogica_038, Predicaatlogica_039, Predicaatlogica_042, Predicaatlogica_043, Predicaatlogica_044, Predicaatlogica_048, Predicaatlogica_054, Predicaatlogica_055, Predicaatlogica_056, Predicaatlogica_060, Predicaatlogica_062, Predicaatlogica_067, Predicaatlogica_068, Predicaatlogica_069.
  • neg_e: Exercise_019, Exercise_023, Exercise_024, Exercise_026, Exercise_029, Exercise_030, Exercise_034, Exercise_037, Exercise_050, Exercise_052, Exercise_053, Exercise_054, Exercise_057, Exercise_058, Exercise_063, Exercise_065, Exercise_066, Exercise_075, Exercise_076, Exercise_078, Exercise_087, Exercise_092, Exercise_110, Exercise_111, Exercise_125, Exercise_126, Exercise_133, Exercise_134, Predicaatlogica_009, Predicaatlogica_013, Predicaatlogica_017, Predicaatlogica_021, Predicaatlogica_027, Predicaatlogica_030, Predicaatlogica_042, Predicaatlogica_048, Predicaatlogica_056, Predicaatlogica_067, Predicaatlogica_079.
  • neg_e': Exercise_018, Exercise_056, Exercise_058, Exercise_062, Exercise_073, Exercise_077, Exercise_100, Exercise_101, Exercise_102, Exercise_106, Exercise_109, Exercise_118, Predicaatlogica_053, Predicaatlogica_070.
  • exi_i: Getallen_004, Getallen_005, Getallen_007, Getallen_008, Getallen_009, Predicaatlogica_002, Predicaatlogica_005, Predicaatlogica_006, Predicaatlogica_010, Predicaatlogica_011, Predicaatlogica_012, Predicaatlogica_013, Predicaatlogica_014, Predicaatlogica_016, Predicaatlogica_018, Predicaatlogica_019, Predicaatlogica_020, Predicaatlogica_022, Predicaatlogica_023, Predicaatlogica_026, Predicaatlogica_029, Predicaatlogica_030, Predicaatlogica_032, Predicaatlogica_035, Predicaatlogica_039, Predicaatlogica_041, Predicaatlogica_042, Predicaatlogica_043, Predicaatlogica_045, Predicaatlogica_049, Predicaatlogica_051, Predicaatlogica_052, Predicaatlogica_053, Predicaatlogica_054, Predicaatlogica_061, Predicaatlogica_062, Predicaatlogica_063, Predicaatlogica_065, Predicaatlogica_068, Predicaatlogica_070, Predicaatlogica_072, Predicaatlogica_073, Predicaatlogica_074, Predicaatlogica_075, Predicaatlogica_076, Predicaatlogica_077, Predicaatlogica_078, Predicaatlogica_084, Predicaatlogica_086.
  • exi_e: Getallen_007, Getallen_008, Getallen_009, Getallen_010, Predicaatlogica_006, Predicaatlogica_009, Predicaatlogica_010, Predicaatlogica_012, Predicaatlogica_013, Predicaatlogica_016, Predicaatlogica_017, Predicaatlogica_018, Predicaatlogica_019, Predicaatlogica_020, Predicaatlogica_021, Predicaatlogica_022, Predicaatlogica_024, Predicaatlogica_026, Predicaatlogica_028, Predicaatlogica_029, Predicaatlogica_030, Predicaatlogica_032, Predicaatlogica_033, Predicaatlogica_036, Predicaatlogica_038, Predicaatlogica_041, Predicaatlogica_042, Predicaatlogica_043, Predicaatlogica_046, Predicaatlogica_047, Predicaatlogica_048, Predicaatlogica_049, Predicaatlogica_052, Predicaatlogica_053, Predicaatlogica_056, Predicaatlogica_059, Predicaatlogica_061, Predicaatlogica_065, Predicaatlogica_066, Predicaatlogica_067, Predicaatlogica_069, Predicaatlogica_072, Predicaatlogica_073, Predicaatlogica_074, Predicaatlogica_075, Predicaatlogica_076, Predicaatlogica_077, Predicaatlogica_078, Predicaatlogica_079, Predicaatlogica_083, Predicaatlogica_084.
  • all_i: Getallen_001, Getallen_003, Getallen_004, Getallen_005, Getallen_006, Getallen_007, Getallen_008, Getallen_009, Getallen_010, Predicaatlogica_003, Predicaatlogica_004, Predicaatlogica_005, Predicaatlogica_007, Predicaatlogica_008, Predicaatlogica_011, Predicaatlogica_014, Predicaatlogica_015, Predicaatlogica_016, Predicaatlogica_023, Predicaatlogica_025, Predicaatlogica_027, Predicaatlogica_029, Predicaatlogica_031, Predicaatlogica_034, Predicaatlogica_035, Predicaatlogica_037, Predicaatlogica_039, Predicaatlogica_040, Predicaatlogica_041, Predicaatlogica_044, Predicaatlogica_045, Predicaatlogica_050, Predicaatlogica_051, Predicaatlogica_052, Predicaatlogica_054, Predicaatlogica_055, Predicaatlogica_057, Predicaatlogica_059, Predicaatlogica_062, Predicaatlogica_066, Predicaatlogica_068, Predicaatlogica_070, Predicaatlogica_071, Predicaatlogica_079, Predicaatlogica_081, Predicaatlogica_082, Predicaatlogica_083, Predicaatlogica_085, Predicaatlogica_086.
  • all_e: Getallen_001, Getallen_002, Getallen_003, Getallen_004, Getallen_005, Getallen_006, Getallen_007, Getallen_008, Getallen_009, Getallen_010, Predicaatlogica_001, Predicaatlogica_003, Predicaatlogica_004, Predicaatlogica_005, Predicaatlogica_006, Predicaatlogica_007, Predicaatlogica_008, Predicaatlogica_009, Predicaatlogica_010, Predicaatlogica_011, Predicaatlogica_012, Predicaatlogica_013, Predicaatlogica_014, Predicaatlogica_015, Predicaatlogica_016, Predicaatlogica_017, Predicaatlogica_021, Predicaatlogica_022, Predicaatlogica_023, Predicaatlogica_024, Predicaatlogica_025, Predicaatlogica_026, Predicaatlogica_027, Predicaatlogica_028, Predicaatlogica_030, Predicaatlogica_031, Predicaatlogica_032, Predicaatlogica_033, Predicaatlogica_034, Predicaatlogica_035, Predicaatlogica_036, Predicaatlogica_037, Predicaatlogica_038, Predicaatlogica_040, Predicaatlogica_041, Predicaatlogica_042, Predicaatlogica_043, Predicaatlogica_044, Predicaatlogica_045, Predicaatlogica_046, Predicaatlogica_047, Predicaatlogica_048, Predicaatlogica_049, Predicaatlogica_050, Predicaatlogica_051, Predicaatlogica_052, Predicaatlogica_053, Predicaatlogica_054, Predicaatlogica_055, Predicaatlogica_056, Predicaatlogica_057, Predicaatlogica_058, Predicaatlogica_059, Predicaatlogica_060, Predicaatlogica_062, Predicaatlogica_065, Predicaatlogica_066, Predicaatlogica_067, Predicaatlogica_069, Predicaatlogica_074, Predicaatlogica_075, Predicaatlogica_076, Predicaatlogica_077, Predicaatlogica_078, Predicaatlogica_079, Predicaatlogica_080, Predicaatlogica_082.
  • replace: Getallen_002, Getallen_006, Getallen_008, Predicaatlogica_058, Predicaatlogica_059, Predicaatlogica_060, Predicaatlogica_065, Predicaatlogica_066, Predicaatlogica_078, Predicaatlogica_079, Predicaatlogica_081, Predicaatlogica_085.
  • lin_solve: Getallen_001, Getallen_002, Getallen_003, Getallen_004, Getallen_005, Getallen_006, Getallen_007, Getallen_008, Getallen_009, Getallen_010, Predicaatlogica_071, Predicaatlogica_072, Predicaatlogica_073.
  • interval: Getallen_007, Getallen_008, Getallen_009.
• Helaas is het ook nog eens zo dat het best mogelijk is om bijvoorbeeld de neg_e' nooit te gebruiken, maar alleen de dis_e gevolgd door LEM. Dus zelfs als jullie zeggen 'probeer stelling xyz eens' dan kan het nog steeds zo zijn dat die stelling ook zonder de bewuste regel gedaan kan worden.