Szerintetek jól tagadom az alábbi kijelentéseket?

Igen, így tökéletesek.

A "Ha ..., akkor ..." alakú állításokat úgy kell tagadni, hogy "Ha ..., akkor nem ....".

Szerintem nem biztos, hogy ez így jó.

az állítást így is meg lehet fogalmazni: "Ha ma szombat van, akkor abból az következik, hogy holnap vasárnap lesz." Vagy "Minden szombat után vasárnap következik."

És ahhoz, hogy a fenti állítások hamisak legyenek, elegendő annyi, hogy "Van olyan szombat, ami után nem vasárnap jön."

Vagy "Ha ma szombat van, akkor előfordul, hogy holnap nem vasárnap lesz."

Itt nézd meg az implikáció negációját (tagadását):

[link]

1) Szombat van és holnap nem vasárnap lesz.

...

"Szombat van és holnap nem vasárnap lesz."

Ez nem teljesen precíz. Az eredeti állításban nem volt benne, hogy milyen nap van. Csak az, hogy "Ha ma szombat van, ..."

Nem nézted meg a linket, vagy nem tanultál logikát. Az implikáció tagadása nem implikáció.

negáció(A implikáció B) = A és (negáció B)

Az első válaszomban hülyeséget mondtam. Mentségemre szóljon, hogy annyira behatóan nem foglalkoztam logikával.

Definíció szerint az A állítás tagadása B, hogyha ez a két állítás logikai értéke minden esetben eltérő.

Az implikáció esetén az valóban igaz, hogy "Ha A, akkor B" és "Ha A, akkor nem B" állítások logikai értéke egyidőben nem lehet hamis, viszont mindkét állítás lehet igaz, az implikáció definíciója miatt. Ha felírjuk a két állítás igazságtáblázatát, akkor azt látjuk, hogy a "Ha nem A, akkor B" és a "Ha nem A, akkor nem B" állítások mindegyike igaz.

Ha viszont az állítás nem implikáció, hanem ekvivalencia (amit a legtöbb esetben szintén "Ha ..., akkor ..." alakban szoktak felírni), akkor már tud az elsőben leírt megoldási mód működni, és ez könnyen belátható az igazságtáblázataik összehasonlításával.