Немонотонные рассуждения

    }

}

Form1.Designer.cs

namespace Expert

{

    partial class Expert

    {

        /// <summary>

        /// Required designer variable.

        /// </summary>

        private System.ComponentModel.IContainer components = null; 

        /// <summary>

        /// Clean up any resources being used.

        /// </summary>

        /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>

        protected override void Dispose(bool disposing)

        {

            if (disposing && (components != null))

            {

                components.Dispose();

            }

            base.Dispose(disposing);

        } 

        #region Windows Form Designer generated code 

        /// <summary>

        /// Required method for Designer support - do not modify

        /// the contents of this method with the code editor.

        /// </summary>

        private void InitializeComponent()

        {

            this.groupBox1 = new System.Windows.Forms.GroupBox();

            this.label2 = new System.Windows.Forms.Label();

            this.textBox1 = new System.Windows.Forms.TextBox();

            this.label1 = new System.Windows.Forms.Label();

            this.button4 = new System.Windows.Forms.Button();

            this.label9 = new System.Windows.Forms.Label();

            this.textBox9 = new System.Windows.Forms.TextBox();

            this.button3 = new System.Windows.Forms.Button();

            this.label10 = new System.Windows.Forms.Label();

            this.textBox10 = new System.Windows.Forms.TextBox();

            this.richTextBox1 = new System.Windows.Forms.RichTextBox();

            this.groupBox1.SuspendLayout();

            this.SuspendLayout();

            // groupBox1

            this.groupBox1.Controls.Add(this.richTextBox1);

            this.groupBox1.Controls.Add(this.label2);

            this.groupBox1.Controls.Add(this.textBox1);

            this.groupBox1.Controls.Add(this.label1);

            this.groupBox1.Location = new System.Drawing.Point(12, 12);

            this.groupBox1.Name = "groupBox1";

            this.groupBox1.Size = new System.Drawing.Size(570, 322);

            this.groupBox1.TabIndex = 1;

            this.groupBox1.TabStop = false;

            this.groupBox1.Text = "Свод правил";

            // label2

            this.label2.AutoSize = true;

            this.label2.Location = new System.Drawing.Point(245, 57);

            this.label2.Name = "label2";

            this.label2.Size = new System.Drawing.Size(61, 13);

            this.label2.TabIndex = 2;

            this.label2.Text = "Уточнения";

            // textBox1

            this.textBox1.Location = new System.Drawing.Point(114, 34);

            this.textBox1.Name = "textBox1";

            this.textBox1.Size = new System.Drawing.Size(313, 20);

            this.textBox1.TabIndex = 1;

            // label1

            this.label1.AutoSize = true;

            this.label1.Location = new System.Drawing.Point(224, 16);

            this.label1.Name = "label1";

            this.label1.Size = new System.Drawing.Size(102, 13);

            this.label1.TabIndex = 0;

            this.label1.Text = "Основное правило";

            // button4

            this.button4.Location = new System.Drawing.Point(507, 399);

            this.button4.Name = "button4";

            this.button4.Size = new System.Drawing.Size(75, 23);

            this.button4.TabIndex = 18;

            this.button4.Text = "Закрыть";

            this.button4.UseVisualStyleBackColor = true;

            this.button4.Click += new System.EventHandler(this.button4_Click);

            // label9

            this.label9.AutoSize = true;

            this.label9.Location = new System.Drawing.Point(22, 348);

            this.label9.Name = "label9";

            this.label9.Size = new System.Drawing.Size(45, 13);

            this.label9.TabIndex = 13;

            this.label9.Text = "Объект";

            // textBox9

            this.textBox9.Location = new System.Drawing.Point(83, 345);

            this.textBox9.Name = "textBox9";

            this.textBox9.Size = new System.Drawing.Size(327, 20);

            this.textBox9.TabIndex = 14;

            // button3

            this.button3.Location = new System.Drawing.Point(83, 371);

            this.button3.Name = "button3";

            this.button3.Size = new System.Drawing.Size(75, 23);

            this.button3.TabIndex = 15;

            this.button3.Text = "Анализ";

            this.button3.UseVisualStyleBackColor = true;

            this.button3.Click += new System.EventHandler(this.button3_Click);

            // label10

            this.label10.AutoSize = true;

            this.label10.Location = new System.Drawing.Point(22, 404);

            this.label10.Name = "label10";

            this.label10.Size = new System.Drawing.Size(59, 13);

            this.label10.TabIndex = 16;

            this.label10.Text = "Результат";

            // textBox10

            this.textBox10.Location = new System.Drawing.Point(83, 401);

            this.textBox10.Name = "textBox10";

            this.textBox10.Size = new System.Drawing.Size(327, 20);

            this.textBox10.TabIndex = 17;

            // richTextBox1

            this.richTextBox1.Location = new System.Drawing.Point(13, 73);

            this.richTextBox1.Name = "richTextBox1";

            this.richTextBox1.Size = new System.Drawing.Size(541, 233);

            this.richTextBox1.TabIndex = 3;

            this.richTextBox1.Text = "";

            // Expert

            this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);

            this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;

            this.ClientSize = new System.Drawing.Size(604, 430);

            this.Controls.Add(this.button4);

            this.Controls.Add(this.textBox10);

            this.Controls.Add(this.label10);

            this.Controls.Add(this.button3);

            this.Controls.Add(this.textBox9);

            this.Controls.Add(this.label9);

            this.Controls.Add(this.groupBox1);

            this.Name = "Expert";

            this.Text = "Expert";

            this.Load += new System.EventHandler(this.Form1_Load);

            this.groupBox1.ResumeLayout(false);

            this.groupBox1.PerformLayout();

            this.ResumeLayout(false);

            this.PerformLayout(); 

        } 

        #endregion 

        private System.Windows.Forms.GroupBox groupBox1;

        private System.Windows.Forms.Label label2;

        private System.Windows.Forms.TextBox textBox1;

        private System.Windows.Forms.Label label1;

        private System.Windows.Forms.Button button4;

        private System.Windows.Forms.Label label9;

        private System.Windows.Forms.TextBox textBox9;

        private System.Windows.Forms.Button button3;

        private System.Windows.Forms.Label label10;

        private System.Windows.Forms.TextBox textBox10;

        private System.Windows.Forms.RichTextBox richTextBox1;

    }

} 
 

 

 

Приложение 2.

Инструкция  по применению

Для начала работы программы заходим в папку  «Debug» и запускаем приложение Expert.exe.

Далее заполняем три поля «Основное  правило», «Уточнения», «Объект».

Поле  «Уточнения» не обязательно для  заполнения.

Следующим шагом будет являться нажатие  кнопки «Анализ». Программа анализирует  объект относительно системы аксиом и выводи результат в поле «Результат».