Geef de definitie van het logisch equivalent.

  • Twee formules heten logisch equivalent als ze voor iedere waardering dezelfde waarheidswaarden hebben.
    Als Φ en Ψ logisch equivalent zijn dan noteren we dat met Φ ˂═˃ Ψ.

    Rapporteer Plaats commentaar