Wiem co knujesz.
TAK, są to równania ogólne B1 i B2. (ogólne czyli te z p i q, nic więcej)
Tylko jeśli teraz zastąpisz je różnymi postawieniami, które wypisałeś pod tymi równaniami B1 i B2, to wyjdą ci oczywiste bzdury.
Tak samo jakbyś miał:
B1:
x–y
8–3
B2:
y–x
8-3
C:
x–y # y–x
Tak jak nie mogę wstawić 8–3 po obu stronach równania C, po podstawiłbym tym samym pod x dwie różne liczby, tak i ty nie możesz podstawiać pod p 2 różnych zdań czy predykatów czy co ty tam postawiasz.
TAK, są to równania ogólne B1 i B2. (ogólne czyli te z p i q, nic więcej)
Tylko jeśli teraz zastąpisz je różnymi postawieniami, które wypisałeś pod tymi równaniami B1 i B2, to wyjdą ci oczywiste bzdury.
Tak samo jakbyś miał:
B1:
x–y
8–3
B2:
y–x
8-3
C:
x–y # y–x
Tak jak nie mogę wstawić 8–3 po obu stronach równania C, po podstawiłbym tym samym pod x dwie różne liczby, tak i ty nie możesz podstawiać pod p 2 różnych zdań czy predykatów czy co ty tam postawiasz.