Πραγματοποιήστε τον πίνακα αληθείας της πρότασης ¬q [(pΛq) V ~ p];

Πραγματοποιήστε τον πίνακα αληθείας της πρότασης ¬q [(pΛq) V ~ p];
Anonim

Απάντηση:

Δες παρακάτω.

Εξήγηση:

Δεδομένος: #not p -> (p ^^ q) vv ~ p #

Λογικοί φορείς:# "όχι p:" όχι p, ~ p; "και:" ^^; ή: vv #

Λογικοί πίνακες, άρνηση:

################################################ #

# "" T | "" T | "" F | "" F | #

# "" T | "" F | "" F | "" T | #

# "" F | "" T | "" T | "" F | #

# "" F | "" F | "" T | "" T | #

Λογικοί πίνακες και & ή:

################################################################# #

# | "" T | "" T | "" T "" | "" T "" |

# "" T | "" F | "" F "" | "" T "" |

# | "" F | "" T | "" F "" | "" T "" |

# "" F | "" F | "" F "" | "" F "" |

Λογικοί πίνακες, αν τότε:

#ul (| "" p | "" q | "" p-> q "" |

# | "" T | "" T | "" T "" |

# | "" T | "" F | "" F "" | #

# | "" F | "" T | "" T "" | #

# | "" F | "" F | "" T "" |

Με δεδομένη τη λογική πρόταση μέρος 1:

####################################################################### #

# "" T "" | "" F "" | "" T "" |

# "" F "" | "" F "" | "" F "" |

# "" F "" | "" T "" | "" T "" |

# "" F "" | "" T "" | "" T "" |

Με δεδομένη τη λογική πρόταση μέρος 2:

####################################################################################

# "" F "" | "" T "" | "" T "" |

# "" T "" | "" F "" | "" F "" |

# "" F "" | "" T "" | "" T "" |

# "" T "" | "" T "" | "" T "" | #