Question

what is propositions ? which types of propositions ?​

Answer 1

Answer:

In constructive logic a proposition is identified with the evidence we can give for it. Specifically, a proposition is a type consisting of formal objects called proofs . For example, the proofs corresponding to 0=0 in int and to int in U1 consist solely of the object axiom .

Explanation:

Other definition: Proposition……. Any statement that can be asserted or denied. o (i.e. said to be true or false) Example Belgium is a country in Europe The above statement is true • And if we say as, Egypt is a country in Europe. This statement is false. Proposition is a declarative/informative sentence.