Autores, Editores, Burócratas, Administradores
2226
ediciones
sin resumen de edición
[[File:Tabla 6 LM.png|center]]
Esto permitirá, entre otras cosas, que algo sea necesario pero sólo contingentemente.
<div align="center"><math>***</math></div>
Dada una interpretación modal, ésta se extiende a todas las fórmulas del lenguaje de acuerdo con las siguientes cláusulas.
:<math>\mathbb{I}_w(A\land B)=1</math> si y solo si <math>\mathbb{I}_w(A)=\mathbb{I}_w(B)=1</math>
:<math>\mathbb{I}_w(A\lor B)=1</math> si y solo si <math>\mathbb{I}_w(A)=1</math> o <math>\mathbb{I}_w(B)=1</math>
:<math>\mathbb{I}_w(A\supset B)=1</math> si y solo si <math>\mathbb{I}_w(A)=0</math> o <math>\mathbb{I}_w(B)=1</math>
:<math>\mathbb{I}_w(\neg A)=1</math> si y solo si <math>\mathbb{I}_w(A)=0</math>
:<math>\mathbb{I}_w(\Box A)=1</math> si y solo si <math>\forall{w^{\dagger}}</math>(si <math>wRw^{\dagger}</math> entonces <math>\mathbb{I}_{w^{\dagger}}(A)=1)</math>
:<math>\mathbb{I}_w(\Diamond A)=1</math> si y solo si <math>\exists_{w^{\dagger}}(wRw^{\dagger}</math> y <math>\mathbb{I}_{w^{\dagger}}(A)=1)</math>
'''Comentario 4.5'''
