Logika Krid: Podaj wartość zdania logicznego oraz napisz jego negacje bez używania "~" Zaprzeczenie napisałem p: ⋀_x∊R ⋁_y∊R(y<x ∧ x*y≥2) ~p: ⋁_x∊R ⋀_y∊R(y≥x ∨ x*y<2) ale nie wiem jak podać i uzasadnić wartość logiczną zdania

Jerzy: Zdanie p jest fałszywe ... dla x = 0 , nie istnieje takie y , aby to było prawdą

Krid: ale jak mam to udowodnić na kolokwium? Mam to słownie napisać?

Jerzy: Jeśli zdanie ma być prawdą dla każdego x, to wystarczy pokazać jedno takie x, dla którego zdanie jest fałszem.

Jerzy: I na odwrót ... jeśli zdanie ma być prawdą dla pewnych x ( istnieją ), to aby pokazać, że jest fałszem,musimy wykazać , że jest fałszem dla każdego x