55 lines
1.3 KiB
Markdown
55 lines
1.3 KiB
Markdown
---
|
||
title: לוגיקה טמפורלית
|
||
tags:
|
||
- שנה_ג
|
||
- סמסטר_א
|
||
- לוגיקה
|
||
- לוגיקה_מתקדמת
|
||
- לוגיקה_טמפורלית
|
||
description: לוגיקה, בזמן!
|
||
---
|
||
ראינו הרבה משפטים כמו:
|
||
|
||
|
||
!!! is-info ""
|
||
כל היוונים הם בני תמותה
|
||
|
||
סוקראטס הוא יווני
|
||
|
||
---
|
||
|
||
סוקראטס בן תמותה
|
||
|
||
|
||
אבל יש כאן בעיה. סוקראטס *היה* יווני.
|
||
|
||
אנחנו משחקים כאן על *Τense*: אנחנו רוצים לדעת לדבר על זמנים שונים. נעשה זאת בשפת תחשיב הפסוקים וסימנים חדשים -
|
||
|
||
- Pα
|
||
α היה אמיתי בנקודה כלשהי בעבר
|
||
- Fα
|
||
α יהיה אמיתי בנקודה כלשהי בעתיד
|
||
- Gα
|
||
α יהיה אמיתי בכל נקודה בעתיד
|
||
- Hα
|
||
α היה אמיתי בכל נקודה בעבר
|
||
|
||
|
||
!!! info "דוגמה"
|
||
1. Mary is walking - **q**
|
||
2. Mary walked - `Pq`
|
||
3. Mary will walk - `Fq`
|
||
4. Mary had walked - `P(Pq)`
|
||
5. Mary will have walked - `F(Pq)`
|
||
6. You are still young, but you will not always be so - `Pq & ~Gq`
|
||
7. I'm faithful to you, and I will always be - `Pq & Gq`
|
||
8. John has read Harry Potter, and Joe has too - `Pq & Pz`
|
||
|
||
## מערכות בסיסית
|
||
|
||
1. CL
|
||
2. G (α -> β) -> (Γα)
|
||
|
||
|
||
|