contradiction
- 1. Log.
Duen forma logikoaren ondorioz beti faltsua den proposizio konposatua, zein ere diren hura osatzen duten esakune bakunen egia-balioak. Esaterako, p ∧ ¬p (euria ari du eta ez du ari).
Duen forma logikoaren ondorioz beti faltsua den proposizio konposatua, zein ere diren hura osatzen duten esakune bakunen egia-balioak. Esaterako, p ∧ ¬p (euria ari du eta ez du ari).