Nu och dåtid i satslogik

 .

mipen skrev :

Hej!
Jag funderar lite på hur man hanterar nu- och dåtid i satslogik.  Bryr man sig om det?

Om det står ex.

P = "Jag åt en Pizza" eller "Jag äter en pizza"
Q= "Jag har ont i magen" eller "Jag hade ont i magen" 

Alltså: lär jag ange nya satser på P och  Q om uppgiften plötsligt byter tempus? 

Ja du bör bry dig om det.

P1 = "Jag åt en Pizza" och

P2 = "Jag äter en pizza" är ju olika påståenden.

P1 kan ju vara sann utan att P2 är det (och vice versa).

Tack!!