Bfh-sts: Created page with "= Law of non-contradiction = The law of non-contradiction states that a proposition and its negation cannot both be true at the same time. == Statement == * p ∧ ¬p ≡ falsch (false) == Explanation == No proposition can be simultaneously true and false. This principle is a cornerstone of classical logic and prevents contradictions in reasoning. == Example == * For ''p'' = "It is raining", it cannot be both "It is raining" and "It is not raining" at the same time..."

2025-10-20T13:30:39Z

Created page with "= Law of non-contradiction = The law of non-contradiction states that a proposition and its negation cannot both be true at the same time. == Statement == * p ∧ ¬p ≡ falsch (false) == Explanation == No proposition can be simultaneously true and false. This principle is a cornerstone of classical logic and prevents contradictions in reasoning. == Example == * For ''p'' = "It is raining", it cannot be both "It is raining" and "It is not raining" at the same time..."

New page

= Law of non-contradiction =

The law of non-contradiction states that a proposition and its negation cannot both be true at the same time.

== Statement ==
* p ∧ ¬p ≡ falsch (false)

== Explanation ==
No proposition can be simultaneously true and false.
This principle is a cornerstone of classical logic and prevents contradictions in reasoning.

== Example ==
* For ''p'' = "It is raining", it cannot be both "It is raining" and "It is not raining" at the same time.
* Therefore, ''p ∧ ¬p'' is always false.

== Truth Table ==
{| class="wikitable"
! p !! ¬p !! p ∧ ¬p
|-
| T || F || F
|-
| F || T || F
|}

[[Category:Propositional logic (Aussagenlogik)]]
[[Category: Diskrete Mathematik I (BZG1155pa) 25/26]]

Law of non-contradiction - Revision history