Diszjunkció

Diszjunkció is a term used in logic and set theory to describe a specific type of relationship between propositions or sets. In propositional logic, a disjunction is a compound proposition formed by connecting two or more simpler propositions with the word "or." This compound proposition is true if at least one of the simpler propositions is true. For example, the statement "It is raining or the sun is shining" is a disjunction. If it is raining, the statement is true. If the sun is shining, the statement is true. If both are true, the statement is also true. The only case where the disjunction is false is when both individual propositions are false. This is often represented by the symbol "∨".

In set theory, disjunction relates to the union of sets. The union of two or more sets is a new set containing all the elements that are in any of the original sets. For instance, if set A contains the elements {1, 2} and set B contains the elements {2, 3}, their union, A ∪ B, would contain the elements {1, 2, 3}. This concept of combining elements from different sets mirrors the logical idea of a disjunction where at least one condition being met makes the overall statement true. The term diszjunkció therefore encapsulates this idea of inclusive "or" where membership or truth can come from multiple sources.