make s5 modal logic class in csharp

main.cs
public class ModalLogic {
    private bool proposition; // represents the proposition in the modal logic system

    public ModalLogic(bool proposition) {
        this.proposition = proposition;
    }

    // method for performing a modal logic "necessity" operation
    public bool Necessity(ModalLogic other) {
        return this.proposition && other.proposition;
    }

    // method for performing a modal logic "possibility" operation
    public bool Possibility(ModalLogic other) {
        return this.proposition || other.proposition;
    }

    // method for performing a modal logic "implication" operation
    public bool Implication(ModalLogic other) {
        return !this.proposition || other.proposition;
    }

    // method for performing a modal logic "not" operation
    public bool Not() {
        return !this.proposition;
    }

    // override the ToString method to provide a string representation of the proposition
    public override string ToString() {
        return this.proposition.ToString();
    }
}
1033 chars
33 lines

main.cs
ModalLogic p = new ModalLogic(true);
ModalLogic q = new ModalLogic(false);

bool necessityResult = p.Necessity(q);
bool possibilityResult = p.Possibility(q);
bool implicationResult = p.Implication(q);
bool notResult = p.Not();

Console.WriteLine("p: {0}", p); // prints "p: True"
Console.WriteLine("q: {0}", q); // prints "q: False"
Console.WriteLine("necessity: {0}", necessityResult); // prints "necessity: False"
Console.WriteLine("possibility: {0}", possibilityResult); // prints "possibility: True"
Console.WriteLine("implication: {0}", implicationResult); // prints "implication: False"
Console.WriteLine("not: {0}", notResult); // prints "not: False"
658 chars
15 lines