Poprzednik (logika) - Antecedent (logic)
Poprzednik jest pierwszą część hipotetycznej propozycji , ilekroć poprzedza if klauzuli wówczas punkt. W niektórych kontekstach poprzednik nazywany jest protazą .
Przykłady:
- Jeśli tak .
Jest to nielogiczne sformułowanie hipotetycznego zdania. W tym przypadku, jest poprzednikiem P , a w konsekwencji jest P . W sposób dorozumiany , jeśli zakłada wtedy nazywany jest poprzednik i jest nazywany następnik. Poprzednik i następnik są połączone za pomocą łącznika logicznego, tworząc propozycję .
- Jeśli jest mężczyzną, to jest śmiertelny.
„ jest mężczyzną” jest poprzednikiem tego twierdzenia.
- Jeśli ludzie chodzili po Księżycu, jestem królem Francji.
Tutaj „ludzie chodzili po księżycu” jest poprzednikiem.
Niech . Jeśli wtedy