Unterschied Prädikatenlogik und Aussagenlogik?
Ich habe 2 Fragen:
- Sei B ein Prädikat auf den natürlichen Zahlen und es gelte
Geben sie an, ob man daraus
schließen kann.
2 . Sei B eine logische Aussage über natürliche Zahlen und es gelte
Kann man daraus
schließen.
Ich bin mir relativ sicher das man bei der Aussagen Logik nicht auf jedes B(n) schließen kann da man ja immer nur auf den Nachfolger schließen kann nie auf den Vorgänger. Somit kann ich ja theoretisch nicht auf B(1) und B(2) schließen.
Aber wie sieht es beim Prädikat aus?