Związek logicznej równoważności zdań

Związek logicznej równoważności zdań Równoważność logiczna między zdaniami zachodzi wtedy, gdy mają one zawsze tę samą wartość logiczną. Jeśli jedno z nich jest prawdziwe, to i drugie musi być prawdziwe. Gdy jedno jest fałszywe, drugie również jest fałszywe. Równoważne są na przykład dwa następujące zdania: „Jan jest starszy od Adama” oraz
„Adam jest młodszy od Jana”. Te dwa zdania zawsze mają taką samą wartość logiczną. Jeżeli jedno z nich jest fałszywe, to i drugie też jest fałszywe. Podobnie, jeśli jedno jest prawdziwe, to drugie również jest prawdziwe. Równoważność logiczną realizuje zdanie równoważnościowe typu: p  q ... zobacz całą notatkę