zdanie logiczne JohnD: Muszę wymyślić zdanie logiczne do poniższego wzoru: ~(pvq) −> (rp^s) ~ − zaprzeczenie v − alternatywa −> − implikacja − koniunkcja

JohnD: ~ ( p v q ) → ( r p Δ s) Niestety zły zapis wszedł. ~ zaprzeczenie v alternatywa −> implikacja Δ koniunkcja